何が起きたか
2026年5月20日、OpenAIの汎用推論モデルが、ハンガリーの数学者ポール・エルデシュ（Paul Erdős）が1946年に提起した「単位距離問題（unit distance problem）」を自律的に解決しました。80年間誰も解けなかった問題です。
しかも、数学専用に訓練されたシステムではなく、汎用の推論モデルが、単一のプロンプトから独自の証明を構築しました。外部の数学者チームが検証し、結果はNature誌でも報じられています。
単位距離問題とは
平面上にn個の点を置くとき、「距離がちょうど1になるペア」は最大でいくつ作れるか？
エルデシュは正方格子（square grid）がほぼ最適だと予想しました。これが80年間の「常識」だった。
しかしOpenAIのモデルは、代数的整数論の手法を使って、正方格子を上回る新しい点の配置を無限族として構成しました。多項式的な改善（polynomial improvement）です。
なぜ重要か
- 数学専用システムではない — AlphaProofのような数学特化システムではなく、汎用推論モデルが自律的に解いた
- 外部検証済み — フィールズ賞受賞者のTim Gowers氏が「AI数学におけるマイルストーン」と評価
- 予想外の手法 — 初等的な幾何学の問題に、高度な代数的整数論を持ち込んだ発想自体が創造的
- 80年分の人間の挑戦を超えた — プリンストンのNoga Alon氏は「エルデシュのお気に入りの問題の一つ」と評していた
数学者の反応
トロント大学のDaniel Litt氏は「AIが自律的に生成した結果として、初めてそれ自体が興味深いと感じた」と述べています。以前のAIの数学への貢献は「人間の補助」にとどまるものが多く、それを超えたという意味です。
エルデシュと共著があったジョージア理工のTom Trotter氏は「エルデシュが生きていたら、この成果に大興奮していただろう」とコメントしています。
AIの推論能力の転換点
これまでAIの数学への貢献は、IMC（International Math Olympiad）の問題を解くなど「既知の問題を解く」領域でした。しかし今回の結果は性質が違います：
- 未解決問題（誰も答えを知らない）に挑み、解いた
- 証明は数式の羅列ではなく、論理的な推論の鎖が最初から最後まで成立する必要がある
- 「数学専用」のシステムではなく、汎用モデルの能力として出た
OpenAIのSebastien Bubeck氏は「AIがあらゆる研究分野で自律的に重要な結果を生み出した初めての事例」と位置づけています。
まとめ
2026年5月はAI業界のビジネス面でも歴史的な月でしたが、この「Erdősの単位距離問題の解決」は、AIの知的な能力そのものが質的転換点に入ったことを示唆しています。
汎用AIが、人間の80年の努力を超える創造的な証明を自律的に構築する。数学という「推論の純度が最も高い」領域でこれが起きたという事実は、他の分野への波及も予感させます。
個人的に興味深いのは、「代数的整数論」という高度な分野の知識を、一見すると無関係な初等幾何の問題に適用した点です。人間の数学者が「これは別の分野のアイデアで解けるのでは？」と思いつく直感に近い動きを、モデルが自律的に行ったということです。
エルデシュが生きていたら、きっとこう言ったでしょう。「私の証明が間違っていたことを示してくれてありがとう」と。彼はそういう数学者でしたから。
参考：OpenAI公式発表 / Nature誌の報道