研究tldr-ai2026-05-21
AIが78年前の数学問題を解く
AI Solves a Longstanding Geometry Conjecture
OpenAIのAIが78年間未解決だった図形の難問を解決しました。AIが自力で有名な数学問題を解いた初の事例の一つであり、その考える力の大きな進歩を示しています。
OpenAIの推論モデルは、1946年にまで遡る組合せ幾何学の未解決問題であるplanar unit distance problemに関連する主要な予想を自律的に反証しました。その証明はalgebraic number theoryの手法を導入し、外部の数学者によって独立して検証されました。これはAIシステムが著名な未解決の数学問題を解決した最初の事例の一つとなります。