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 小时内完成。
发布于：北京