🚨 OpenAI 这次真的把数学圈炸了，但也被人骂惨了

朋友们，今天这个瓜有点大。

OpenAI 在 9 月 8 日宣布：他们用 AI 解决了一个千禧年数学难题——纳维-斯托克斯方程的存在性与光滑性问题。

先说这是什么级别的难题：

纳维-斯托克斯方程描述的是流体运动，飞机设计、天气预报、血液流动全靠它。这个方程的核心问题是：一个初始状态很“正常”的流体，在数学上会不会在有限时间内自己“炸掉”，速度变成无穷大？

如果会，说明方程本身和物理现实脱节了。这个问题困扰了数学家 90 年，是克莱数学研究所 2000 年选出的七大千禧年难题之一，悬赏 100 万美元。

OpenAI 说他们证明了：会炸。

他们用了一个比 GPT-6 Astra 还强的内部模型，部署了10,000 个 AI 智能体协同工作。从 9 月 1 日开始全力攻这个题，最终给出了一个用 Lean 形式化验证过的证明。

OpenAI 数学家 Sébastian Bubeck 说，这是过去 12 个月 AI 解决问题“越来越复杂、越来越重要”的“壮观顶点”。

但接下来是真正精彩的部分。

⚠️ 争议一：是不是“偷”了研究者的思路？

就在 OpenAI 宣布的前一天，纽约大学的 Tristan Buckmaster 和 Anthropic 的研究员 Levent Alpöge 刚发布了一篇论文，声称用 Claude 和 OpenAI 的 Codex、Astra 模型解决了无粘性版本的同类问题。

时间线太巧了。Buckmaster 直接公开质问 OpenAI：你们的模型是不是用了我们 Codex 会话里的数据？

OpenAI 回应说“没有使用任何特定用户的数据”，但加了一句关键的话：不能排除匿名化数据被用于改进模型的可能性。

翻译一下：我们没直接偷你的，但你用我们产品时产生的数据，可能被“去标识化”后拿去训练了。

Buckmaster 说，他第二次追问时，OpenAI 没有给出明确答复。

⚠️ 争议二：这算“解决”了吗？

千禧年难题的官方认定需要经过克莱研究所的严格审核和发表。目前 OpenAI 只是在自家博客上发了 preprint，远未得到数学界公认。

而且有数学家指出，OpenAI 证明的是问题的“否定形式”（证明会炸），这在逻辑上当然是有效的方向之一，但和“解决”之间还有距离。

这件事真正让人后背发凉的地方在于：

当研究者用 AI 工具讨论未发表的想法时，这些对话可能正在变成 AI 公司的训练数据。然后这家公司用更强的模型、更大的算力，抢在你前面把成果发出来。

你觉得这算“AI 解决千禧年难题”，还是“AI 把人类研究者的思路拿去跑了个更快版本”？