OpenAIのAI、エルデシュの80年越しの幾何学予想を否定する証明を生成か

80年研究されてきた「平面ユニット距離問題」とは

問題は非常にシンプルです。

「平面上に n 個の点を置いたとき、距離がちょうど1になる点のペアは最大でいくつ作れるか？」

この問いは**平面ユニット距離問題（planar unit distance problem）**と呼ばれ、離散幾何学・組合せ幾何学の代表的な難問の一つとして長く研究されてきました。

直感的には簡単に見えますが、点の配置をどう工夫すれば「距離1のペア」を最大化できるのかを数学的に示すのは非常に難しく、数十年にわたって多くの研究が行われてきました。

その過程で広く信じられてきたのが、最も効率的な配置は正方格子（グリッド）に近い形になるという考え方でした。

しかしOpenAIによると、AIが作った証明はその前提となる予想自体が誤りである可能性を示したといいます。

OpenAIのAIが行ったとされること

発表によれば、OpenAIの汎用推論モデルは次のような成果を出したとされています。

• 既存研究のコピーではない独自の数学的証明を生成した
• **代数的整数論（algebraic number theory）**の手法を用いて新しい配置を構成
• 従来の正方格子型の配置より多くの単位距離ペアを作れる構造を示した

もし証明が正しければ、離散幾何学におけるこの問題の理論的な見方が変わる可能性があります。

GPT‑5の「解決」騒動との違い

今回の発表が注目されている理由の一つは、過去のAI数学ニュースとの違いです。

以前、OpenAI関係者はGPT‑5がエルデシュ問題を解いたと説明しましたが、その後の検証で、モデルは既存の論文に載っていた解法を再発見しただけだったことが分かりました。

今回のケースでは次の点が異なるとされています。

• 既存結果の再発見ではなく新しい証明だとされている
• 外部の数学者が内容を確認し、一定の支持を示したと報じられている

ただし数学では、最終的な評価は通常、詳細な査読と学術誌での出版を経て確定します。

数学者の反応

報道では、以下の研究者が証明を検討したとされています。

• ノガ・アロン（Noga Alon）
• メラニー・ウッド（Melanie Wood）
• トーマス・ブルーム（Thomas Bloom）

いずれも組合せ論や数論の分野で知られる研究者です。

コメントの中には、これまでのAIによる数学証明と比べても非常に強力な結果だという評価もあると報じられています。

ただし、数学界では大きな結果ほど慎重に検証されるため、最終的な結論には長い査読プロセスが必要になります。

なぜこの成果が重要と考えられているのか

研究者が注目しているのは、単なる幾何学の結果以上の意味です。

今回の例は、AIが**長い論理的推論の連鎖（long chains of reasoning）**を扱える可能性を示していると考えられています。

多くの科学分野では、複雑な問題を解くために

• 数百〜数千の論理ステップ
• 複数分野の概念の組み合わせ

が必要になります。

もしAIがこうした推論を安定して扱えるなら、将来的に次のような分野で研究を加速する可能性があります。

• 理論物理
• 生物学
• 医学
• 工学・材料科学

つまりAIは、単に研究者を補助するツールから、ときに新しい理論的アイデアを生み出す存在へと進化するかもしれない、という見方です。

まとめ

OpenAIの主張は、AIがエルデシュの平面ユニット距離問題に関連する予想を否定する新しい証明を生み出したというものです。

これは、既存研究の再発見だった過去のGPT‑5事例とは異なり、本当に新しい数学的成果である可能性があるとされています。

ただし数学では、最終的な評価は査読と長期的な検証によって決まります。もし証明が完全に確認されれば、AIが純粋数学の研究に本格的に貢献した初期の重要事例として記録されるかもしれません。