AI が幾何学の長年の未解決予想を解明（14 分読み）

OpenAI の推論モデルが、1946 年から続く平面単位距離問題に関連する主要な予想を自律的に反証しました。この証明は代数的数論の手法を導入し、外部の数学者によって独立して検証され、AI が著名な未解決数学問題を解決した初の事例の一つとなりました。