25位菲尔兹奖学者联名警告 抵制AI入侵人类数学研究阵地

不少人产生了一个错误的看法, 觉得研究数学就是比谁家算的答案更正、谁家算的速度更快, 这种想法把基础科学的道路引入了偏门, 让科学变得太讲求实用和利益。真正的数学家去探索, 可不是像机器一样去解开题目, 而是没路的地方架起一座座桥, 去弄出一套以前没有的思考办法。

数学研究的真正价值所在

跨越世代的思想铺路

数学家在攻克一个核心难题的时候, 往往需要投入好几年的光阴, 甚至有时候是一代又一代人的时间。安德鲁怀尔斯在1994年证明费马大定理这件事, 给人的感受完全不只是有了一个确定的结果而已, 他还把代数研究和几何研究交叉的一个全新路径给彻底打通了。

后来, 这些全新的思路被整理成了大学教材里的内容, 成了后续那些非常多的年轻学者们用来动手做研究的基础家伙事儿。说白了, 像这种能把不同的领域给连起来的办法吧, 那才算是数学研究里头, 最最核心的那个成绩和贡献。

集体打磨的智力资产

一项新的数学成果诞生了, 随后的事情是同行会去反复地质疑, 还会去排查那里面的漏洞, 接着他们会简化那个论证的过程, 甚至要重构一下表达的呈现形式, 整个学术群体就这样一点一点地去消化这些新的概念, 最终把原本属于个体的探索工作转化为了全人类共同享有的智慧财富。

这个打磨的过程往往需要花上几十年的时间, 它能让原本比较难懂且处于前沿的思维观点变得清楚、容易理解, 这方便了后来的那些学者去站在更高的一个起点上面继续做相关的研究和探索。

商业AI入局带来的乱象

把数学变成营销展台

很多科技公司都开始推出那些用 AI 来搞数学竞赛的平台。只要用户去输入一段提示性的词语, 系统里边的算法就能快速地帮着把逻辑链条给搜索出来。像这种玩儿的法子, 硬是把本来挺严肃、挺正经的理论数学这一块儿东西, 给变成了一个用来展示算力和模型能力，顺便还带着点广告性质的载体了。

在2025年前后, 多家科技公司对外表示, 自己已经使用人工智能技术成功攻克了那些著名的数学难题, 有关方面的消息迅速在整个科技行业媒体范围内被大范围传播并反复转发, 可是这件事在学术圈内部人员之中却普遍遭到了强烈的质疑。

学术成果被算力收割

纽约大学学者特里斯坦巴克马斯特团队曾质疑说, 某科技公司宣称已经攻克纳维-斯托克斯方程了, 这事儿很可能有问题, 因为在训练数据当中, 他们很有可能把该团队还没有发表的前沿研究思路给偷拿过去了。

一些科技公司, 是靠着几万块那个GPU算力的那种暴力式冲刺的。然后抢先发布自己的成果。以此来收割学术首发权这个事情。那真正做出核心突破的学者? 反而被抢去了那个荣誉。而这个荣誉原本是应该属于这位真正做出突破的学者的。

学者群体的隐性损失

被迫充当免费质检员

自从2026年这一年开始, 好多家科技公司在预印本网站这个地方, 都发布了由人工智能去生成的用来解决数学问题的证明稿子, 并且高调地对外宣布那些很难的难题已经被破解了。导致了很多学者不得不把自己手头上的那些花了很长时间做的研究先停下来, 花费了大量的精力, 去一点点排查这些草稿里面所隐藏的漏洞。

科技公司在发现漏洞之后, 可以调整参数然后重新做一次训练, 接着就可以再次发布相关产品或者服务, 而广大学者们为此所耗费的时间以及科研精力完全无法补偿过来。

共享传统遭到破坏

自从几个世纪以来, 纯数学这一块就能发展得非常快。这一点主要是依赖于学者他们彼此之间没有什么保留的那种讨论情况, 以及是在学术交流会上那种即兴进行的交流动作。同时呢, 还有那个预印本平台所承载的分享未成熟思考成果的良好社会风气存在。

如果每一次公开交流都可能被后台爬虫抓取，变成商业巨头抢注成果的养分，学者们就会关上办公室大门，不再信任同行，不再公开讨论未完成的工作。

长远发展的潜在危机

资源分配导向扭曲

假设高等教育机构的资源分配方案, 还有对教师的职称评审体系, 要是真的开始往能够快速出科研成果的这些 AI 领域去倾斜的话, 那些本来就需要积累几十年甚至上百年才能做好的、非常深奥的研究方向, 就会因为没有办法在短时间内看到产出, 而直接被大家给干脆利落地放弃了。

如果总是这样的话, 那么到了年轻一代的学者这里, 结果只会是变成给算法去调参数这样的操作工了, 从而失去了去独立构思宏大科学蓝图的勇气, 这样一来也就再也不可能出像怀尔斯那样类型的顶尖数学家了。

启蒙价值逐步丧失

学者们完全无法把人工智能生成的那种东一个西一个的、没有内在逻辑支撑的证明结果, 转变为那些可以堂堂正正地传授给学生的严谨知识体系。与此同时, 他们也没有办法从这些零散且破碎的内容里面, 提取出任何具有普遍适用的价值的新思想的工具。

当所有人都不再去追问, 为什么要去做这个证明的时候, 数学就失去了作为一个基础科学的启蒙价值。这样一来颠覆性的全新理论也不可能再诞生出来。

国际学界的联合行动

莱顿宣言正式发布

就在二零二六年六月二日那天, 《关于人工智能与数学的莱顿宣言》这个文件, 是在荷兰莱得大学这个地方发布的, 然后, 这个事儿没过多久, 就得到了国际数学联盟这一机构官方的认可和背书的这样一个状况。

这个宣言讲得很清楚, 就是说自动化技术搞出来的那些证明, 看着好像挺严谨, 其实里面尽是错误。这种情况对传统的同行把关系审查的机制弄出了很大的波折。于是就得定下一条死规矩, 就是所有的学术成果, 都必须把自己的人工智能使用状况交代得明明白白, 不能有一点隐瞒。

学者自律协会成立

随后, 全球各地有许多数学家自发组成纯数学研究自律协会, 加入该协会没有什么硬性门槛, 但是要要求参与者必须做出两个核心的承诺：第一个承诺是不能够给商业性质的AI科技巨头当效力工具。

为了守护数学研究本身的纯粹性, 这家协会还鼓励其成员主动选择在核心研究环节放弃使用人工智能这些工具, 并且要始终坚持依靠他们自己的人脑来进行逻辑推演以此开展相关的探索工作。

面向未来的核心共识

重新定义数学的意义

陶哲轩曾经公开说过这样的话, 那就是当人工智能能够大量制造数学证明的时候, 数学界以前那些并没有直接说明白的软性价值, 是必须被大声讲出来的。

机器能够算出答案这件事, 做起来已经非常容易。这样一来, 问题的重点就变了。人类在数学领域的研究, 主要变成了两件事。第一件是想清楚, 我们为何要解答某个特定问题。第二件事是要保证, 在面对真理这个事物的时候, 说话权必须牢牢掌握在人类手里, 由人类来进行最终的解释。

拒绝功利化的算力狂潮

如今, 那些水平非常高的数学工作者, 他们并不拒绝使用人工智能来提高工作效率, 他们只是非常坚决地反对让数学研究的性质变得不正常, 也就是不让它成为某些商业公司用来抬高企业市值的一种手段。

当那种深邃且优雅的逻辑探索过程, 被降低到仅靠算力来黑箱运作的概率抽奖程度时, 作为理性王冠上最亮那颗明珠的数学, 就会完全丢失它原本所拥有的精神内核。

你如何看待在日常生活中开展数学学习这件事, 大家应当怎样去实现使用人工智能工具和锻炼自主思考能力两者之间的平衡呢? 请大家前往评论区发表自己的观点, 同时也请记得为这篇文章按下点赞的按钮并转发至社交网络之中, 让尽可能多的社会公众知晓这个关键问题的存在。