OpenAI宣称解出NS方程
OpenAI公开了一份166页论文和配套的Lean形式化代码，主张解决Navier–Stokes存在性与光滑性问题。
Navier–Stokes方程描述水、空气、血液等流体怎样运动。飞机设计、天气预报、血流研究都会用到它。工程上，人们早已能够用数值方法近似计算许多具体流动。千年难题追问的是更基础的数学性质：三维流体从光滑状态出发，解会不会对所有时间一直存在，并且保持光滑？如果速度或它的导数在某个有限时刻变得无界，数学上就出现了“奇点”。这意味着连续介质模型走到了自身边界，现实中的流体不会真的达到无限速度。三维流动中的非线性会拉伸、压缩涡旋，把旋转不断推向更小尺度；黏性又会扩散速度差，努力把这些变化抹平。

论文构造了一个三维不可压缩黏性流体：
- 初始速度为0；
- 施加一个光滑、在时空中紧支撑的外力；
- 涡旋不断向内收缩，同时沿轴向拉长；
- 当时间逼近奇点时，最大速度趋向无穷；
- 整个过程的动能始终有限。
论文因此主张建立Clay官方问题表述中的C、D两种反例，也就是三维Navier–Stokes方程允许有限时间失去正则性。这里有一个重要限定：构造使用了特定的光滑外力。去掉外力后的情形仍然开放。这份结果也不会直接替代天气预报或工程CFD。

OpenAI公布的数据很夸张：约10,000个并发agents工作88小时，发送约270万条消息，生成约1300亿个输出tokens。不同小组并行探索，再由Codex汇总中间线索。得到分析证明后，GPT-6 Astra又用了17小时完成Lean形式化。

目前能够确认的是：论文与代码都已公开，任何人都可以下载和检查。形式化证明能减少大量机械性错误，专家仍需确认自然语言论文、定义、估计和Lean形式化之间完全吻合。按照Clay数学研究所规则，候选解答还要发表在合格出版物上，经过至少两年，并获得全球数学界普遍接受。OpenAI表示不会申领100万美元奖金。
同期还出现了研究优先权与用户数据使用争议。OpenAI否认查看具体用户数据来指导这项工作；相关说法仍需要更多证据。

所以，OpenAI公开了一份声称解决NS千年难题的分析证明与Lean形式化证明。它可能成为AI参与重大数学发现的标志性事件，最终结论要交给同行复核和时间。
OpenAI NS方程 人工智能 AI科研 千年难题 流体力学 Lean