OpenAI 宣称攻克千禧年难题：AI 给出纳维-斯托克斯方程新证明

OpenAI 日前宣布，其内部 AI 系统完成了对纳维-斯托克斯方程存在性与光滑性问题的一个解答，并公开了相关论文及 Lean 形式化证明。纳维-斯托克斯方程是千禧年大奖难题之一，也是现代流体力学最核心的理论基础，广泛用于飞机设计、天气预测与血液流动研究。

该问题的核心是：三维不可压缩流体在初始状态光滑的情况下，是否可能在有限时间内产生奇点。这一疑问自 19 世纪方程提出后困扰数学界多年；2000 年，克雷数学研究所将其列入七个千禧年难题，并悬赏 100 万美元。

OpenAI 称，证明由内部多智能体系统完成，构造了一种特殊涡旋结构：流体绕中心不断旋转并逐渐向内收缩、发生轴向拉伸，空间尺度缩小的同时速度持续提升，整体能量保持有限，从而证明初始光滑且静止的流体在光滑外力作用下可在有限时间内形成奇点。

据官方表述，该系统背后的模型能力显著超过 GPT-6 Astra。目前该证明尚待数学界审核认可。