AIが数学の未解決問題を10件解決、数学界に実存的危機

発表の衝撃

OpenAIは数週間前、新しいモデル「Astra」が数学と理論計算機科学の10の進歩を達成したと発表した。量子ゲーム理論や高次元の球充填問題など、数学者が長年取り組んできた難問が含まれており、研究コミュニティでは爆弾が投げ込まれたような衝撃が広がったという。

扱われた問題は数学者が実際に重要視しているもので、人間の数学者がこれらをすべて解いたなら信じられないと評価されるレベルだ。しかし同時に、発表の文書では過去の研究への言及が不十分で、帰属を巡る批判も起きている。

苦手な部分も残る

興味深いのは、AIが高度な抽象数学では優れた成果を示す一方で、基本的な算数や計数ではまだ苦手な点だ。例えば「strawberry」のrの数を数えることすら苦手だった例が知られているが、現在は改善されているようだ。時間の認識や曜日の把握も苦手なままだ。

これは数学が一様な分野ではなく、AIが得意な領域と不得意な領域があることを示している。理論的な推論や既存手法の組み合わせは得意だが、単純な計算や常識的な認識には課題が残っている。

数学者の反応

The Vergeの記者ロバート・ハート氏が複数の著名な数学者に取材したところ、全体的にはAIの成果に感銘を受ける声が多い一方で、帰属の扱いに対して不満を漏らす研究者もいた。一部の成果は他の研究者の進展を基にしているにもかかわらず、当初のブログ投稿ではその点が明確にされていなかった。

数学界では、AIが研究成果を出すことで学術的なキャリアや研究資金の構造が揺らぐという懸念もある。また、AIの能力を誇示するためのマーケティングではないかという疑問も呈されている。