9月9日消息，OpenAI于当地时间9月8日宣布，其内部一款未公开的AI模型（性能显著超越最新发布的GPT-6 Astra）已成功破解“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness problem）。该问题属于克莱数学研究所（Clay Mathematics Institute）在2000年列出的七个“千禧年大奖难题”之一。
这一问题聚焦于描述流体运动的纳维-斯托克斯方程是否会在某些情况下失效，已困扰数学界近90年。
此前，Anthropic在上月宣布，其内部一款未公开的Claude研究模型在攻克黎曼猜想方面取得重大突破，将黎曼ζ函数临界线上零点比例的长期下界从41.6%提升至67.2%。该消息一经发布，立即引发业界广泛关注。
OpenAI表示，其团队通过协调约10,000个AI智能体协作，在约88小时内完成了证明。该证明指出，一个初始平滑的静止流体在有限时间内可能发展出“奇点”（singularity），即流速趋于无限增长。
OpenAI提供了分析证明，并采用Lean编程语言进行了形式化验证。验证工作由GPT-6 Astra在约17小时内完成。
