OpenAI 新模型攻克千禧年难题：纳维 - 斯托克斯方程证明引发争议
OpenAI 近日公开了一份长达 165 页的「纳维 - 斯托克斯方程」证明，并已通过 Lean 形式化验证。官方透露，该成果由一款尚未发布的新模型完成，其性能显著优于 GPT-6 Astra。在整个证明过程中，约 10,000 个智能体协作 88 小时，交换 270 万条消息，消耗约 1300 亿输出 token。
纳维 - 斯托克斯方程是克雷数学研究所悬赏百万美元的七大千禧年难题之一，过去 26 年间仅庞加莱猜想被完全解决。OpenAI 明确表示不申请克雷奖。OpenAI CEO Sam Altman 对此评价极高，称这是其职业生涯中最惊叹的时刻之一。
然而，这份证明背后的学术伦理争议远比数学突破本身更为引人关注。
前奏：NYU 教授与 Anthropic 的私下突破
故事始于一年前。纽约大学数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 私下合作，利用 Claude 和 Codex 成功证明了三个流体力学方程在「光滑外力下有限时间爆破」的特性，包括三维不可压缩欧拉方程。该成果共 245 页，全部通过 Lean 验证。菲尔兹奖得主陶哲轩对此给予高度评价，认为该方法理论上可推进至纳维 - 斯托克斯方程的求解。
Buckmaster 与 Alpöge 采用的证明路线极为冷门，最早由马德里和巴塞尔的两位数学家提出。Buckmaster 曾公开表示，若该路线最终解决千禧年难题，提出者 Martínez-Zoroa 理应获得菲尔兹奖。
两人的合作纯属私人性质，科研经费由 Buckmaster 自筹，其中包含支付给 OpenAI 的大额算力费用。他们透露手中已有接近纳维 - 斯托克斯本体的证明结果，但因 Lean 验证未完成而暂未发布，距离最终解决仅一步之遥。
冲突：OpenAI 介入与署名权之争
9 月 3 日，数学圈流传 Anthropic 已解决千禧年难题的消息。知情人士告知 Alpöge，其研究进展可能已泄露给 OpenAI。Buckmaster 随即致信 OpenAI 澄清，对方回复友好并表示愿意提供算力支持。
三天后，前微软研究院副总裁、AGI 论文作者 Sébastien Bubeck 加入讨论。他在通话中告知 Buckmaster，OpenAI 内部模型已完成纳维 - 斯托克斯方程的完整证明。Buckmaster 随即察觉异常：OpenAI 采用的正是他与 Alpöge 正在攻克的冷门路线，且项目启动时间恰在得知两人进展之后。尽管对方声称「几乎没有人工参与」，但透露出的团队规模、尝试次数及算力消耗均表明这是一次高强度的集中攻关。
针对 Buckmaster 关于模型是否使用其 Codex 对话记录训练的质疑，OpenAI 方面最初回应「模型不会查用户数据」，随后回避了进一步询问。
随后的核心矛盾集中在署名问题上。Bubeck 提出合作方案，但要求将 Anthropic 员工 Alpöge 从作者名单中移除。Buckmaster 明确拒绝并威胁公开此事，双方关系迅速恶化。
罗生门：双方各执一词
Buckmaster 在声明中披露，Bubeck 曾质问其「为什么要毁掉自己的职业生涯」，并表示若不好好沟通便无需客气。
对此，Bubeck 给出了截然不同的版本。他否认要求剔除 Alpöge，解释称提及「若是 Levent 不在 Anthropic 就简单了」，是出于避免竞品公司员工署名的考量，且认为 Alpöge 在使用 Anthropic 内部模型时缺乏独立性。Bubeck 承认「毁掉职业生涯」一词语措辞不当并已当场收回，本意是劝诫 Buckmaster 勿因无据指控损害声誉。他还展示了发给 Alpöge 的短信截图，表示愿承认对方的优先权，将所有学术荣誉归于 Buckmaster 和 Alpöge。
Sam Altman 随后发文为团队背书，称原本计划联合发布，后发现对方仅完成欧拉方程而非纳维 - 斯托克斯方程，遂建议对方先行发表。他指责对方团队以毫无根据的抄袭指控进行威胁，并强调 OpenAI 是因外界传言才好奇尝试自家模型的能力。
关键细节：数据使用的灰色地带
OpenAI 官方公告中有一句耐人寻味的表述：「虽然可能性不大，但我们不能排除这种可能性：来自用户使用我们产品的去标识化数据，帮助改进了我们的模型。」
这一表态被网友解读为：虽未直接抄袭，但可能在训练过程中「偷看」了用户的解题思路。Buckmaster 在声明中表示，未查看过 OpenAI 的证明细节，无法确认数据是否被盗用，也未正式指控任何人，只是陈述事实经过。他强调，若 OpenAI 模型确实完成了最后一步，应如实公布过程并承认相关背景。