OpenAI说AI agents解出千禧年数学难题

OpenAI 昨晚高调宣布，内部一组 AI agents 给出了三维 Navier–Stokes 千禧难题的解法； 几小时后，数学界开始围绕“成果是否独立、是否撞上刚公开的人类工作、能否算真正解题”发难。

图一原帖： 一个约 1 万个 agent 协作的系统，88 小时内产出解析证明和 Lean 形式化，结论是三维流体会在有限时间形成奇点。 用的是仍在训练中的下一代模型，OpenAI 称其能力明显高于 GPT-6 Astra。

数学圈迅速指出，Levent Alpöge、Tristan Buckmaster，以及 Anima Anandkumar 团队近期公开的 Euler 方程研究与这条路线很接近。 争议点集中在 Euler 中“有外力（forced）”和“无外力（unforced）”的差别，以及谁先做出了关键构造。

图二澄清说明只用看一句： 无法完全排除模型训练中使用过的、已去标识化产品数据，间接帮助了模型；

评论区的主流声音分三类：
- 有人震撼于“1 万 agent、88 小时、形式化证明”，把它当作 AI 科研跨过门槛的标志。
- 数学研究者更在意优先权和技术边界。Anima Anandkumar 直接要求 OpenAI 承认其团队的无外力 Euler 工作。
- 争议最大的是 OpenAI 那句“不能排除去标识化用户数据帮助了模型”。高赞评论要求第三方独立审计，认为这关系到隐私、训练数据来源和学术诚信。

图三： Reader Context 里还有一条更严重、但目前只能当作争议性指控看待的说法：Buckmaster allegedly 拒绝过 OpenAI 的合作邀请，因为其 Anthropic 的合作者不能署名；其中涉及 OpenAI 对其职业前景的施压说法。OpenAI 这条帖没有正面回应这一点。