难题得解为何引发学界抗议？二十五位菲尔兹奖得主为何联名阻击商业AI

困扰人类两百年的数学难题被机器算出了答案，全世界最顶尖的数学家不仅没有庆祝，反而集体站出来抗议。 二十五位菲尔兹奖得主同时签下一份紧急声明。 他们公开表示：这种把数学当成基准测试来刷的暴力求解，对科学本身是有害的。 陶哲轩在自己的博客上发布这份声明的时候，措辞极其罕见地严厉。 为什么？ 一道百年未解的难题有了答案，难道不是天大的好事吗？

普通人看数学，以为目标就是黑板右下角那个答案。 是对还是错？ 是证明还是证伪？ 但在数学家眼里，难题从来就不是终点。 难题是灯塔。 什么叫灯塔？ 当年怀尔斯花了整整七年时间去死磕费马大定理，整整三百五十年没人能解。 最后解开了，数学界真正激动的，根本不是三个整数的高次幂确实不存在这个孤立结论。 大家激动的原因，是怀尔斯为了翻过这座山，硬生生把椭圆曲线和模形式这两个原本八竿子打不着的领域焊在了一起。 佩雷尔曼证明庞加莱猜想，全世界数学家到现在还在研究他留下的里奇流手术工具。 那些为了接近灯塔而发明出来的全新概念、结构和语言，最后渗透进密码学、量子力学、流体力学和现代计算，成了整个人类文明理解物理世界的脚手架。 加州大学洛杉矶分校的数学家伯特·托塔罗在陶哲轩博客讨论霍奇猜想时，打过一个极狠的比方： 如果当年猜想刚提出来的第二天，天空中突然降下一个神谕，直接扔给人类一个毫无解释的正确答案，人类失去的，将是整整半个世纪的几何学繁荣。 因为最值钱的果实，全在攀登悬崖的过程里。

现在的商业大模型实验室，在干什么？ 它们把灯塔直接当成了终点站，然后把推土机开进了整片麦田。 这次让学界彻底炸锅的导火索，是克雷数学研究所悬赏一百万美元的千禧难题：纳维·斯托克斯方程。 这是描述液体和空气如何流动的最底层物理方程。 纽约大学数学家特里斯坦·巴克马斯特在这个方向上坐了很多年的冷板凳。 为了推演极其复杂的奇异结构，他曾经把大量的研究草稿和推理片段，输入到了代码工具中。 然而，就在他的完整论文还在收尾的时候，商业实验室突然在社交媒体上抢先宣布攻克了这道题。 他们动用了上万个智能体，在封闭集群里疯狂跑了数十个小时。 烧掉数百万美元的算力之后，机器直接吐出了一份由数十万行代码组成的机器证明。 这台机器告诉你：方程在有限时间内确实会发生爆破。 但是，如果你去问这台机器：流体为什么会爆破？ 在真实的物理世界里，湍流到底遵循什么样的运动规律？ 这套方法能不能迁移到其他物理方程里去？ 没人知道。 那是一座连全世界顶级数学家都无法读懂的符号迷宫。 更让学界寒心的是商业利益对学术公地的直接践踏。 商业实验室甚至找到学者，提出联合发布的方案，条件是排除另一位来自竞争对手公司的合作者。 学者拒绝之后，公开发表声明揭露了这场仓促抢跑的闹剧。 如果一个研究者在自己的屏幕前苦思冥想十年，商业公司只需要在后台捕捉到研究脉络，调动海量显卡在几天内暴力超车，未来还有哪个学者敢在联网环境下做原创研究？

二十五位菲尔兹奖得主真正担忧的，是古德哈特定律在人类最高智力领域的全面失控。 当一个衡量理解深度的代理指标，被商业资本变成了基准测试本身，它就彻底毁掉了最初的目标。 商业实验室需要向资本市场证明通用人工智能近在咫尺。 它们需要一个能在新闻发布会上拉抬估值的公关符号。 比起花十年时间去培养一个掌握深层概念的博士生，用几百万美元电费砸出一个可以被代码自动验证的真假标记，对商业公司来说划算得多。 结果就是，科学的底层逻辑被彻底倒置了。 我们得到了一座座堆满答案的荒原。 答案产出的速度越来越快，人类对自然界的理解却没有往前迈出半步。 甚至连现代科学运转了四百年的同行评议基石，也被这股算力狂潮冲垮。 当一份数学证明需要数万张尖端显卡狂奔几十个小时才能复核，全世界哪所大学的数学系能掏得起这笔电费？ 验证真理的门槛，变成了少数几家算力巨头的黑盒特权。 二十五位数学大师联名签下的，不是老派学者对新技术的恐慌。 恰恰相反，他们是在给失控的算力收割踩刹车。 数学是人类理性最干净的一片后院。 如果连这片后院都被降格成估值游戏里的算力彩票，人类迎来的就不是智能的黎明。 我们只是造出了一尊极度昂贵的神谕，然后在这个神谕面前，自愿交出了理解这个世界的权利。