AI用88小时"攻破"千禧难题，25位菲尔兹奖得主、3120位数学家联名声讨：陶哲轩们反对的不是AI，是"刷榜式数学"
你上学时有没有被数学压垮过的时刻？现在，全世界最会数学的一群人，也被一件事压到了一起。9月11日，陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主联名发布《人工智能在数学中的严重错位》公开信，签署者横跨1978年到2026年近半个世纪的获奖史，短短两天，3120位数学家跟进联署。他们反对的不是AI，而是一种新的做法：把攻克数学难题当成模型刷榜的能力基准。 88小时的里程碑，撞上47年的学术传统 导火索在三天前点燃。9月8日，OpenAI宣布：其未公开的内部模型动用约1万个AI智能体、消耗1300亿输出token，仅用88小时就给出了纳维-斯托克斯方程（N-S方程）存在性与光滑性问题的证明，随后完成166页论文和Lean形式化验证。这是克雷数学研究所2000年悬赏百万美元的七大"千禧年大奖难题"之一，此前近四分之一个世纪，七个问题只被人类解决过一个。 但在OpenAI官宣几小时前，纽约大学数学家巴克马斯特已深夜抢先公开三项成果和一份时间线
发表评论