OpenAI CEO山姆·奥尔特曼最近在采访中表达了对前沿AI模型研发需要放缓节奏的观点，但不久后OpenAI便披露了新模型的动态。9月8日，OpenAI宣布通过约10000个并发Agent协作，耗时88小时，完成了纳维-斯托克斯方程存在性与光滑性的证明，并通过Lean形式化验证。这是继庞加莱猜想之后，第二个宣称被解决的千禧年七大数学难题。该证明由一组Agent使用OpenAI的下一代模型生成，官方称该模型比GPT-6 Astra的功能强大得多。

这项成果尚未获得数学界正式认定，却已陷入一场围绕研究优先权、数据使用和学术署名的争议。劝行业刹车的同时自己却猛踩油门，揭示了OpenAI当前的焦虑状态。一方面，在IPO前夕必须向资本市场证明模型性能仍占据前沿位置；另一方面，近期密集发生的模型安全事件也带来了责任承担的压力。商业与安全红线同时加速，OpenAI尝试在矛盾叙事中保持领先地位。

纳维-斯托克斯方程描述流体运动是数学和物理学中的基础方程之一。2000年，克雷数学研究所将其列入七个千禧年大奖难题，核心问题之一是对于三维不可压缩流体，给定光滑的初始状态，方程的解是否能够始终保持光滑，还是可能在有限时间内形成奇异性。OpenAI此次给出的结果属于后一种情形。公司称，其内部模型找到了证明三维不可压缩纳维-斯托克斯方程能够在有限时间内产生奇异性的分析路径，并覆盖克雷数学研究所正式问题描述中的相关命题。