2026年5月20日、OpenAIが衝撃的な発表を行いました。同社の汎用推論モデルが、ハンガリーの天才数学者ポール・エルデシュ（Paul Erdős）が1946年に提起した「単位距離問題」を自律的に解いたのです。80年間、世界のトップ数学者たちが挑み続けた難問が、たった1回のプロンプトで解かれました。
📐 単位距離問題とは何か
問題自体は驚くほどシンプルです。
「平面上に n 個の点を置くとき、距離がちょうど1になる点のペアは最大いくつ作れるか？」
例えば、9個の点を正九角形に並べると9組。9個の点を正方格子に並べると12組。エルデシュ自身、1946年に「正方格子のような配置が本質的に最適だろう」と予想しました。80年間、誰もこの予想を覆せませんでした。
🤖 AIはどうやって解いたのか
ここが一番面白いところです。このモデルは数学専用に作られたシステムではありません。OpenAIの新しい汎用推論モデルが、エルデシュの未解決問題コレクションの一つとしてこの問題に取り組み、自律的に証明を生成しました。
- プロンプト：エルデシュの予想が真か偽かを問う、開かれた質問1回のみ
- アプローチ：初等幾何の問題に「代数的整数論」という予想外の高度な手法を持ち込んで解決
- 出力：125ページに及ぶ思考プロセス
- 結果：エルデシュの予想を反証。n1+δ（δ > 0）の改善を示す点配置を無限族で構成
プリンストン大学のWill Sawin教授による精密化で、δ = 0.014という具体的な値も示されています。
🏆 数学者たちの反応
外部の数学者による検証チーム（フィールズ賞受賞者のTim Gowers氏を含む）が独立して証明を確認しました。
- Tim Gowers（フィールズ賞）：「AI数学におけるマイルストーン」
- Arul Shankar（トップクラスの整数論研究者）：「AIは人間の数学者の単なる助手を超え、独創的なアイデアを持ち、それを完成させることができる」
- Daniel Litt（トロント大学、検証チーム）：「AIが自律的に生成した結果として初めて『面白い』と思ったもの」
- Tom Trotter（ジョージア工科大学、エルデシュの共著者）：「エルデシュが生きていたら、この成果に狂喜していただろう」
💡 なぜこれが重要なのか
これまで「AIは既存の知識を組み替えるだけで、本当に新しい発見はできない」という批判がありました。今回の成果は、その批判に対する明確な回答です。
- 分野の中心となる未解決問題を解いた（寄り道の問題ではない）
- 汎用モデルが自律的に解いた（数学専用システムではない）
- 予想外の手法を発見（代数的整数論を初等幾何に適用）
- 人間の専門家が検証済み（付随論文も公開）
OpenAIの数学者Sebastien Bubeck氏は「AIがいかなる研究分野においても、自律的に重要な結果を生成した初めての例」と述べています。もしAIが数学で独創的な証明を生成できるなら、物理学、材料科学、創薬などの分野でも同様のブレイクスルーが起きる可能性があります。
📌 まとめ
80年前のエルデシュの予想が、たった1回のプロンプトで覆された。しかも、数学専用ではない汎用AIによって。「AIは人間の創造性を代替できない」という議論に、また一つ反例が加わりました。2026年のAI業界は企業のビジネス戦争も熱いですが、基礎研究のフロンティアでも静かに、しかし確実にパラダイムシフトが起きています。