OpenAIのAIが80年未解決の数学難問を解決

OpenAIは2026年5月中旬、内部のAIモデルが離散幾何学の難問「エルデシュの単位距離予想」を反証したと発表しました。この予想は80年にわたり人類の数学者を悩ませてきた未解決問題であり、AIが主要な未解決予想を自律的に証明した初の事例とされています。

OpenAIは複数の数学者に結果へ早期アクセスを与え、その反応を公開しました。数学界最高の栄誉であるフィールズ賞を受賞したティム・ガワーズ氏は「単位距離問題の解決がAI数学における画期的成果であることに疑いはない」と評価しています。

トロント大学のダニエル・リット教授も「先行指標としてではなく、それ自体として刺激的だと感じるAIによる自律的成果の初の例だ」と述べました。AIが研究現場で貢献し始めた流れの、次の一歩と位置づけられます。

もっとも、今回の成果は数学の複数分野の既存アイデアを巧みに組み合わせて完全な証明を構築したものであり、真に新しい技術を生み出したわけではありません。証明はその後、人間の数学者によって整理・拡張されています。

筆者は、これをAI進歩の従来の軌道からの急激な飛躍とは見ていません。3年前のLLMは算術にも苦戦し、高校数学コンテストで好成績を上げ始めたのは昨年のことだからです。

今回の結果は、人間とAIが互いを補い合う中期的な未来を示します。AIは過去の研究への広い知識と地道な証明戦略を厭わない粘り強さを持つ一方、人間は一つの問題をより深く考え、より興味深い問いを立てられるのです。