OpenAI 宣称 AI 智能体解出纳维-斯托克斯千禧年难题

OpenAI 于其官方 X 账号发布消息，宣称旗下由下一代模型驱动的智能体（agent）群组，为千禧年难题（Millennium Prize Problems）之一的纳维-斯托克斯（Navier-Stokes）问题给出了一份证明。该消息原文措辞为「We’re sharing a solution to the Navier-Stokes Millennium Prize Problem」，将这一未解长达约九十年的数学问题推向新阶段。

纳维-斯托克斯问题是什么

纳维-斯托克斯方程是描述流体运动的基础方程组，在航空、气象、海洋工程等领域应用广泛。该千禧年问题的核心问的是：在三维空间中，由纳维-斯托克斯方程描述的「光滑」流体运动是否会「破裂」——也就是说，解是否会在有限时间内出现奇点（blow-up），使方程失效。

这一问题由克雷数学研究所（Clay Mathematics Institute）于 2000 年列为七大千禧年难题之一，悬赏百万美元。它已经悬而未决约九十年，长期被视为纯数学与应用数学交叉地带最深的未解问题之一。

OpenAI 给出的解法

根据 OpenAI 帖文，该证明并非由人类数学家直接写出，而是「由一组智能体（a group of agents）使用一个 OpenAI 下一代模型生成」。OpenAI 表示，该模型「显著强于 GPT-6 Astra」（significantly more capable than GPT-6 Astra）。

帖子没有披露：

• 证明的完整文本或论文链接；
• 所用智能体的数量、协作机制或工具链；
• 模型的具体名称、参数规模或训练方法；
• 是否已经过数学家同行评审或形式化验证。

为何需要审慎看待

纳维-斯托克斯问题在数学界的地位极高，任何宣称解决它的成果，通常需要经历漫长的同行评审、甚至数年讨论才能被广泛接受。截至目前，OpenAI 仅以一条 X 帖文形式发布消息，既未附上预印本链接，也未提到克雷数学研究所或独立数学家的验证。

此外，帖文中提到的「GPT-6 Astra」并非 OpenAI 已公开命名或发布过的模型，与 OpenAI 既有产品线（GPT-4、GPT-4o、o1、o3 等）的命名不一致，其真实所指尚不明确。

后续关注点

• OpenAI 是否会公开证明全文或预印本链接；
• 是否有独立数学家或机构对证明进行复核；
• 模型与智能体系统的具体技术细节；
• 该突破能否被复现或迁移到其他数学问题上。

如果该证明最终得到数学界认可，将是 AI 在基础科学领域迄今最具标志性的成就之一。