#geometry

OpenAIの汎用推論モデルが、1946年にポール・エルデシュが提唱した平面単位距離問題を自律的に解決した。著名な数学者たちが証明を検証し、AIが数学の主要な未解決問題を自律的に初めて解いた事例となった。