最近知乎上有个热题炸了：陶哲轩、邓煜等菲奖得主联合抗议AI公司的“数学军备竞赛”。很多人第一反应是——连菲尔兹奖得主都怕AI抢饭碗了？这AI是不是真要毁掉数学？
说实话，这个话题有点被标题党带偏了。我专门去翻了相关讨论，得出来的结论可能和你想的不一样：他们抗议的不是AI本身，而是AI公司把数学搞成了“军备竞赛”这件事。
他们到底在抗议什么？
先理清一个背景。陶哲轩本人一直是很拥抱AI的数学家，他曾在多个场合说AI可以帮人类筛数据、验证明、找规律。邓煜也是实打实的分析数学家，靠硬功夫吃饭。这么一群站在数学金字塔尖的人，联合起来表达担忧，肯定不是“AI太强了我怕了”这么简单。
真正让他们皱眉的，是某些AI公司的玩法：砸海量算力，让模型去刷数学竞赛题，然后拿几个好看的数字出来做PR，宣称“AI破解了数学难题”。这种操作在商业上很成功，但对于数学这个学科，其实是种伤害。
为什么呢？因为数学的核心不是“解出题”，而是建立一座由逻辑和洞察搭建起来的体系。AI可以算出一个答案，甚至给出一段形式化的证明，但人类数学家看不懂过程，不知道这个方法能不能推广到别的领域，这套“成果”对数学共同体的价值就很有限。
AI是一把好用的刀，但别把它当厨师
我不是保守派，也不觉得AI会毁掉数学。实际上，AI已经在给数学带来真东西。比如去年AI辅助发现了新的结不变量，还有一些模型帮忙验证了久攻不下的猜想。这些都是正向的。
问题在于，AI公司的目标函数是“赢”，而不是“理解”。 他们会选择最容易出数字的赛道，比如数学竞赛、特定类型的定理证明。而数学研究里最珍贵的东西——新的概念、大胆的类比、跨越领域的联系——恰恰是AI最不擅长、也最被商业公司忽略的。
陶哲轩们怕的不是AI模型，而是这套急功近利的评价体系。如果年轻数学家看到AI刷题刷到手软、公司砸钱砸出流量，就开始盲目跟风去做那些“适合AI干”的题目，数学生态就可能被扭曲。真正的深度问题，难啃的硬骨头，反而没人碰了。这才是“毁掉数学”的真实路径。
数学界真正该担心的是什么？
我觉得有两件事值得警惕：
第一，黑箱崇拜。如果AI生成一个证明，人类完全无法理解，那算不算数学成果？短期看好像算，长期看等于断了知识的根——后来的人只知道“有结果”，不知道“为什么有这个结果”。数学教育、人才培养都会断层。
第二，资源错配。一家AI公司可以花数百万美金跑一个数学竞赛金牌，而一个大学教授拿到的科研经费可能只够支撑几个博士生。这种“军备竞赛”会把公众的关注点带偏，让大家误以为数学的价值就是解决难题，而不是构建深刻的思想体系。
AI不会毁数学，但人会
说到底，AI只是个工具。工具从来不会毁掉一个学科，只有人用工具的方式才会。
如果AI被用来辅助探索、启发灵感、解放繁琐推导，那它就是数学的黄金搭档。但如果AI被用来表演智力、制造“竞赛战报”、吸引资本眼球，那它就变成了数学的噪音。
陶哲轩、邓煜等菲奖得主的联合抗议，本质上是一种“刹车”信号。他们不是在拒绝AI，而是在提醒我们：数学的尊严不能被商业流量绑架。AI公司可以搞军备竞赛，但数学界要有自己的定力。
回到这个问题：AI是否在毁掉数学？
我的答案是：不会。只要还有人保持对真理的好奇心，只要还有数学家愿意花三年时间证明一个没人看好的小命题，数学就还会继续往前走。AI可能会改变数学家的日常，改变论文里那些繁复的推论，但改变不了数学本身那份“追求简单与美”的内核。
希望那些砸钱的AI公司能听懂菲奖得主们的潜台词：别把数学变成你们的秀场，它值得更体面的对待。
微信扫码查看