一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站

一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站。 整整几十页未经修剪的机器文本，用他自己的原话讲，这纯粹是“AI 垃圾”。 但他必须立刻发出来。 因为这篇粗糙的草稿，正在逼近困扰人类两个世纪的千禧年数学大奖：纳维·斯托克斯方程。 更因为在电话那头，一家估值数千亿的科技巨头高管，正威胁要毁掉他的学术生涯。

事情发生在 2026 年 9 月的第一周。 纽约大学柯朗研究所教授特里斯坦·巴克马斯特（Tristan Buckmaster），联手数学家莱文特·阿尔珀厄（Levent Alpöge），公开了一项震动学界的突破。 他们证明了流体力学方程的有限时间爆破。 流体方程描述的是水流、空气和涡旋。 自 18 世纪欧拉和 19 世纪纳维、斯托克斯写下这些公式以来，数学界始终悬着一个终极疑问： 平滑流动的水，会不会在某一刻自己把自己撕碎，瞬间产生无穷大的速度和涡度？ 这就是克雷数学研究所悬赏 100 万美元的千禧年大奖难题。 过去几十年，全球顶尖大脑在这道题面前撞得头破血流。

这次他们是怎么撕开缺口的？ 他们继承了西班牙数学家科尔多瓦（Diego Córdoba）和马丁内斯·佐罗亚（Luis Martínez·Zoroa）开辟的路线： 用平滑的外力驱动爆破。 核心是一套反直觉的动力学放大机制。 在传统流体研究里，高频波动总是会剧烈反冲，把低频的平稳流动打散。 但他们构造出一种精巧的迭代扰动。 在平滑的背景水流中，逐级注入微小而局域的高频修正。 这套结构最绝的地方在于，高频波对低频几乎没有任何反向作用。 原有的低频流动，反而成了一台功率全开的指数放大器。 它推着微弱的高频扰动一路狂飙。 就在临界时刻到来的那一瞬间，高频能量瞬间接管全局，直接把整个系统推向了无穷大的奇点。 靠着这套机制，他们一口气攻克了不可压缩多孔介质方程、二维布辛涅斯克方程，以及三维欧拉方程。 当代数学领袖陶哲轩（Terence Tao）当晚就公开给出了极高评价： 从原理上看，这套方法延伸到终极的纳维·斯托克斯方程，已经没有任何本质阻碍。

更让学界震动的，是这项成果的诞生方式。 传统数学家攻坚这种级别的难题，往往需要耗费数年甚至一生。 巴克马斯特和阿尔珀厄花了多久？ 一个月。 因为他们手里握着人类从未有过的杠杆：大语言模型加形式化证明系统 Lean。 数学家负责在黑板上勾勒架构、寻找放大路径，AI 负责在几天内完成成千上万行繁重的符号展开与推导。 最后，他们把所有推导灌进交互式定理证明工具 Lean。 计算机逐行编译代码，机器严格核验了每一步逻辑。 只要 Lean 显示通过，就代表绝对严密的数学真理。 巴克马斯特在声明里感叹： 这是数学史上的“深蓝时刻”。

既然成果如此辉煌，为什么公开发表的论文会是一堆“AI 垃圾”？ 答案在硅谷的商业绞杀里。 合作者阿尔珀厄有一个特殊身份：他是人工智能实验室 Anthropic 的研究员。 而巴克马斯特是自掏科研经费，向 OpenAI 购买算力。 学术圈刚刚传出他们即将攻克世纪难题的风声，消息就被扭曲成了“Anthropic 解决了千禧年大奖”。 大洋彼岸的 OpenAI 瞬间坐不住了。 9 月 6 日星期天，OpenAI 副总裁塞巴斯蒂安·布贝克（Sébastien Bubeck）连续拨通越洋电话。 OpenAI 声称，他们的内部团队在几天内调用了不可思议的算力，也跑出了一份长达 100 页的纳维·斯托克斯证明。 随后，两份充满火药味的提议摆在了大学教授面前。 第一种方案，两位学者发布欧拉方程，OpenAI 紧接着第二天发布纳维·斯托克斯方程，抢下全部聚光灯。 第二种方案，由巴克马斯特一个人出面，联合 OpenAI 共同署名纳维·斯托克斯论文。 条件只有一个：彻底抹掉阿尔珀厄的名字。 布贝克在电话里反复抱怨，事情之所以麻烦，全因为阿尔珀厄在竞争对手 Anthropic 工作。 他们甚至开出诱饵：只要接受条件，OpenAI 会在宣发中宣称他们才是千禧年大奖的真正得主。 当巴克马斯特在电话里拒绝妥协、并表示要公开整起交涉时，布贝克直接施压： “你为什么要毁掉自己的职业生涯？” “如果你不想让我体面，那我也不必体面。”

这就是为什么两位学者必须抢在周一清晨，把未经人工润色的粗糙手稿、证明代码和一份 4 页的事实声明挂到网上。 他们宁愿让同行看到“毫无文采的机器粗稿”，也绝不把人类探索的优先权让给商业巨头的公关机器。 几百年来，数学是人类最纯粹、最看重学术诚信的智力领地。 同行评议、开放交流、对证明背后思想的共享，维系着学者之间最基础的信任。 但当超级模型成了科研杠杆，拥有天量算力和商业利益的科技巨头，正试图用资本规则碾压学术共同体。 陶哲轩在长文里写下了一段极其清醒的判断： 如果只是把天量算力砸向模型、暴力解出一个方程，他毫无兴趣。 解题只是手段，增进人类对数学规律的理解才是目的。 失去了人类的理解，再轰动的千禧年大奖，也不过是一堆冷冰冰的符号。 当机器一个月就能推演完人类一生的计算，我们到底该守护的，是那座奖杯，还是写在论文首页的名字？