{"id":"mb-20260908-9a54a1","kind":"deep","title":"一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站","summary":"一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站","body":"一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站。\n整整几十页未经修剪的机器文本，用他自己的原话讲，这纯粹是“AI 垃圾”。\n但他必须立刻发出来。\n因为这篇粗糙的草稿，正在逼近困扰人类两个世纪的千禧年数学大奖：纳维·斯托克斯方程。\n更因为在电话那头，一家估值数千亿的科技巨头高管，正威胁要毁掉他的学术生涯。\n\n事情发生在 2026 年 9 月的第一周。\n纽约大学柯朗研究所教授特里斯坦·巴克马斯特（Tristan Buckmaster），联手数学家莱文特·阿尔珀厄（Levent Alpöge），公开了一项震动学界的突破。\n他们证明了流体力学方程的有限时间爆破。\n流体方程描述的是水流、空气和涡旋。\n自 18 世纪欧拉和 19 世纪纳维、斯托克斯写下这些公式以来，数学界始终悬着一个终极疑问：\n平滑流动的水，会不会在某一刻自己把自己撕碎，瞬间产生无穷大的速度和涡度？\n这就是克雷数学研究所悬赏 100 万美元的千禧年大奖难题。\n过去几十年，全球顶尖大脑在这道题面前撞得头破血流。\n\n这次他们是怎么撕开缺口的？\n他们继承了西班牙数学家科尔多瓦（Diego Córdoba）和马丁内斯·佐罗亚（Luis Martínez·Zoroa）开辟的路线：\n用平滑的外力驱动爆破。\n核心是一套反直觉的动力学放大机制。\n在传统流体研究里，高频波动总是会剧烈反冲，把低频的平稳流动打散。\n但他们构造出一种精巧的迭代扰动。\n在平滑的背景水流中，逐级注入微小而局域的高频修正。\n这套结构最绝的地方在于，高频波对低频几乎没有任何反向作用。\n原有的低频流动，反而成了一台功率全开的指数放大器。\n它推着微弱的高频扰动一路狂飙。\n就在临界时刻到来的那一瞬间，高频能量瞬间接管全局，直接把整个系统推向了无穷大的奇点。\n靠着这套机制，他们一口气攻克了不可压缩多孔介质方程、二维布辛涅斯克方程，以及三维欧拉方程。\n当代数学领袖陶哲轩（Terence Tao）当晚就公开给出了极高评价：\n从原理上看，这套方法延伸到终极的纳维·斯托克斯方程，已经没有任何本质阻碍。\n\n更让学界震动的，是这项成果的诞生方式。\n传统数学家攻坚这种级别的难题，往往需要耗费数年甚至一生。\n巴克马斯特和阿尔珀厄花了多久？\n一个月。\n因为他们手里握着人类从未有过的杠杆：大语言模型加形式化证明系统 Lean。\n数学家负责在黑板上勾勒架构、寻找放大路径，AI 负责在几天内完成成千上万行繁重的符号展开与推导。\n最后，他们把所有推导灌进交互式定理证明工具 Lean。\n计算机逐行编译代码，机器严格核验了每一步逻辑。\n只要 Lean 显示通过，就代表绝对严密的数学真理。\n巴克马斯特在声明里感叹：\n这是数学史上的“深蓝时刻”。\n\n既然成果如此辉煌，为什么公开发表的论文会是一堆“AI 垃圾”？\n答案在硅谷的商业绞杀里。\n合作者阿尔珀厄有一个特殊身份：他是人工智能实验室 Anthropic 的研究员。\n而巴克马斯特是自掏科研经费，向 OpenAI 购买算力。\n学术圈刚刚传出他们即将攻克世纪难题的风声，消息就被扭曲成了“Anthropic 解决了千禧年大奖”。\n大洋彼岸的 OpenAI 瞬间坐不住了。\n9 月 6 日星期天，OpenAI 副总裁塞巴斯蒂安·布贝克（Sébastien Bubeck）连续拨通越洋电话。\nOpenAI 声称，他们的内部团队在几天内调用了不可思议的算力，也跑出了一份长达 100 页的纳维·斯托克斯证明。\n随后，两份充满火药味的提议摆在了大学教授面前。\n第一种方案，两位学者发布欧拉方程，OpenAI 紧接着第二天发布纳维·斯托克斯方程，抢下全部聚光灯。\n第二种方案，由巴克马斯特一个人出面，联合 OpenAI 共同署名纳维·斯托克斯论文。\n条件只有一个：彻底抹掉阿尔珀厄的名字。\n布贝克在电话里反复抱怨，事情之所以麻烦，全因为阿尔珀厄在竞争对手 Anthropic 工作。\n他们甚至开出诱饵：只要接受条件，OpenAI 会在宣发中宣称他们才是千禧年大奖的真正得主。\n当巴克马斯特在电话里拒绝妥协、并表示要公开整起交涉时，布贝克直接施压：\n“你为什么要毁掉自己的职业生涯？”\n“如果你不想让我体面，那我也不必体面。”\n\n这就是为什么两位学者必须抢在周一清晨，把未经人工润色的粗糙手稿、证明代码和一份 4 页的事实声明挂到网上。\n他们宁愿让同行看到“毫无文采的机器粗稿”，也绝不把人类探索的优先权让给商业巨头的公关机器。\n几百年来，数学是人类最纯粹、最看重学术诚信的智力领地。\n同行评议、开放交流、对证明背后思想的共享，维系着学者之间最基础的信任。\n但当超级模型成了科研杠杆，拥有天量算力和商业利益的科技巨头，正试图用资本规则碾压学术共同体。\n陶哲轩在长文里写下了一段极其清醒的判断：\n如果只是把天量算力砸向模型、暴力解出一个方程，他毫无兴趣。\n解题只是手段，增进人类对数学规律的理解才是目的。\n失去了人类的理解，再轰动的千禧年大奖，也不过是一堆冷冰冰的符号。\n当机器一个月就能推演完人类一生的计算，我们到底该守护的，是那座奖杯，还是写在论文首页的名字？","topic":"一位纽约大学的数学教授，把一份被他自己称为“数学史上最烂”的论文草稿，连夜扔上了预印本网站","frame_type":["动力学自激爆破与算力公地围猎","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-08 17:14:12","legal_anchor_count":0,"transcript_citation_count":0}