OpenAI 公开 Navier–Stokes 证明，并回应数学家署名争议

OpenAI 公布了一份由人工智能完成的 Navier–Stokes 方程证明。该问题已悬而未决近 90 年，是七个“千禧年难题”之一，设有 100 万美元奖金。

OpenAI 称，这项工作由一个仍在训练中的内部模型完成，其能力明显强于 GPT-6 Astra。团队曾让约 1 万个 Agent 协同工作，经过 88 小时找到解法，随后又使用 Astra 花费 17 小时完成 Lean 机器验证。相关论文和验证代码已经公开，但仍需接受数学界审查。

这项成果也引发了署名和抢发争议。纽约大学数学家 Tristan Buckmaster 与 Anthropic 员工 Levent Alpöge 此前曾借助 Claude、Codex 推进同一方向的研究。Buckmaster 称，两人的未公开进展传到 OpenAI 后，OpenAI 在数日内投入大量算力，攻入相同路线；OpenAI 还曾提出由 Buckmaster 重写其证明，但不让 Alpöge 署名。

OpenAI 承认，这场冲刺确实始于“Anthropic 可能解决了千禧年难题”的传闻。9 月 1 日，团队开始让新模型挑战多个数学难题，先由近 100 个 Agent 完成 Euler 方程相关结果，随后将资源集中于 Navier–Stokes，最终扩展到约 1 万个 Agent。

OpenAI 否认在 Buckmaster 公开论文前看过他的研究，也否认调用具体用户数据。不过，公司没有完全排除另一种可能：Buckmaster 和 Alpöge 使用 OpenAI 产品产生的去标识化数据，或许曾被用于改进模型。

Sébastien Bubeck 也回应了署名及“毁掉职业生涯”的争议。他表示，自己没有要求 Alpöge 放弃两人原有成果的署名；当时讨论的是由 Buckmaster 主笔 OpenAI 的证明，他认为让 Anthropic 员工署名 OpenAI 的工作并不合适。

对于“为什么要毁掉自己的职业生涯”这句话，Bubeck 承认措辞不当并道歉，但否认这是威胁。Sam Altman 公开支持 Bubeck，并确认 OpenAI 当初正是听到 Anthropic 的相关传闻后，才希望验证自己的模型能否完成这项工作。

OpenAI 表示不会领取这项难题对应的 100 万美元奖金。