人类玩不起，急了：陶哲轩开始警告AI正在改变数学
陶哲轩曾是数学界最支持AI的顶尖数学家之一。然而随着最近一周AI在数个千禧年问题中连续取得重大突破，陶哲轩也开始急了。

9月11日，陶哲轩和另外24位菲尔兹奖得主联合发表声明，直接批评AI公司把解决重大数学难题当成模型能力的Benchmark，称AI公司的目标与数学共同体的目标已经出现“严重错位”。 陶哲轩甚至认为，这件事已经紧迫到不能再慢慢讨论。

这些世界最顶尖的数学家们之所以反应如此激烈，大概是因为AI似乎要改变数学研究的游戏规则了。

过去大家对AI4Math最乐观的想象，不过是辅助顶尖数学家开展工作的“超级个体”。

一个陶哲轩这样的数学家，本来就顶几十个人；再配上AI，可以查文献、试证明、跑形式化验证、整理海量细节，一个人可能干过去一个团队甚至几十个团队的工作。

然而，数学家们想让AI替代掉研究生、青年教师团队，AI却奔着把这些数学家们替代掉的目标去了。

OpenAI这次公布Navier–Stokes千禧年难题结果，发布主体直接就是OpenAI，同时给出了论文和Lean形式化证明。 它已经越来越接近从寻找证明、检查证明到正式发布整套流程自己包圆。

这简直是掀桌子的举动。如果AI公司可以直接调动成千上万个agent，用几百万甚至上千万美元算力围攻一个问题，然后自己发布结果、自己完成形式化验证， 那么数学家们给自己的“负责赋予意义”的这个生态位就岌岌可危了。

更麻烦的是，人类和AI公司根本不是一个量级的玩家。一个数学家可能研究一个问题三年。一家市值接近万亿美元的科技公司听说这里有突破，直接上万名AIagent开扫。数学家们除了吹胡子瞪眼以外，毫无办法。

《卫报》报道，这次OpenAI是在听到数学家可能已经在Navier–Stokes等问题上取得突破的消息后让模型投入研究。据报道，约一万个AIagent被投入这个项目，估计计算成本达到1500万美元。现在数学家已经开始公开担心：自己研究几个月甚至几年的问题，会不会在方向暴露之后被AI几天扫完。

所以以陶哲轩为代表的顶尖科学家发出警告：如果继续这么搞，数学家以后最合理的选择就是闭嘴。

这才是所谓“AI正在摧毁数学开放传统”真正让他们紧张的地方。25位菲尔兹奖得主在声明中写得很清楚： 数学界最珍贵的资源是学生和思想（现在突然觉得学生珍贵了） ，而思想原本就是通过报告、私人讨论和论文逐步传播、发展起来的；如果只追求大规模生产“真/假”结果，反而可能毁掉产生新思想的土壤。

说到底，人类玩不起了。

然而时代的车轮滚滚向前，会碾死一切挡路的人，无论是棉纺工人、手工匠人、白领程序员，亦或者是顶尖数学家。

陶哲轩他们现在急了，但是也就只能急一下而已。