OpenAIが数学難問の解決を主張、学術界で論争が勃発

MIT Technology Reviewの報道によると、OpenAIは先日、同社が開発したAIエージェントが数学分野で最も重要な未解決問題の一つとして広く認められていた問題を解決したと発表した。通常であれば、この突破口は数学界全体を震撼させるに足るものだ……しかし今回、この発表がもたらしたのは歓声ではなく、研究の信頼性・検証方法・学問の将来をめぐる激しい論争だった。この一件は、AIが人類固有の知的聖域に踏み込み始めた今、数学の未来がどこへ向かうのかを改めて問いかけている。

事の経緯：「ブレークスルー」が招いた信頼の危機

今週、OpenAIはオンラインセミナーで「信じがたい」結果を公表した。同社のAIシステムがある著名な数学の未解決問題について証明の候補を発見し、内部審査において一部の数学者から支持を得たというものだ。しかしOpenAIはその後、完全な証明の詳細やシステムコードを直ちに公開せず、「現在査読中」を理由に公開を先送りした。この比較的慎重な対応は、論文の迅速な公開に慣れたAI研究コミュニティの不満を招くとともに、数学界にも疑念を抱かせた——この成果は本当に信頼できるのか、と。

多くのトップ数学者たちは連名書簡に署名し、OpenAIに詳細の開示を要求した。また、AIが記憶を寄せ集めて答えを作り上げているのではないかとソーシャルネットワーク上で疑問を呈する声も上がり、論争はしだいに過熱している。

「私たちは、OpenAIが3か月以内にすべての検証可能な資料を公開し、第三者による独立した再現を認めることを求める。」——連名に署名した数学者一同

AIが数学的難問の解決を主張するのは今回が初めてではない。以前、DeepMindのAlphaProofが国際数学オリンピックで銀メダル相当の成績を収め、OpenAI自身のモデルも小規模な定理の証明に活用されてきた。しかし今回は異なる。今回解かれたとされる問題は「百年来未解決のまま残されてきた」類のものであり、もし本物であれば、その影響は整数論・代数幾何学、さらには暗号理論など複数の分野に及ぶ。

なぜ数学界はこれほど警戒しているのか？

伝統的に、数学的証明には絶対的な厳密さが求められ、すべての論理ステップが人間によって理解可能でなければならない。AIが数千ページにも及ぶかもしれない論証を提示した場合、論理的な誤りがないとしても、人間の査読者がそれを真に「理解」することは極めて難しい。これは事実と可理解性の間に深い溝を生み出す——ある定理を理解できるのが機械だけであるならば、それは「証明された」と言えるのだろうか？

これこそが今回の論争の核心だ。OpenAIの一部の研究者は、このシステムの「証明」には従来の演繹的推論だけでなく、多数のヒューリスティックな飛躍が含まれていると述べている。それらの飛躍は論理的には成立しうるとしても、人間の直観をはるかに超えたものだ。これにより数学は、「機械の権威」にますます依存する学問へと変質しつつあり、伝統的に追求されてきた美しさや簡潔さとは相反する方向に進んでいる。

AIは一つの扉を開いたが、その鍵は自らの手に握り締めている、と言えるかもしれない。人間社会が有効な「機械による証明の検証メカニズム」を構築できなければ、将来私たちは、完全には理解できないブラックボックスを信頼せざるを得ない状況に追い込まれるかもしれない。

「ツール」から「ルールメーカー」へ

歴史を振り返れば、数学におけるAIの役割は着実に進化してきた。当初は計算機として人間の煩雑な計算を補助し、やがて予想生成器として数学者に新たなパターンを示し、今や直接証明を生み出そうとしている。OpenAIの最新の主張は、AIが「補助ツール」から「独立した発見者」へと変わりつつあることを示している。

しかし、同様に警戒すべきなのは商業企業の介入だ。数学はもともと開放的で協調的な共同体として発展してきたが、OpenAIは競争上の障壁を持つ商業的なAI企業だ。査読プロセスの遅延やコアコードの非公開という姿勢は、本来全人類に属すべき知的財産を民間サーバーに閉じ込めることになりかねない。これもまた今回の論争が内包するもう一つの側面だ——学術的利益と商業的利益の絡み合い。

「もしこのブレークスルーが、非営利機関の資金援助を受けた大学の研究室で生まれていたなら、反応はまったく違っていただろう。しかし誰もが知っている——OpenAIには次のラウンドの資金調達に向けたストーリーが必要なのだ。」——匿名の関係者

この懸念は根拠のないものではない。商業的なAI企業は資本市場に向けて絶えず新たな物語を語り続ける必要があり、数学の難問はまさに希少な「語るべき素材」となる。問題は、証明の真偽が公的な検証ではなく企業の評判に左右される状況で、そのような成果を「数学の勝利」と呼べるのかという点だ。

編集後記：技術的突破の先に、「人間の責任」を忘れずに

AIが人間をはるかに超える探索・推論能力を持ち、数学において問題を発見し空白を埋めていく流れは、もはや止めがたいものがある。しかし重要な問いが残る——私たちはこのような証明を受け入れる準備ができているのか？

私たちに必要なのは、より強力なモデルだけではないかもしれない。機械による発見を受け入れながらも、人間が知識に対して責任を持ち続けることのできる、新たな数学哲学——そのような体系こそが求められている。そうでなければ、たとえ「真」の証明であっても、信頼の欠如によってその意味を失ってしまうだろう。

あるいは、数学の未来は「AIが問題を解けるかどうか」にあるのではなく、人間が「数学の次の段階は人と機械の共同思考だ」と認める意志を持てるかどうかにかかっているのかもしれない。

本稿はMIT Technology Reviewより編訳