← トップへ2026.10.05 MON
AIが数学の未解決問題を解いた?
Metaが、AIと数学者が一緒に書いた論文6本を公開し、5本は未解決だった問題に答えました。AIと人がどう役割を分けたのかを、ビットとマウが話します。
かんたんまとめ
- Metaが10月2日、自社のAI「Muse Spark」を使って数学者が書いた論文6本を公開した
- そのうち5本は、それまで答えが出ていなかった問題に答えたという
- 問題を選び、考える方向を決め、正しいか確かめたのは数学者。AIは力強い助手の役目だった
マウ
AIが数学の未解決問題を解いたって、ほんと?
ビット
Metaの研究チームが、AI「Muse Spark(ミューズ・スパーク)」と数学者が一緒に取り組んだ論文を6本公開したんだ。そのうち5本は、答えが出ていなかった問題だったんだって。
マウ
すごい! AIがひとりで解いちゃったの?
ビット
ひとりじゃないよ。人とAIで役割を分けたチームプレーなんだ。
数学者
問題を選ぶ
考える方向を決める
AI(Muse Spark)アイデア出し、計算、答えを探すプログラムづくり
数学者
正しいか確かめる
論文にまとめる
マウ
研究用の、特別なすごいAIを使ったの?
ビット
それが、ふつうの「Meta AI」のチャット画面で、Muse Spark 1.1と1.2を使ったんだって。研究のための特別な仕組みは使っていないそうだよ。
確率でたらめに散らばった点が、1つのだ円の上に乗るかどうかの境目
群論2024年に出された予想に、384個の要素をもつ反例を見つけた
ほかの4分野微分方程式、最適化、数論と物理をつなぐ計算、非結合代数
マウ
じゃあ、そのうちAIが数学者の代わりになっちゃう?
ビット
論文では、AIの役目は限られた範囲の手伝いで、ひとりで発見したわけではないと書かれているよ。結果の一部は、ほかの研究者が別に出していたものと重なっていたんだって。
それでも、答えのまだない問題でAIが役に立った、というのが大きなニュースなんだ。
今回のポイント
- AIは、アイデア出しや計算を手伝う相棒として使える
- AIの出した答えは、そのまま使わず人が確かめてから使う
- 「どこを人が決めて、どこをAIに任せたか」を説明できる形で仕事を進める
マウ
人とAIで組めば、むずかしい問題にも挑めるんだね。
ビット
そのとおり!今日のひとことは「AIは相棒、確かめるのは人」だよ。
- 未解決問題
- まだだれも答えを出せていない問題
- 反例
- 「いつでも正しい」という予想が、正しくないことを示す1つの例