OpenAI 于 2026 年 9 月 8 日宣布，其尚未公开的下一代 AI 系统提出了 Navier–Stokes“存在性与光滑性”问题的解答：这是 Clay 数学研究所设立的七大“千禧年难题”之一，悬赏 100 万美元，核心是判断描述三维流体运动的 Navier–Stokes 方程，从正常、光滑的初始状态出发，是否可能在有限时间内出现数学上的“奇点”；这个问题困扰顶尖数学家近一个世纪，七大千禧年难题此前只有庞加莱猜想得到公认解决，因此属于现代数学最高难度等级的问题。OpenAI 称约 10,000 个协同 AI agents 在约 88 小时内构造出证明，结论是某些三维流体解确实能够在有限时间形成奇点，并同时公布了长篇解析证明和 Lean 形式化证明供机器检查。 但截至 9 月 9 日，这还不能表述为“已经被数学界正式证实解决”：Lean 形式化验证意味着证明在所采用的形式化框架内可以被机器逐步检查，这是非常强的可信度信号，但论文刚公开一天，仍需要全球专家检查关键假设、形式化陈述是否与 Clay 原问题完全对应，以及整个论证是否存在隐藏缺口；Clay Mathematics Institute 也尚未正式认定该问题已经解决。Nature 因此使用的是 OpenAI “claims”（声称取得突破），Clay 主席 Martin Bridson 则称这是令人振奋的重大进展，而不是宣布问题已经正式结案。