エルデシュ問題とは何か——80年間解けなかった謎
ポール・エルデシュが1946年に提起した「平面上の単位距離問題」とは、次のような問いだ。
「n点を平面上に配置するとき、ちょうど距離1の点対（ペア）の最大数はいくつか」
たとえば4点を正方形の頂点に置くと、距離1のペアが4組生まれる。 点が増えるにつれ、どのような幾何学的構造が最も多くの単位距離ペアを生み出すかが問題の核心だ。
数十年にわたり数学者たちは「正方形格子（グリッド）が本質的に最適だろう」と信じてきた。 しかし「本当にこれが上限なのか」を厳密に証明することは80年間誰にも成し遂げられなかった。
2025年末、OpenAIはエルデシュ問題への挑戦を公表し注目を集めた。 当時は誤った証明を公開して批判を浴びた経緯もあり、今回の発表は複数の専門家による独立検証という慎重な手続きが踏まれた。
AIが発見した「格子を超える構成」——代数的数論の応用
今回OpenAIのモデルが発見したのは、正方形格子を超える単位距離ペアを生み出す新たな構成族だ。
核心は「深い代数的数論」の応用にある。 通常の数学者が直感的に試みる格子・円・多角形といった幾何的構造ではなく、代数体（algebraic number fields）上の格子構造という全く新しいアプローチを自律的に選択した。
格子以外に単位距離ペアを増やせる構造が存在するという「新しい直観」を獲得し、代数的数論という高度な道具を自律的に組み合わせた点が従来の「AIがパターンを検索するだけ」というイメージを大きく覆している。
OpenAIは発表と同時に、著名な数学者複数名による独立検証コメントを公開した。 2025年末の「誤証明騒動」を踏まえた透明性の確保策であり、学術コミュニティへの誠実な対応といえる。
AI研究者として見た「認知のジャンプ」
AI研究者が注目するのは今回の発見が示す「認知のジャンプ」だ。
AIが数学問題を解く手法には大きく2種類がある。
一つは「膨大な計算力で全探索する」ブルートフォース型だ。 チェスや囲碁でAIが人間を超えたのはこのアプローチで、計算量の多さで人間を凌駕する。
もう一つは「新しい数学的概念を発見する」創造的発見型だ。 今回のOpenAIモデルが行ったのは後者であり、これは学習データに存在しない概念を「発明した」可能性を示唆している。
AI Safety研究者の視点では、この創造的発見能力は両義的だ。 科学・医学・工学の難問を解く「道具」としての巨大な可能性がある一方、AIが人間の知的管理を超えた領域で活動し始めるという警戒感も呼び起こす。
科学への波及——数学は「AIが解く時代」へ
この発見の意義は幾何学の一問題に留まらない。
数学は物理学・計算機科学・暗号理論・生物学の基盤だ。 未解決の数学問題のうちAIが取り組めるものが一つ解けたことは「他の難問も同様に解けるかもしれない」という希望を生む。
OpenAIのCEOサム・アルトマンは「AIが独立した数学的発見を行えることが証明されれば、科学・工学・医学のブレークスルーを加速できる」と述べている。 ミレニアム懸賞問題（リーマン予想等）を将来AIが解く可能性は、今や夢物語ではなくなってきた。
日本の大学・研究機関にとっても含意は大きい。 京都大学・東京大学をはじめ、AIを研究加速の道具として採用する動きが加速するだろう。 「AIと人間の協働的数学研究」という新しいパラダイムが、今まさに幕を開けようとしている。
Google DeepMindとの競争——数学AIの先に何があるか
OpenAIは今回の発表に際し、独立検証を徹底した。 これはGoogleが進めるAlphaGeometry・AlphaProofとの競争を意識した信頼獲得戦略でもある。
Google DeepMindもAI数学研究を精力的に推進しており、国際数学オリンピック（IMO）レベルの問題をAIに解かせる取り組みを続けている。 数学分野でのAI競争は、ここから本番を迎えるといっていい。
グラフ理論・素数分布・コンビナトリクス・位相幾何学など、代数的数論が応用できる未解決問題は無数に存在する。 次に「解かれる」のはどの問題か——数学コミュニティが固唾をのんで見守っている。
ClaudeとChatGPTの市場シェア競争やGoogle I/Oのエージェント発表と並んで、今回の数学解決はAI産業が「ツール」から「知的主体」へと変容しつつあることを示す最も強力な証拠の一つだ。
AI研究者として、この発見が示す能力は2026年以降のAI開発の方向性を根本的に変える可能性がある。 あなたは「AIが次に解くべき難問」として何を想定するだろうか。
ソース:
- OpenAI claims it solved an 80-year-old math problem — for real this time — TechCrunch (2026-05-20)
- An OpenAI model has disproved a central conjecture in discrete geometry — OpenAI公式 (2026-05-20)
- 80-year-old geometry mystery cracked by OpenAI using deep number theory — Interesting Engineering
- OpenAI Finally Solved a Real Math Problem — AutoGPT.net
