10000 个 AI 智能体跑 88 小时，OpenAI 宣布攻克千禧年大奖难题

新闻来源：AI新闻资讯　发布时间：9月9日

OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维 - 斯托克斯存在性与光滑性问题”，这是克莱数学研究所于 2000 年提出的七个“千禧年大奖难题”之一，已困扰数学界约 90 年。

在此之前，Anthropic 上个月曾宣布其内部一款未公开的 Claude 研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到 67.2%。

OpenAI 表示，团队让约 10000 个 AI 智能体协作，在约 88 小时内生成了证明。证明显示，一个初始平滑的静止流体在有限时间内可能发展出“奇点”，即流速无限增长。该证明通过设计一个向内旋转并拉伸的“涡流”实现奇点，其能量在物理定律要求下保持有限；证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。

OpenAI 提供了分析证明及 Lean 编程语言的形式化验证，验证工作由 GPT-6 Astra 在约 17 小时内完成。OpenAI 研究员塞巴斯蒂安·布贝克（Sébastien Bubeck）称此为“过去十二个月所看到轨迹的一个惊人顶点”。