#エルデシュ問題

2件の記事

DeepMindのAlphaProof NexusがLean形式証明でエルデシュ問題を9問自律解決。数学AIの転換点を批判・限界も含めて解説する。

OpenAI、80年未解決のエルデシュ幾何学問題をAIで証明｜数学研究の転換点

2026年5月、OpenAIの推論モデルが80年間未解決だった平面単位距離問題を自律証明。Fields賞受賞者Tim Gowersが検証し「Annals掲載推薦」と絶賛した事実を分析する。