詳細を読む
AIが数学研究の中核領域へ急速に進出し、数学者という職業の存在意義が問われています。IEEE Spectrumは2026年6月25日、ハイデルベルク受賞者フォーラムなどでの議論を基に、研究者たちがAIによる証明や発見をどう受け止めているかを報じました。かつて「確率的オウム」と揶揄された大規模言語モデルが、今や高度な数学的推論を担う存在へと変貌しています。
AIの実績は急速に積み上がっています。昨夏にはGoogle DeepMindとOpenAIのシステムが国際数学オリンピックで金メダル相当の成績を収め、今年に入るとDeepMindの実験的システムが博士級の研究成果を自律的に生み出しました。OpenAIの汎用システムは組合せ幾何学の重要な予想を反証し、トップ数学者が画期的成果と評価しています。
もう一つの転換は、証明支援系との連携です。Lean、Isabelle、Rocqといった証明検証ツールは、これまで人手で行う「形式化」という手間が壁でした。LLMがこの翻訳作業を自動化しつつあり、Math, Inc.の推論エージェントGaussは、フィールズ賞級の球充填問題を24次元のより複雑なケースまでわずか2週間で独力で形式化しました。
一方、数学者の間には存在不安が広がっています。フォーラムに集った若手研究者は「自分たちが置き換えられる可能性」を実感したといいます。プリンストン大学のVenkatesh氏やオタワ大学のFraser氏は、問題を理解しようともがく過程こそ数学の喜びであり、人間固有のものだと主張します。
対照的にUCLAのTerence Tao氏は、AIを脅威ではなく「大きな数学」への触媒と捉えます。創造的な部分を人間が担い、技術的な作業の大半をAIが引き受ける、人機協働の大規模分散型研究を構想しています。鍵となるのは形式化で、形式証明があれば無名の研究者の貢献も信頼できると説きます。
ただし懸念も残ります。高価な専有AIモデルへの依存が数学をエリートの活動に変える恐れや、困難な問題に深く取り組む動機の低下、そして答えに飛びつく若い世代の知的萎縮です。数学界はエッセイやワークショップ、利用指針の策定で対応を進めており、AIの時代に学問の方向性を保とうとしています。