AI 是否意味着数学的终结

OpenAI 宣布其模型解决了数学界最著名的问题之一。整个 2026 年夏季，AI 模型几乎每周都在证明数十年历史的数学猜想，因此 9 月 8 日的宣布虽令人感到突然，却有迹可循。