当地时间 9 月 8 日，OpenAI 对外披露了一项未公开模型的重大成果：该模型已成功解决“纳维-斯托克斯存在性与光滑性问题”，这是克莱数学研究所于 2000 年列出的七个千禧年大奖难题之一。该问题长期困扰数学界，核心在于判断描述流体运动的纳维-斯托克斯方程是否会在有限时间内产生奇点，即流速无限增长的情形，此前近 90 年未获突破。

据 OpenAI 介绍，此次突破并非依赖单一模型，而是由一个约 10,000 个 AI 智能体组成的协作网络完成，整个证明生成过程耗时约 88 小时。该模型性能据称远超其最新发布的 GPT-6 Astra，但具体参数与架构细节尚未公开。OpenAI 同时提供了分析证明，并利用 Lean 编程语言进行了形式化验证，验证工作由 GPT-6 Astra 在约 17 小时内完成。

这一成果紧随 Anthropic 上月的进展而来——后者曾宣布其未公开的 Claude 研究模型在黎曼猜想研究中取得进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提升至 67.2%。两起事件相隔不足一个月，使得 AI 在纯数学领域的应用前景再度成为业界焦点。

著名数学家、菲尔兹奖得主陶哲轩在回应中既肯定了 AI 系统的潜力，也表达了对验证严谨性与可解释性的关切。他指出，AI 生成的证明虽经形式化验证，但其推理路径可能超出人类直觉，后续仍需人工审查与教学转化。OpenAI 方面尚未公布完整证明细节，也未明确该成果是否已提交至同行评议流程。