#離散幾何学

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

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