大規模言語モデルを駆使して数理科学問題の新しい解決策を数学者よりも巧みに出力するAIシステム、Google
https://gigazine.net/news/20231215-google-deepmind-llm-funsearch/