数学界は前例のない「地震」を迎えた。OpenAI は正式に、その内部で開発された汎用推論モデルが、人間の直接的な指導なしに、組み合わせ幾何学分野で80年間続いていた古典的難問であるエルデシュ単位距離問題（Erdős unit distance problem）を独立して反証し、解決したと発表した。

一、課題の挑戦：見た目は単純な「迷路」

この問題は、伝説的な数学者ポール・エルデシュ（Paul Erdős）によって1946年に提示された：平面上にn個の点を配置したとき、距離が丁度1になる点対は最大でいくつあるか？

  • 長年の共通認識の崩壊： 過去80年間、世界的な数学者たちは、最適解はチェス盤のようなグリッド配置であり、点対の数がほぼ線形に増加するものと考えていた。

  • AIの「神業」： OpenAIのモデルは、従来の幾何学的アプローチにこだわらず、代数的数論（類体塔やGolod–Shafarevich定理など）を活用して、新たな点配置方式を構築し、単位距離の点対の増加速度が線形を上回ることを証明した。

二、なぜこれが「AI数学史における画期的出来事」とされるのか？

フィールズ賞受賞者で有名な数学者ティモシー・ゴルズ（Tim Gowers）は、この出来事について次のように評価した。「これは間違いなくAI数学史における画期的な出来事である。もしこの論文が人間によって書かれ、『数学年鑑』に提出されたら、私は迷うことなく受理することだろう。」

  • 支援から自律へ： これは単なる計算ではなく、AIが「未知の領域」で新しい道を切り開いたことである。答えを示すだけでなく、人類がこれまで深く掘り下げることのできなかった幾何学的な視点と、横断的な学際的な橋渡しを提供した。

  • 査読： この研究成果は125ページに及ぶもので、公開後すぐに世界中のトップ数学者たちによって検証され、多数の専門家が論理が厳密で、独創性が高いと一致して評価した。

三、業界のシグナル：AIは「速く計算する」から「深く考える」へ

この突破は、AGI（汎用人工知能）発展の深いロジックの変化を示している：

  1. 科学発見の新パラダイム： AIはもはや既存知識体系内で「データを整理する」にとどまらず、独立研究者の可能性を示しており、自ら仮説を立て、論理的議論を行う能力を持つようになった。

  2. 横断的思考の利点： モデルは幾何学の難問と複雑な代数的数論を結びつけ成功した。この学際的なつなぎ方こそ、人間の専門家が長年誇る「直感」と「深い洞察力」であった。

  3. 未来の潜在力を検証： この証明過程は、汎用推論モデルが長く続く論理的連鎖を厳密に維持できることが示されている。これにより、同じ構造が将来、物理、材料科学、生命医療などのより複雑な研究分野で、同様の「科学的発見」能力を再現できることが期待される。

結語