OpenAI宣布成功证明千禧年七大难题「NS方程」，仅用时88小时

就在今天，OpenAI正式公布了一项里程碑式成果：其内部尚未公开的下一代AI，成功解决了克莱数学研究所提出的七大千禧年大奖难题之一——三维不可压缩NS方程的存在性与光滑性问题。

系统给出的证明表明，在光滑外力作用下，初始光滑的流体可以从静止状态出发，在有限时间内发展出速度无界的奇点，同时能量始终保持有限。

该结果以分析证明与Lean形式化验证的双重形式发布，对应官方问题表述中的陈述“C”与“D”。

如果数学界验证成功，这将是首个由人工智能独立完成的重大开放数学问题解决方案，也是迄今为止AI在数学领域取得的最重要突破之一。

OpenAI使用的是一款能力显著超越GPT-6 Astra的内部模型。自2026年8月28日起，该模型在数学基准上持续展现突破性表现。

9月1日，受相关传闻启发，OpenAI启动了对所有未解千禧年难题的系统评估，并迅速将算力集中到NS方程上。

经过约88小时的探索与交叉验证，智能体于9月5日给出分析证明；再用GPT-6 Astra进行Lean形式化验证，额外耗时17小时。

整个过程中，智能体发送了约270万条消息，消耗约1300亿输出token。OpenAI估算，若客户自行运行同等规模任务，成本约1500万美元。

目前，证明与Lean代码已公开，数学界也将展开独立审查。

无论最终如何被接纳，2026年9月8日都将被记入数学史与人工智能史：困扰人类200多年的难题，或许会被AI严格证明。