OpenAI攻克千禧年难题，数学圈却因「抄作业」撕起来了！
（来源：AI信息Gap）
什么，数学界的千禧年难题被 OpenAI 的下一代模型攻克了？！
OpenAI 刚刚公开了一份「纳维-斯托克斯方程」的证明，165 页，Lean 形式化验证通过。而完成证明的是一个还没发布的新模型，OpenAI 官方称「它比 GPT-6 Astra 明显更强」。在整个证明过程中，大约 10,000 个智能体协作了 88 个小时，交流了 270 万条消息，消耗了约 1300 亿输出 token。
纳维-斯托克斯方程是克雷数学研究所悬赏 100 万美元的七大千禧年难题之一，26 年来只有庞加莱猜想被完全解决。OpenAI 明确表示「不申请克雷奖」。
Sam Altman 再次眩晕瘫坐在椅子上，盛赞「这是 OpenAI 历史上我个人最惊叹的时刻之一，没想到这种量级的研究成果会来得这么快。」
但这份证明背后的故事，远比证明本身有意思得多。来，吃瓜开始。
故事还要从一年前说起。
纽约大学数学教授 Tristan Buckmaster 和 Anthropic 的数学家 Levent Alpöge 私下合作了近一年，用 Claude 和 Codex 证明了三个流体力学方程的「光滑外力下有限时间爆破」，包括三维不可压缩欧拉方程，总共 245 页，Lean 验证全部通过。菲尔兹奖得主陶哲轩评价「了不起的成就」，他认为原则上看不出有什么能阻止这套方法一路推进到纳维-斯托克斯方程。
Buckmaster 和 Alpöge 走的是一条几乎没有其他人在走的证明路线，最早由马德里的 Córdoba 和巴塞尔的 Martínez-Zoroa 两位数学家提出。Buckmaster 后来说功劳归这两位，甚至认为 Martínez-Zoroa 应该得菲尔兹奖。
两人的合作纯属私交，Buckmaster 自掏科研经费，其中给 OpenAI 支付了一大笔。他们还说自己手里有一个更接近纳维-斯托克斯本体的证明结果，但 Lean 验证没跑完所以没发布。此时距离解决千禧年难题，仅一步之遥。
9 月 3 日，一个传闻开始在数学圈流传，Anthropic 解决了千禧年难题。同时，有知情人士告诉 Alpöge，「你们的研究进展已经被透露给了 OpenAI。」Buckmaster 主动给 OpenAI 一位数学家写信澄清。对方的回复很友好，说愿意提供算力。
三天后的周日，OpenAI 的 Sébastien Bubeck 加入讨论。Bubeck 是前微软研究院副总裁，2023 年那篇被引用近两千次的「Sparks of AGI」论文作者之一。
电话里 Buckmaster 被告知，OpenAI 内部模型已经完成了纳维-斯托克斯方程的完整证明。他一听立马感觉不对，因为对方走的恰好是他和 Alpöge 悄悄在攻克的那条冷门路线。对方开始时说「几乎没有人工参与」，但通话中透露出来的是一整个团队、多次尝试、算力用量高到离谱，而且 OpenAI 是在得知两人的进展几天后才开始研究这个问题的。
Buckmaster 追问模型有没有用他们在 Codex 里的对话记录训练过，被告知「模型不会查用户数据」。他再问训练的事，就没有然后了。
对于研究者来说，署名是个大问题。
Bubeck 给了 Buckmaster 两个方案，有一个共同条件，「把 Alpöge 从作者名单里拿掉」。Buckmaster 明确拒绝，并表示会公开这件事。
接下来就是互撕环节。
Buckmaster 的声明里写道，「Bubeck 反问我‘你为什么要毁掉自己的职业生涯？’然后说‘你要是不想好好说话，那我也没必要跟你客气。’」