当地时间 9 月 8 日，OpenAI 发布重磅科研公告，宣布依托一款尚未对外发布的内部 AI 系统，完成了纳维‑斯托克斯存在性与光滑性问题的证明。官方表示，该内部模型综合能力显著强于刚刚推出的 GPT‑6 Astra。这道题目是克莱数学研究所 2000 年公布的七大千禧年大奖难题之一，悬赏奖金 100 万美元。
纳维‑斯托克斯方程是描述流体运动的基础理论，广泛应用于航空、气象、流体仿真等领域。千禧年难题的核心疑问是：在三维空间内，一组初始状态足够平滑的流体，是否会在有限时间内产生速度无界的奇点，也就是发生 “爆破失效”。迄今为止，七大千禧难题中只有庞加莱猜想得到公认解决。
根据 OpenAI 披露的技术细节，本次证明由大约一万个 AI 智能体协同完成，从启动项目到找到完整证明用时约 88 小时，后续再耗费 17 小时，借助 GPT‑6 Astra 完成 Lean 形式化验证。团队同步对外公开 165 页完整论文，以及可复现检查的 Lean 代码仓库，所有逻辑步骤实现机器可核验，方便世界各地数学家开展独立审查。论文结论表明，在构造出光滑外力的前提下，原本静止的三维不可压缩流体，能够在有限时间内形成奇点，同时总动能保持有限，以此论证纳维‑斯托克斯光滑解存在爆破现象，对应克莱研究所命题中的 C、D 情形。OpenAI 同时表态，即便成果最终获得认可，也不会申领百万美元奖金，仅将本次突破视作 AI 科研能力发展的阶段性成果。
虽然企业已经对外宣称取得重大突破，但必须厘清一个关键事实：该结论尚未得到数学界的同行评议确认，克莱数学研究所官网依旧将纳维‑斯托克斯问题列为未解难题。按照评奖规则，一份候选证明需要发表在学术期刊，并且经历两年时间的持续检验，通过专家委员会认定之后，才能正式宣告难题破解，目前只是 OpenAI 单方面发布候选证明，距离最终定论还有一段漫长的验证周期。
本次事件同样伴随行业争议。有数学家提出，OpenAI 完成的是施加外力场景下的爆破证明，而大众普遍期待的无外力条件下的奇点问题并未得到解答，二者存在明显区别。与此同时，业内爆出成果归属方面的分歧，有学者指出相关研究思路早已存在并行探索，引发关于 AI 科研成果署名与优先权的讨论，让这次重磅官宣增添更多话题。
从行业发展角度来看，此次尝试的意义远超一道数学难题本身。过去大模型更多用于总结、解释已有知识，而这套多智能体协同系统，直接产出前沿原创数学证明，并且搭配形式化工具完成逻辑校验，代表 AI 从知识问答向原创科学发现迈出重要一步。此前 Anthropic 也对外透露，其内部研究模型在黎曼猜想研究上取得阶段性进展，头部 AI 实验室相继攻坚顶级数学猜想，预示 AI 正在深度融入基础科研流程。
当然，外界不宜过度神化 AI 的能力。AI 可以快速尝试海量推理路径、生成候选论证，但无法替代人类数学家完成深度研判。机器输出的证明依然需要顶尖学者逐条审视逻辑漏洞，形式化验证只能保证推导规则自洽，不能直接等同于结论正确。AI 更适合作为科研助手，而不是独立的 “数学大师”。
放眼长远，若这份证明最终经受住学术界的严格检验，将彻底改写 AI 在基础科学领域的定位。借助多智能体协作、形式化数学验证，AI 有望在流体力学、理论物理、密码学等复杂领域持续产出原创成果，大幅缩短前沿课题的研究周期。反之，如果证明被找出缺陷，也会提醒行业理性看待 AI 的科研上限，避免盲目追捧 AI “攻克世纪难题” 的营销叙事。
眼下所有悬念，只能等待全球数学家完成细致复核。这份由 AI 生成的证明能否经受住时间考验，成为千禧年难题的第二个标准答案，将是接下来数月科技界最值得持续跟踪的焦点。无论最终结果如何，本次官宣已经清晰传递信号：人工智能正在叩开基础理论研究的大门，科学创新的范式或将迎来深刻变革。
