数学の難問、AI が次々と解き始めた——エルデシュ予想の転機

要約

OpenAI は 2026 年 5 月に内部開発の AI モデルがハンガリーの数学者ポール・エルデシュが 1946 年に提示した「単位距離問題」の反例を発見したと発表し、その後 8 月には未発表モデル「Astra」がエルデシュの問題 3 つを含む 10 の数学的成果を達成した。プリンストン大学のノガ・アロンなど著名数学者らは、これを AI の数学的能力における「相転移」と評価し、数学研究のやり方を劇的に変えていると述べた。この進展は英国の数学者トマス・ブルームが 2023 年に構築した「エルデシュ問題データベース」と、2025 年秋に追加されたコメント機能により、世界中の数学者が協働する場が生まれたことが背景にある。