注目★★★★★Lobsters
数学の難問、AI が次々と解き始めた——エルデシュ予想の転機
30秒で把握
- 1OpenAI の AI が 2026 年にエルデシュの単位距離問題を初解答、その後 Astra モデルが 3 問追加解決
- 2トマス・ブルーム構築のデータベース + 2025 年秋のコメント機能追加が世界的協働を加速させた
- 3数学研究のやり方が AI により劇的に変化・テレンス・タオら最先端数学者も参加する民主的プラットフォーム形成
要約
OpenAI は 2026 年 5 月に内部開発の AI モデルがハンガリーの数学者ポール・エルデシュが 1946 年に提示した「単位距離問題」の反例を発見したと発表し、その後 8 月には未発表モデル「Astra」がエルデシュの問題 3 つを含む 10 の数学的成果を達成した。プリンストン大学のノガ・アロンなど著名数学者らは、これを AI の数学的能力における「相転移」と評価し、数学研究のやり方を劇的に変えていると述べた。この進展は英国の数学者トマス・ブルームが 2023 年に構築した「エルデシュ問題データベース」と、2025 年秋に追加されたコメント機能により、世界中の数学者が協働する場が生まれたことが背景にある。
あなたへの影響
数学のような理論分野でも AI が実績を示し始めたことで、大学や研究機関での研究評価・採用・資金配分の前提が揺らぎ得る。
推奨：数学関連の研究開発チームは自分たちの得意分野と AI の補助の組み合わせ方を急ぎ見極める必要がある。