AI大战数学家：可以回去刷盘子了刷爆头条

核心提示：作者 | 荣智慧编辑 | 向现两家顶级 AI 大模型的数学 " 军备竞赛 "，已经如火如荼地展开。9 月 4 日，OpenAI 的 GPT-6 Astra，攻克了 5 道埃尔德什（Erd ő s）数学难题。9 月 5 日，Anthropic 的 Claude 将 " 费马大定理 " 转化为机器形式化（代码）证明。数学界的超级震荡，一个接着一个，有研究者公开承认