AIが数学の未解決問題を解いた？

Metaの研究チームが、AI「Muse Spark（ミューズ・スパーク）」と数学者が一緒に取り組んだ論文を6本公開したんだ。そのうち5本は、それまで答えが出ていなかった問題に答えを出したんだって。

ひとりじゃないよ。人とAIで役割を分けたチームプレーなんだ。

それが、ふつうの「Meta AI」のチャット画面で、Muse Spark 1.1と1.2を使ったんだって。研究のための特別な仕組みは使っていないそうだよ。

論文では、AIの役目は限られた範囲の手伝いで、ひとりで発見したわけではないと書かれているよ。結果の一部は、ほかの研究者が別に出していたものと重なっていたんだって。

それでも、答えのまだない問題でAIが役に立った、というのが大きなニュースなんだ。

そのとおり！今日のひとことは「AIは相棒、確かめるのは人」だよ。