#OpenAI宣布攻克千禧年难题#
🔬 到底解决了什么
OpenAI 攻克的是七个"千禧年大奖难题"之一的​​纳维-斯托克斯（Navier-Stokes）存在性与光滑性问题​​。这个问题困扰了数学界近90年，核心问的是：
一个初始状态非常"顺滑"的三维流体，会不会在有限时间内突然"爆掉"，形成一个数学上的奇点（速度趋向无穷大）？
OpenAI 给出的答案是：会。他们构造了一个特殊的涡旋结构——流体向内螺旋收缩、同时被轴向拉长，像一根越来越细的意大利面，最终在有限时间内速度飙到无穷。
🤖 怎么解决的
这才是最颠覆的部分：
- OpenAI 启用了一个​​仍在训练中的内部模型​​，能力显著强于 GPT-6 Astra。
- 约 ​​10,000 个 Agent​​ 并行协作，分成不同小组探索不同的证明路线。
- 先花约50小时解决了 欧拉方程 的类似爆破问题，再把思路迁移到纳维-斯托克斯方程。
- 总共 ​​88 小时找到证明​​，随后又用 GPT-6 Astra 花17小时完成 Lean 形式化验证 。
- 消耗约270万条消息、1300亿输出token，算力成本数百万美元。
证明论文165页，已公开发布，Lean 形式化代码也已开源。
⚠️ 但目前还不能说"正式攻克"
克雷数学研究所 的规则很严格：候选解答需要先在合格出版物发表，经过至少两年同行评审，并获得全球数学界的普遍认可，才会正式授奖。所以现阶段更准确的说法是：​​OpenAI 提出了一个可能解决该问题的证明，尚未经数学界独立验证。​​
🔥 更狗血的后续：学术伦理争议
这件事还没完就卷入了争议。纽约大学数学教授 Tristan Buckmaster 和 Anthropic 研究员 Levent Alpöge 也一直在用 AI 攻克类似的流体力学爆破问题，路线极其冷门，几乎没别人在做。
Buckmaster 表示这条路他走了一年，8月22日刚验证完，随后就听说进展被泄露给了 OpenAI。OpenAI 否认接触过未公开成果，但在官方博客里留了一句"不能完全排除来自用户使用产品的去标识化数据帮助改进了模型"——这句话被网友翻译成"我们没有抄你的作业，但可能在你写作业时偷看了一眼"。
💥 真正意味着什么
不管最终证明是否能通过数学界的全面审查，这件事的核心意义已经超越了"AI又刷了一个榜单"：
​​AI 正在从"回答人类已知答案的问题"，转向"和人类一起探索未知"。​​
以前测试 AI 是让它做题——人类知道答案，看 AI 做不做对。这次是 AI 在探索人类几十年都没解决的数学前沿。如果这种"10,000个 Agent 协同探索→自动验证"的模式被证明有效，数学、材料科学、药物研发等领域的科研范式可能都会被重塑。