#OpenAI 推論モデル 数学証明

OpenAIの新しい推論モデルが、1946年にエルデシュが提唱した未解決の幾何学的予想を反証。AIが初めて数学の重要な未解決問題を自律的に解いたとされるこの事例が意味することとは。