OpenAI 智能体求解纳维-斯托克斯千禧难题：里程碑还是抢跑

数学界有个著名的清单，叫"千禧年大奖难题"，一共七道，解开任何一道奖金一百万美元。其中纳维-斯托克斯方程（描述流体运动）是最让人头大的之一——它关乎湍流到底为什么那么难预测。

最近 OpenAI 的智能体团队宣布，用内部 AI 系统给出了这个问题的解答。消息一出，有人喊这是迈向 ASI（超级智能）的里程碑，也有人直接质疑这是抢跑、不规范、甚至不正当竞争。

它到底做了什么

按 OpenAI 自己的说法，是他们的智能体在求解过程中发挥了作用，给出了纳维-斯托克斯相关问题的新结果，并向独立证明者致贺。听上去很厉害，但"给出解答"和"被数学界接受为证明"之间，隔着一道很高的门槛。

数学证明不是模型说一句"我对了"就行的。它得经得起同行逐行推敲，得写在能被检查的推理链里。而这次争议的核心，恰恰就在这里：

• 纽约大学教授质疑 OpenAI 借助其研究"抢先发布"证明，涉嫌不正当竞争
• 数学家 Buckmaster 指控其中有不当行为，并公开了沟通经过
• Hugging Face 联创 Thomas Wolf 认为，AI 数学"尚未被解决"，这个结果更像反例搜索而非完整证明
• Sam Altman 和 Bubeck 都下场回应，一方辩护、一方否认

换句话说，圈内人还没达成共识，这事儿就先上了热搜。

为什么这件事值得普通人也看一眼

你可能会想，流体方程跟我有什么关系。关系在于它暴露了一个正在发生的转变：AI 开始进入"发现新知"的环节，而不只是"整理已知"。

过去我们习惯 AI 写文案、画图、写代码——这些都是有标准答案或人能立刻判断好坏的任务。但"证明数学猜想"没有现成答案，判断对错的权力本来牢牢握在专家手里。现在 AI 把手伸进了这个领地，带来的不只是技术兴奋，还有一连串没准备好的问题：

• 谁有权认定一个 AI 给出的"证明"有效？
• 如果 AI 辅助的发现绕过了传统的同行评审，学术界该怎么接？
• 抢发、署名、贡献归属，这些规则还适用吗？

这次争议里最值得记下的，不是"OpenAI 是不是真证明了什么"，而是当 AI 开始产出人类专家一时无法验证的成果时，我们的验证体系还没跟上。

等尘埃落定，无论这次结果被接纳还是被推翻，它都会成为一个样本：第一次，AI 在基础科学最硬的领地里，逼着所有人重新讨论"什么才算证明"。