OpenAIの汎用モデル、数学専用ではないのに80年来の幾何予想を解く

OpenAIの汎用推論モデルが、離散幾何の80年来の予想を打ち破った。このモデルは数学のために訓練されたものではない。メールを下書きし、Pythonを書く同じアーキテクチャの上で走っているもので、火曜日に新しい幾何配置の族を生成し、いまや4人の数学者がそれを検証している。

問題の言い回しは、欺くほど単純だ。平面上にn個の点を取る。そのうち何組が、互いに正確に同じ距離、たとえば単位距離にあり得るか。Paul Erdősは1946年にこの問いを立て、上界として「ほぼ線形よりわずかに大きい」を意味する、おおよそnの(1足すo(1))乗を提示した。長年にわたって、最も知られた配置は正方格子の変種であり、格子はその天井のすぐ下に張り付いていた。働く数学者たちはこの境界を実質的に厳密なものとして扱ってきた。

OpenAIのモデルは境界を引き締めたのではない。打ち破った。系は、ある固定されたゼロより大きいδに対し、少なくともnの(1足すδ)乗本の単位距離ペアを含む、点配置の族をまるごと作り出した。これは磨き上げではなく、予想の核心への反例である。レビューに加わった4人の数学者の一人Will Sawinは、新たな指数をきれいな式へと整えた。検証班の残るThomas Bloom、Melanie Wood、Noga Alonの3人が、構成が成立することを確認した。

こちらもおすすめOpus 4.6に2ポイント差で5倍安い：Gemini 3.5 Flashが計算を書き換える

方法で興味深いのは、それが幾何の内側から来たのではないという点だ。モデルは代数的整数論へと跨ぎ越し、ガウス整数を別の代数的数体に拡張し、得られた格子点を候補の配置として扱った。その橋、幾何が数論へと引き込まれること、こそ人類が80年にわたって見落としてきた跳躍だ。数学のセミナーであれば、ゆっくりした頷きと長い沈黙が返るたぐいの手だ。

現役の数学者からの反応は、最初の一日のうちに届いた。Fields賞のTimothy Gowersは「AIが本当によく知られた数学の問題を解いた、初の本当に明瞭な例だ」と評した。OpenAIの研究者Alexander Weiは、結果はAnnals of Mathematicsの査読者が「何のためらいもなく」受理するたぐいだと書いた。最後の主張は検証可能である。証明はPDFとして公開され、付随する注釈文書も添えられており、より広い数学コミュニティが今これを読んでいる。

OpenAIが寄りかかっている枠組みは、これがAI系が数学のある分野の中心にある重要な未解決問題を自律的に解いた最初の事例だ、というものだ。「自律的」という語は、ここで大きな仕事を担っている。モデルが構成を生み出し、発表が出る前に、その証明は4人の生身の数学者によって篩にかけられ、磨かれ、ストレステストを受けた。この区別は重要だ。なぜならOpenAIはここに以前も立ったことがあるからだ。

2025年10月、同社は、別の内部モデルがErdősの提示した10件の未解決問題を解いたという主張を流した。数日のうちに、数学者たちは、それらの「解答」のいくつかが既知であるか、単純に誤っていることを示した。OpenAIは包括的な主張を撤回した。そのエピソードこそ、今週の発表がモデル名ではなく検証者の名前から始まる理由である。4人の数学者が保証なのだ。

もう一つ抱えておく価値のある細部は、どのような種類のモデルが結果を生み出したか、という点だ。OpenAIは系の名前を明かさず、汎用の推論モデルだとだけ述べた。チャットを支え、コードを下書きし、サポートのチケットに答える、同じ家系の系だ。輪の中に数学特化の派生はない。日常会話を回す同じアーキテクチャがこれも回した。含意は、AI主導の数学にとっての隘路は、数学向けに微調整したモデルではなかったかもしれない、ということだ。それは計算力と忍耐だったのかもしれない。

その隘路が壊れることこそ、本当の物語だ。長らく研究者の作業仮説は、真に独創的な数学には専用の系が必要だというものだった。定理証明系、形式検証の枠組み、証明のコーパスで訓練された狭いモデル。火曜に着地したのは、別種の証拠だ。有名で未解決の80年来の問題に推論器を向け、考える余地を十分に与えると、Sawin、Bloom、Wood、Alonが正しいと合意するものを生み出した。チャット窓からErdősまでの道は、思ったより短かった。

いくつかの留保はなお残る。モデルは一般公開されていない。当初の4人の数学者パネルの外にある独立した集団が、これから数週間で証明を読むだろうし、Annalsや別の最上位誌での完全な査読プロセスは数ヶ月を要する。指数δは小さい。構成は球面上や高次元での、関連する単位距離問題を解いてはいない。これらのどれも、火曜に起きたことを縮減しはしない。位置づけているだけだ。

変わるのは期待だ。一年前、数学におけるAIの問いは、これらの系がいつか重みのある独創的な証明を生み出し得るかどうか、というものだった。今週からは、問いは次にどの未解決問題が落ちるか、そして証明を検証する数学者たちが、ここでのAlonと同僚たちのように、これからも功績を認められ続けるか、になっている。

1946年のひとつの予想は、棚の上で正しい手が降ろしに来るのを待つ、ああした静かな対象の一つだ。今週それを降ろした手はGPUクラスタの上を走り、この仕事のために訓練されていたわけでもなく、4人の数学者が見ているあいだに作業を終えた。