OpenAIの数学10問「解決」発表、フィールズ賞学者は苦悩

OpenAIは2026年8月1日、長年未解決だった数学・理論計算機科学の10の問題について、解決または大きな進展を示したとするブログ記事を公開しました。数十年にわたり研究者を悩ませてきた問題も含まれており、AIが数学という「動きの遅い」学問分野にまで急速に浸透しつつあることを示す出来事として注目を集めています。米メディアThe Vergeの取材に対し、オックスフォード大学教授でフィールズ賞受賞者のジェームズ・メイナード氏は、この1年間「魂の探求」を続けてきたと語りました。発表からまもなく、一部の結果について既存研究の引用が不十分だとの指摘も専門家から相次いでいます。

背景

数学は長年、証明の正しさを人間の査読者が時間をかけて確認する、他分野に比べて変化の遅い学問とされてきました。しかし2025年夏の国際数学オリンピック(IMO)でAIモデルが金メダル相当の成績を収めたことをきっかけに、AIが研究レベルの数学に食い込めるかどうかへの関心が急速に高まりました。OpenAIの2026年8月の発表は、その延長線上にある動きの一つです。

詳細

OpenAIが公開したブログ記事によれば、次期主力モデル「Astra」系列の内部バージョンが、高次元幾何学、符号理論、群論、量子計算量、格子暗号、極値組合せ論といった分野にまたがる10の問題について、証明または大幅な進展を生成したとされています。いずれも10年以上目立った進展がなかった問題とされ、なかでもConnesの剛性予想(作用素環論)の反証と、非ソフィック群の存在証明が注目を集めています。成果は249ページに及ぶ論文としてまとめられ、各結果には形式検証システムLean 4によるチェック可能な証明が添付されているといいます。

この発表に対しては、専門家から批判も出ています。イェシーバ大学の数学者スティーブン・ミラー氏は、球充填問題に関する結果が自身の2016年の論文の議論を十分な引用なしに使っていると主張したと報じられています。ケンブリッジ大学のフランチェスコ・フルニエ=ファシオ氏も、ソフィシティに関する結果は2016年と2019年の既存論文のアイデアを組み合わせたものだと指摘したとされています。学術誌Scientific Americanは、複数の専門家がこうした問題を研究倫理上の懸念として取り上げていると報じました。

The Vergeによれば、メイナード氏はOpenAIの発表の数日前に取材を受け、AIへの対応を急ぐ数学分野の将来について語ったといいます。数学は伝統的に証明の妥当性を人間が時間をかけて検証する分野であり、生成AIが文章や画像を生成する際と同様に、膨大な既存研究のパターンを学習して新しい結果を導き出す手法が、この分野にも及び始めていることへの戸惑いがうかがえます。

なぜ重要か

数学の証明は本来、他分野以上に「正しいかどうか」を厳密に検証できる領域であり、AIの実力を測る試金石として注目されてきました。今回の発表は、AIが研究レベルの数学で一定の成果を出せることを示す一方で、その成果の独自性や引用の妥当性をめぐる懸念も同時に浮き彫りにしました。日本の読者にとっても、AIの性能を評価する際に「発表されたこと」と「専門家による検証を経たこと」を区別する視点が今後さらに重要になりそうです。数学分野での信頼性をめぐる議論は、AIが生成する専門的な成果物全般(コード、法律文書、研究レポートなど)の検証のあり方にも波及する可能性があります。

今後の見通し

OpenAIの発表内容については、査読や第三者検証が今後進むとみられ、10の結果それぞれの妥当性がどこまで認められるかは現時点では不透明です。学術界からは引用や検証プロセスの透明性を求める声も出ており、AI企業側の対応や、査読を経た形での正式な追認があるかが今後の焦点になりそうです。