OpenAI公开Navier-Stokes证明，并正面回应数学家抢功指控

动察 Beating AI 快讯，OpenAI 公布了一份由 AI 完成的 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 几天内投入大量算力攻入同一路线，还曾提出由 Buckmaster 改写 OpenAI 的 Navier-Stokes 证明，但不让 Alpöge 署名。

OpenAI 现在承认，这场冲刺确实始于「Anthropic 可能解决了千禧年难题」的传闻。9 月 1 日，团队开始让新模型挑战多个数学难题，先用近 100 个 Agent 做出 Euler 结果，随后把资源集中到 Navier-Stokes，最终扩到约 1 万个 Agent。OpenAI 否认在 Buckmaster 公开论文前看过他的研究，也否认调用具体用户数据，但没有完全封死另一种可能：两人使用 OpenAI 产品产生的去标识化数据，可能曾被用于改进模型。

Sébastien Bubeck 也回应了署名和「毁掉职业生涯」的争议。他称，自己没有要求 Alpöge 放弃两人原有成果的署名；当时谈的是让 Buckmaster 主笔 OpenAI 的证明，他认为让 Anthropic 员工署名 OpenAI 的工作不合适。对于「为什么要毁掉自己的职业生涯」这句话，Bubeck 承认措辞糟糕并道歉，但否认是在威胁。Sam Altman 也公开站在 Bubeck 一边，并确认 OpenAI 当初就是听到 Anthropic 的传闻后，想看看自己的模型能不能做到。

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