88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题

88 个小时，10000 个 AI 智能体，解开了一道困扰人类 92 年的数学难题。 论文长达 100 页，连代码级的机器形式化验证都一并做完。 看起来，这是纯粹的机器智能对人类顶尖大脑的一次降维打击。 可还没等掌声平息，纽约大学一位手握克雷数学奖的教授公开指控： 机器能在 4 天内冲过终点线，是因为它一直在偷看他的草稿纸。

这道卡了人类将近一个世纪的题，到底有多难？ 1934 年，法国数学家让·勒雷提出了流体力学的弱解概念。 从喷气发动机的气流到海啸的波浪，物理世界的流体运动，都被写进了纳维-斯托克斯方程。 数学界最想弄清楚的问题只有一个： 流体在运动过程中，会不会在有限时间内产生无限大的速度或涡度？ 这就是著名的有限时间爆破。 如果流体会爆破，意味着经典物理方程在极端状态下会彻底失效。 如果永远平滑，就证明了物理世界在数学上的完备。 2000 年，克雷数学研究所设立千禧年大奖难题，悬赏 100 万美元征求答案。 92 年过去，全世界几代顶尖数学家写满了成千上万页手稿，始终没人能走通这条路。

站出来发声的学者是谁？ 纽约大学柯朗数学科学研究所教授，特里斯坦·巴克马斯特。 他可不是什么学术圈的局外人。 早在 2019 年，他就因为在流体力学方程上的开创性证明，拿下了克雷数学研究所颁发的克雷研究奖。 过去整整一年，他和合作者勒文特·阿尔珀格一直在死磕纳维-斯托克斯方程的爆破难题。 为了处理海量繁重的推演和公式验证，他们把日常的草稿、尝试过的路径、关键的中间引理，随时输入到 OpenAI 的代码工具 Codex 里。 对科研人员来说，这原本是一件再正常不过的事。 你按月付费购买高级算力服务，把它当成随叫随到的数字草稿纸。

变局发生在 2026 年 9 月初。 学术圈里开始悄悄流传一个风声：巴克马斯特团队取得了实质突破，他们找到了一条能够证明特定流体爆破的全新几何路径。 风声传出的那一刻，后台的超级巨头瞬间动了。 OpenAI 突然调集了 10000 个自主 AI 智能体。 在短短 88 个小时里，这批智能体沿着巴克马斯特团队耗费一年摸索出来的那条特定路径，展开了疯狂的并行搜索与符号推导。 它们清扫了沿途成百上千个枯燥的引理证明，生成了一篇 100 页的完整论文，并用数学语言 Lean 完成了全部逻辑验证。 9 月 8 日，OpenAI 抢先一步，向全球公布了这项所谓由 AI 独立攻克的世纪突破。

可后台的电话簿里，藏着另一出戏码。 在公开发布之前，OpenAI 负责前沿研究的副总裁塞巴斯蒂安·布贝克给巴克马斯特打去了电话。 布贝克拿着那份刚出炉的百页论文告诉他：我们的模型也做出来了，走的是和你完全相同的技术路线。 紧接着，商业公司提出了一个不可思议的合作条件： OpenAI 可以考虑联合署名或者协调发布，但巴克马斯特必须做一件事： 把他一年的研究搭档阿尔珀格从论文中彻底除名。 为什么？ 因为阿尔珀格的另一重身份，是 OpenAI 最大的竞争对手 Anthropic 的研究员。 在商业巨头的地盘逻辑面前，学术伦理被当场悬空。 巨头的算盘打得很精：死敌公司的雇员，绝不能分享这场神话的荣光。 对方甚至在电话里暗示，如果拒绝，他的学术前途可能会面临麻烦。 巴克马斯特当场回绝了。

这台机器到底是怎么在 4 天内做出百年突破的？ 真的是 AI 突然进化出了超越人类的数学直觉吗？ 恰恰相反。 数学猜想的推导空间是无边无际的黑暗荒原。 如果方向选错了，10000 个智能体就算耗光几千万度电，也只能在死胡同里批量制造数学垃圾。 最昂贵、最稀缺的智力成本，从来不在末尾那几百页枯燥的符号验证。 在无限的黑暗里挑出那条唯一的生路，才是真正要命的门槛。 人类学者冒着整整一年无功而返的巨大风险，终于蹚出了正确的坐标。 他们把沿途所有的探索与纠错，一行一行写进了对话框。 面对学界的质疑，OpenAI 给出的官方辩解耐人寻味： 他们声称智能体绝对没有直接调取用户的私密文件。 但他们承认了另一件事： 无法排除来自用户交互的去标识化遥测数据，在客观上帮助改进了模型。

这才是最让学术界毛骨悚然的机制。 平台既是科研人员记录未发表灵感的数字实验室，又是随时准备下场摘桃子的超级捕食者。 你在屏幕前每敲下一行推导，后台的数据飞轮就在吞噬你的思考轨迹。 一旦监测到哪位先驱即将推开大门，平台就可以瞬间调动成千上万张芯片的算力洪流。 在人类学者即将越过终点线的前夜，完成强行包抄。 冲过终点线之后，巨头把所有的胜利归功于机器的神迹，顺手抹掉真正探路者的姓名。

如果提供工具的人，同时也是拿着望远镜的终极掠食者。 下一次，还有哪个学者敢把未公开的独创思考，托付给任何一家商业 AI？ 世纪难题被攻破，靠的根本不是什么突然开悟的硅基神迹。 那是一套冷酷的平台特权：用人类的直觉当罗盘，用资本的算力当皮鞭，在终点线前完成了一场教科书级的围猎。