OpenAI が数学界の長年の難題を解決した。同社の新しい推論モデルが、1946 年にポール・エルデシュが提唱した単位距離問題（unit distance problem）について、従来の仮説を覆す新しい幾何学的構成を発見したのだ。

問題と解

この問題は離散幾何学の基礎的な予想の一つ。従来の研究では、「最適な構成は正方格子に似た規則的なパターンである」と信じられてきた。ところが OpenAI のモデルは、この仮説を破る、より優れた性能を発揮するまったく新しい構成ファミリーを導き出した。

信頼性の重要性

OpenAI は 2025 年 10 月に GPT-5 による数学の「虚偽の成果」で批判を受けており、今回の発表には慎重さが伴った。同社は検証を重視し、著名な数学者たちに成果を事前に共有。ノガ・アロン（Noga Alon）、メラニー・ウッド（Melanie Wood）、トーマス・ブルーム（Thomas Bloom）といった専門家たちが支持声明を発表することで、成果の信憑性を担保した。

推論能力の実証

興味深いのは、OpenAI がこの問題に特化したモデルを使用したわけではなく、「汎用推論モデル」を採用したということ。長い推論の連鎖を保持しながら、「複数の分野のアイデアを新しい方法で結びつける」能力を示した。

科学全域への波及

この成果は単なる数学の達成にとどまらない。生物学、物理学、工学、医学といった複数の分野で、AI が長期的で複雑な推論を要する問題をより効果的に解決できることを実証している。科学研究の加速における AI の役割が、一層明確になった瞬間だ。

アップデート: フィールズ賞受賞者の詳細評価と証明の検証プロセス

Tim Gowers からの前例なき支持

フィールズ賞受賞者 Tim Gowers は、この成果に対して 「躊躇なく Annals of Mathematics に掲載を推奨する」 とコメント。これは、AI による数学的成果に対する学会の最高の評価です。

ゴワーズの指摘によれば、この問題を解くために必要だった要素は以下の4点に集約されます：

  1. 問題への徹底的な焦点化
  2. エルデシュの仮説に異議を唱える勇気
  3. 幾何学的構成を数体（number field）へ翻訳する能力
  4. 特殊な類体論（class field theory）への深い精通

「AI がこれら全ての条件を満たした。超人的な忍耐力と、広大な技術的機械操作への精通を結合させてだ」（ゴワーズ）

外部数学者による proof refinement（証明の洗練）

興味深いことに、OpenAI の AI が生成した初期証明は、その後 9 人の外部数学者 による共同作業を経て、さらに短縮・汎用化されました。

これは、今後の AI と人間の協働に向けた重要なパターンを示しています。AI が「ソリューション生成」を担当し、人間が「証明の理解・説明・文脈化」を担当する分業体制が、急速に現実化しつつあることを意味しています。

他の著名数学者からのコメント

  • Noga Alon：「洗練された代数的数論のツール」を「優雅で聡明な」方法で応用した「傑出した成果」と評価
  • Arul Shankar：「独創的で巧妙なアイデア」を示したと指摘
  • Terence Tao ら：AI の出力速度が人間の「証明消化（proof digestion）」の速度に追いつけなくなることへの懸念を表明

この成果が、単なる一度の突破ではなく、AI が数学的創造性と推論能力で人間と競合し始めたことの象徴であることは明らかです。