80年間、組合せ幾何学における最も頑強な問題の一つが棚に置かれ、野心的な数学者たちによってたまに取り出されはしたが、決して解かれることはなかった。今、AIがそれを解いた。
内部のOpenAI一般推論モデルが、1946年に伝説的なハンガリーの数学者ポール・エルデシュによって提起された平面単位距離問題を解決する証明を生み出した。この証明は約125ページにわたり、従来最適とされていた配置よりも多くの単位距離対を含む平面構成の無限族を確立している。要するに、AIは、数学者たちが80年間成り立つと信じてきた限界を破る幾何学的パターンを発見した。
証明が実際に述べていること
平面単位距離問題は、平面上のn個の点に対して、ちょうど1単位離れた点の対の最大数はいくつか？という問いである。エルデシュはこの数に対する上界を予想し、数十年にわたり、最も知られている構成はグリッドのような構造であり、これは彼の直感を確認するように思われていた。
OpenAIのモデルはまったく異なるアプローチを取った。既知のグリッド配置を繰り返し改良するのではなく、代数的数論を通じて問題にアプローチし、無限クラス体塔と呼ばれる高度な数学的構造と結びつけた。その結果、従来の最適とされていた配置を上回る無限個の構成が得られ、Erdősの予想された上限を明確に反証した。この改善は約0.014の指数で定量的に示されている。
誰がそれを検証し、なぜそれが重要なのか
フィールズ賞受賞者であるティム・ガワーズがこの研究をレビューした。また、プリンストン大学の数学者ウィル・サウィンも同様にレビューし、両者とも証明の正確性を確認した。サウィンは、具体的に約0.014の指数における改善を定量的に示した。
この発表は2026年5月20日頃に行われ、AI推論システムが純粋な研究分野で何を実現できるかという議論を即座に変革した。
数学を超えてこの意味するところ
関与する技術、特に代数的数論と新しい数学的対象の構築は、形式的検証およびゼロ知識証明システムに直接関連しています。
形式的検証とは、コードが意図した通りに動作することを数学的に証明するプロセスです。AI推論モデルがここで示されたレベルで証明を生成・検証できるようになれば、複雑なプロトコルの形式的検証にかかるコストと期間を大幅に削減できる可能性があります。
ゼロ知識証明は、プライバシー重視のブロックチェーンやzk-rollupなどのスケーリングソリューションの基盤となる暗号技術であり、深い代数的基盤に基づいている。OpenAIのモデルがこの問題を解決するために用いた代数的数論の種類は、同じ数学的領域に存在する。
この結果には特定の暗号トークンは関連していません。それ以外の主張をする人は事実を先取りしています。