AI 攻克纳维斯托克斯难题，为什么 25 位菲尔兹奖得主痛斥「对科学有害」？

人类历史上最难的一道数学难题，被 AI 宣布攻破了。 站在数学殿堂最顶端的二十五位菲尔兹奖得主，没有一个人庆祝。 他们联名甩出一份紧急声明。 这不仅不是科学的进步，这种用机器暴力求解的狂欢，对科学本身是有害的。

困扰了人类整整两百年的千禧年数学难题有了答案，全世界最顶尖的数学家不仅不买账，反而集体出离愤怒。 为什么？ 是这群象牙塔里的老派学者嫉妒机器的算力，还是他们看清了一场正在吞噬基础科学的资本围猎？

先看这家科技巨头到底做了什么。 OpenAI 启动了一款性能远超 GPT-6 Astra 的未公开前沿模型。 大约一万个自主智能体同时并发。 整整狂奔了八十八个小时。 烧掉了数百万美元的显卡算力。 八十八个小时之后，它们直接输出了一份机器证明： 三维纳维·斯托克斯方程在有限时间内存在奇点。 流体力学会发生数学上的爆破。 这正是克雷数学研究所在 2000 年悬赏一百万美元设立的七大千禧年难题之一。 OpenAI 甚至在新闻发布会上公开表态： 我们连那一百万美元的奖金都不要了。 在估值数百亿的资本游戏和下一代模型的融资叙事面前，一百万美元不过是一笔零花钱。 他们要的是向全世界证明：商业巨头的算力集群，已经可以接管人类理性的最高边疆。

但第一记重锤很快就砸了下来。 纽约大学的数学家 Tristan Buckmaster，以及 Anthropic 的研究员 Levent Alpöge，此前在这个方向上已经坐了多年的冷板凳。 为了推演流体力学的奇异结构，Buckmaster 曾经把大量的研究草稿和推理片段，输入到了 OpenAI 的私有编程工具 Codex 会话中。 结果论文还没写完，巨头的系统突然宣布独立攻破了同一道难题。 学界当场哗然。 这位数学家直接公开质问： 自己的私有会话数据，到底有没有被巨头的模型后台偷偷吸走？ 是不是有人拿着学者多年的智慧铺路，再用海量算力抢跑冲线？ OpenAI 的首席研究官 Mark Chen 紧急在电话会议上面对媒体辟谣，坚称没有调用任何用户的私密数据。 但科学界最脆弱的信任纽带，已经当场断裂。 如果一个学者在云端工具里推演了十年的研究方向，平台随时可以用一万个智能体和几百万美元算力在八十八小时内强行超车，未来还有哪个顶尖大脑敢在联网的环境下做原创研究？

但这还只是商业道德层面的摩擦。 让二十五位菲尔兹奖得主感到骨子里发凉的，是另一件事。 这份声明由京都大学名誉教授、1990 年菲尔兹奖得主森重文领衔。 作为曾经执掌国际数学联盟的泰斗，他带领二十多位顶级数学家，把矛头直接扎向了这套玩法的死穴： 只有求解，没有对概念的理解。

为什么只有求解是对科学的摧毁？ 普通人以为科学的目标就是拿到那个最终的答案。 数学界不是这样运转的。 当年佩雷尔曼证明庞加莱猜想，人类得到的从来不只是一个被证实的结果。 他留下的里奇流手术工具，彻底重塑了现代微分几何。 怀尔斯证明费马大定理，顺带打通了椭圆曲线与模形式的深层对应，给密码学和代数几何喂养了整整几代人的养分。 科学的生命力，在于人类在攀登悬崖的过程中，发明了全新的概念、结构和直觉工具。 这些工具会被移栽到物理学、工程学和材料学里，成为整个文明理解自然宇宙的脚手架。 那一万个智能体在八十八小时里拼出来的，是什么？ 数百万美元算力堆砌出来的一座不可读的符号迷宫。 它告诉你：在某种极端构造下，方程确实会爆炸。 但它说不清流体在物理世界中为什么会失稳。 它无法为湍流的研究提供任何可泛化的物理直觉。 它更没有创造出任何能够滋养其他学科的数学新概念。 这就像古代部落迎来了降下天书的神谕。 天书上写着结论，但底下跪着的人类，对客观世界的认知并没有往前迈出哪怕一微米。 没有概念理解的求解，直接把科学发现降格成了算力彩票的暴力穷举。

更致命的是同行评议机制的彻底瓦解。 四百年来，自英国皇家学会确立现代科学范式以来，科学公信力的基石只有一条： 可验证，可复现，人人平等。 哪怕是一个无名小卒提出的猜想，也可以在黑板上接受全世界同行的严密推敲。 现在，面对一万个智能体在封闭集群里跑了八十八小时吐出的海量代码，谁能来复核？ 哪所大学的数学系能掏出几百万美元去复刻一次推演？ 当验证一个科学结论的门槛变成了几万张显卡，同行评议就变成了科技寡头之间的黑盒互验。 科学不再是全人类共享的知识公域。 它正在变成少数巨头用电费筑起高墙的私有资产。

二十五位菲尔兹奖得主站出来，争的从来不是那一百万美元的奖金，也不是老派学者的所谓体面。 他们是在保卫科学探索的根本底线。 当一家商业公司可以用海量算力把人类的智力结晶打包成估值狂欢的公关弹药。 当答案的产出彻底剥离了对自然规律的透彻理解。 我们迎来的绝不是什么超级智能的黎明。 我们只是造出了一台昂贵的神谕机器，然后迫不及待地，把人类理解这个世界的权利拱手让了出去。