OpenAIのAIモデルが80年未解決の数学予想を自律的に反証――離散幾何学の常識を覆した「代数学の魔法」

そもそも「単位距離問題」とは何か

問題は驚くほどシンプルです。「平面上にn個の点を置いたとき、ちょうど距離1のペアは最大何組作れるか？」

たとえば3つの点なら、正三角形に配置すれば3組のペアすべてが距離1になります。では100個の点なら？1万個なら？点の数が増えるにつれて、距離1のペアの最大数がどう増えるかを問う問題です。

1946年、20世紀最大の数学者の一人であるポール・エルデシュがこの問題を提起しました。エルデシュは生涯で1,500本以上の論文を発表し、「数学のモーツァルト」とも呼ばれた人物です。彼が「面白い問題」と呼んだものには、たいてい深い数学的真理が隠されていました。プリンストン大学の組合せ論の権威ノガ・アロンは、この問題を「エルデシュのお気に入りの問題のひとつ」と評しています。

80年間の常識 — 正方格子が最適という信念

エルデシュ自身が最初に示した構成は、正方格子（方眼紙のような等間隔の点の並び）をうまく拡大縮小したものでした。この方法では、n個の点から作れる距離1のペアの数は次の式で表されます。

80年間、世界中の数学者は「この正方格子の構成がほぼ最適だろう」と信じてきました。これを上回る構成は誰にも見つけられず、エルデシュ自身も上界（これ以上は無理という上限）がn^1+o(1)であると予想していました。つまり、指数の余剰部分は最終的にゼロに近づくだろう、と。

この「常識」が、2026年5月に覆されました。

AIが発見した「代数学の魔法」

OpenAIの汎用推論モデルは、正方格子をn^1.014まで改善する構成を発見しました。0.014という数字は小さく見えますが、数学的には決定的な差です。

従来の正方格子による増加率n^{1+c/log log n}は、nが大きくなるほど指数部分がゼロに近づいていきます。しかしAIが見つけた構成ではn^1.014、つまり指数部分が固定の正の値（δ = 0.014）のまま変わらない。これは「多項式的な改善」と呼ばれ、80年間信じられてきた「正方格子がほぼ最適」という予想を完全に否定するものです。

驚くべきは、AIが使った手法です。幾何学の問題に対して、一見まったく関係のない「代数的整数論」の道具を持ち込みました。具体的には以下の概念です。

証明を検証した数学者たちは「これらの概念は代数的整数論の専門家にはよく知られていたが、ユークリッド平面の幾何学的問題に応用できるとは誰も思わなかった」と驚きを表明しています。AIは人間の専門家が「別の分野」として区切っていた知識の壁を越え、異分野の道具を組み合わせて新しい証明を構成したのです。

125ページの証明 — 具体的に何が書かれているのか

AIが出力した証明は125ページにわたります。拡張思考連鎖（extended chain-of-thought）推論を用いて、複雑な数学的議論の論理的一貫性を維持しながら書かれています。その流れは以下のとおりです。

重要なのは、OpenAIがこのモデルに単位距離問題を解くための専門的な訓練を施していないという点です。問題固有の探索ツールも用意されていません。汎用の推論モデルが、自律的にこの証明を生成したとOpenAIは説明しています。

7か月前の汚名返上 — 前回の失敗と今回の違い

今回の発表を理解するには、7か月前の「事件」を知る必要があります。

2025年10月、OpenAIの副社長ケビン・ウェイルは「GPT-5が未解決のエルデシュ問題10問の解を発見し、さらに11問で進展を見せた」とXに投稿しました。しかし、エルデシュ問題データベースを管理する数学者トーマス・ブルームが検証したところ、AIが「発見」したとされる解はすでに数学文献に存在する既知の解だったことが判明。ブルームはこれを「劇的な虚偽表示」と断じ、投稿は数日で削除されました。

今回が決定的に異なるのは、前回OpenAIを批判した数学者たち自身が検証に参加し、証明の正しさを認めている点です。

TechCrunchが指摘するように、「前回あなたの間違いを暴いた人たちが、今回の主張に自分の名声を賭けて保証する」——これこそが本物の検証です。

数学者たちの評価

今回の発見に対する数学者たちの評価は、「AIの数学的成果」としては過去に例のないレベルの高さです。

一方で、ブルームは重要な留保もつけています。「人間の数学者は、この証明を議論し、消化し、改善するうえで、いまだ不可欠な役割を果たしている」。AIが生成した証明の「編集版」を数学者が検証したという事実は、現時点ではまだ「AIと人間の協業」であることを示しています。

それでも、トップ数学ジャーナルに掲載されうる水準の証明をAIが自律的に生成したのは史上初です。この一点において、今回の発見は過去のAI数学研究とは質的に異なる到達点にあります。

この発見が意味すること — AIと人間の協業の未来

今回の発見で特に注目すべきは、AIの「異分野横断能力」です。人間の数学者は通常、幾何学の専門家は幾何学の道具を使い、代数的整数論の専門家は代数の道具を使います。しかしAIは専門分野の壁を持たず、80年間誰も試さなかった「幾何学の問題に代数的整数論の道具を適用する」という跳躍を自然に行いました。

これは数学に限った話ではありません。企業経営においても、ある業界の常識が別の業界では革新になることがあります。AIの強みは、人間が無意識に引いている「専門の境界線」を無視できることにあります。

OpenAIはこのモデルの名前や詳細を公表していませんが、「汎用推論モデル」であり、この問題専用に訓練されたものではないと明言しています。つまり、同じ能力は他の問題にも応用可能ということです。Scientific American誌が報じるように、これはAI数学研究の「フロンティアの本格的な始まり」を意味しています。

中小企業経営者にとっての示唆

「数学の証明なんて自分のビジネスに関係ない」と思われるかもしれません。しかし今回の発見が示しているのは、AIの能力が「定型作業の自動化」の段階を超え、「人間の専門家でも思いつかない発想を生み出す」段階に入ったということです。

経営においても、AI活用の可能性は広がり続けています。業務効率化はもちろん、市場分析、新規事業のアイデア出し、顧客データの分析など、AIの活用領域は急速に拡大しています。

中小企業がAI導入に際して活用できる国の支援制度も充実しています。デジタル化・AI導入補助金2026（旧IT導入補助金）では最大450万円・補助率4/5のAI導入支援が受けられます。「AIが数学の難問を解く時代」に、自社のAI活用を始めない理由はないかもしれません。