OpenAI宣布AI模型攻克千禧年难题：纳维-斯托克斯存在性与光滑性问题获证

SmartHey9月9日消息，OpenAI于当地时间9月8日宣布，其内部未公开的AI模型（性能远超最新发布的GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于2000年公布的七大“千禧年大奖难题”之一。

该问题聚焦于描述流体运动的基本方程——纳维-斯托克斯方程是否总能给出物理上合理、数学上光滑的解，自20世纪30年代起便持续挑战数学与物理学家，至今已有约90年历史。

此前，Anthropic于上月披露，其一款未公开的Claude研究模型在黎曼猜想研究中取得突破性进展，将黎曼ζ函数临界线上非平凡零点占比的理论下界从41.6%提升至67.2%，引发学界广泛关注。

OpenAI团队采用大规模协同推理范式，调度约10,000个AI智能体并行工作，在约88小时内完成完整证明。结果表明：存在初始状态平滑且静止的流体，在有限时间内可能演化出“奇点”——即局部流速趋于无穷大，从而导致方程解失去光滑性与存在性。

团队同步发布了详细数学分析及基于Lean编程语言的形式化验证文件。该验证由GPT-6 Astra模型独立执行，并在约17小时内完成全部逻辑校验，确认证明严格无误。