AIが80年来の難問を解いた

OpenAIは2026年5月20日、同社の汎用推論モデルが約80年間未解決だった数学の難問「エルデシュの単位距離問題」を自律的に解き、長年信じられてきた定説を覆したと発表しました。
数学専用のモデルではなく、通常のタスクにも使われる汎用AIがこの発見を成し遂げた点が特に注目されており、外部の数学者グループによる証明の検証も完了しています。

【出典元】An OpenAI model has disproved a central conjecture in discrete geometry | OpenAI

80年間解けなかった「単位距離問題」

今回解かれたのは、ハンガリーの数学者ポール・エルデシュが1946年に提起した「単位距離問題」です。

問題の内容はシンプルです。「平面上にn個の点を置いたとき、ちょうど距離1になる点のペアは最大でいくつ作れるか」というものです。たとえば4点を置いたとき、距離1のペアをできるだけ多く作るにはどう配置すればよいか、という問いです。

約80年間、数学者たちは正方形のグリッド（格子状）配置が最も効率よく距離1のペアを作れると考えてきました。この考え方は長く定説として受け入れられており、証明こそされていなかったものの、反例も見つかっていませんでした。

AIは「代数的整数論」で解いた

OpenAIの汎用推論モデルは、この定説を覆す「無限の点集合の族」を発見しました。つまり、正方形グリッドより多項式的に速いペースで距離1のペアが増えていく点の配置が無限に存在することを示したのです。

証明を読んだ数学者たちが驚いたのは、その手法です。幾何学の問題であるにもかかわらず、解決の鍵となったのは代数的整数論という、一見まったく別の数学の分野でした。代数的整数論は「整数の拡張における因数分解」を研究する理論で、幾何学とは直接関係がないと思われていた分野です。

AIは人間の数学者には思いつかなかった分野横断的なアプローチを独自に導き出したことになります。

外部数学者が証明を検証済み

AIが「解いた」と主張するだけでは科学的な証明とはいえません。OpenAIはこの証明を外部の数学者グループに送り、独立した検証を依頼しました。検証の結果、証明は正しいと確認されています。

また、この発見に関する論文もOpenAIのウェブサイトで公開されており、誰でも内容を確認できる状態になっています。

汎用AIが専門家を超えた意味

今回の発見で特に重要なのは、使われたモデルが数学専用のシステムではなく、日常的なタスクにも使われる汎用推論モデルだという点です。

これまでAIが数学の問題を解くケースは、数学オリンピックのような問題を解くために特別に訓練されたモデルが中心でした。今回は特別な数学トレーニングをしていない汎用モデルが、80年来の未解決問題を自ら探索して解いたことになります。

OpenAIはこの成果を「AIが科学研究の最前線に参加した新時代の幕開け」と位置づけており、数学にとどまらず医療・材料科学・宇宙物理学などの難問への応用も視野に入れています。

まとめ

OpenAIの汎用推論モデルが、80年間数学者を悩ませてきた「エルデシュの単位距離問題」の定説を覆す証明を自律的に発見しました。証明は外部の数学者によって検証済みで、手法として幾何学の問題に代数的整数論を応用した点が高く評価されています。

「汎用AIが、専門訓練なしに人類未踏の数学的発見を成し遂げた」という事実は、AIが単なる道具から科学のパートナーへと移行しつつあることを示す象徴的な出来事といえます。