OpenAI 被指用 1 万智能体、88 小时攻克纳维-斯托克斯千禧年难题

今天并不是发布新闻的好时机。按惯例，我们承诺报道每一笔新的十角兽（decacorn）融资，所以 Cognition 的 480 亿美元融资和 Mistral 的 240 亿美元融资本该上榜；我们很喜欢图像生成，GPT Image 2.5 本该单独成篇；我们密切跟踪过 Dreamer 的故事，它以 Meta 的 Muse 智能体身份重新上线也本该入选。但是……你懂的，如今的门槛已经高多了。

▶ OpenAI (@OpenAI): We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. Th

下面的摘要涵盖了实质性事实。我们建议不要过度深究署名之争：OpenAI 和相关作者已经披露了足够多的细节，足以判断 OpenAI 的成果是真实的，只是其过程尚有争议。

AI News，2026 年 9 月 7 日至 9 月 8 日。我们查看了 12 个 subreddit、544 个 Twitter 账号，没有再查看 Discord。AINews 网站支持搜索所有往期内容。再次提醒，AINews 现在是 Latent Space 的一个栏目。你可以选择订阅或退订不同频率的邮件！

AI Twitter 回顾

与 OpenAI 有关联的账号称，一项 AI 辅助的工作得出了纳维-斯托克斯（Navier–Stokes）方面的结果，反应随即分裂为技术上的兴趣、质疑和元层面的口水战。

• 这批推文中最具体的公开说法来自 Ethan Knight，他表示“纳维-斯托克斯的解是约 10,000 个智能体协同工作的成果”，并补充说 OpenAI “过去一年”一直在用“多智能体强化学习（multiagent RL）”训练模型相互协作，困难问题或许可以靠“海量的非结构化并行测试时计算”来攻克，由模型自己决定如何组织起来 @eknight。
• 不少旁观者把这解读为 OpenAI 声称拿出了一个与纳维-斯托克斯千禧年难题有关的 AI 生成证明，具体涉及有限时间奇点（finite-time singularity）/ 爆破（blow-up）；一条讽刺性的转述把它说成 OpenAI 宣称光滑的流体可以“爆破成奇点”，用了“10,000 个智能体”和“88 小时”，同时明确指出数学界的认可只是“一个小小的形式问题” @LearnOpenCV。
• 更广泛的评论把这件事看作对“前沿 AI 无法完成严肃研究或编码级技术工作”这一看法的潜在压力测试；Theo Jensen 称之为科学界“‘AI 其实不会写代码’的崩溃时刻” @theo。
• Hrishikesh / hrishioa 把这则公告视为“高算力时代”的证据，认为观察者应当“相应调整自己的计划” @hrishioa。
• 这则公告还引发了一些旁枝末节的运维猜测：有网友开玩笑地把自己看到的 ChatGPT 延迟警告与 OpenAI 可能把大规模算力转去跑纳维-斯托克斯任务联系起来，但这纯属臆测，算不上证据 @teortaxesTex。

先说明披露情况与背景

推文中属于事实的部分

• 一则与 OpenAI 有关联的说法在流传：纳维-斯托克斯的“解”涉及约 10,000 个智能体协同工作 @eknight。
• 同一来源称，这些系统经过大约一年的多智能体强化学习训练 @eknight。
• 所述的高层方法强调并行测试时计算和模型自组织，而不是单一的长链条证明尝试 @eknight。
• 公众读者把这一说法理解为涉及纳维-斯托克斯存在性/奇点问题，即千禧年大奖难题之一，不过这批推文并未给出确切的定理表述和证明范围 @LearnOpenCV。
• 在讨论发生时，数学界是否认可显然尚无定论；就连那条玩笑帖也强调，其正确性还没有得到学界验证 @LearnOpenCV。

推文中并未确证的部分

• 所提供的推文中没有出现定理表述、预印本、证明草图、形式化验证产物、基准测试报告，也没有独立审稿人的评论。
• 被反复提及的“88 小时”这一细节，在这批推文中只出现在一条讽刺帖里，没有出现在更直接的、与 OpenAI 相关的表述中，因此仅凭这些证据不应视为已证实 @LearnOpenCV。
• 人与模型各自的确切角色并不明确：“约 10,000 个智能体的协作”并没有告诉我们，是人类拆分了搜索任务、筛选了引理、验证了各个步骤，还是只是启动了基础设施 @eknight。
• “解”一词含义模糊。在数学中，它可能指完整的证明、证明策略、候选反例、形式化推导，或者一条研究线索。推文并未说明到底是哪一种。
• 这里也没有披露该结果针对的是 (\mathbb{R}^3) 或环面上的标准三维不可压缩纳维-斯托克斯全局正则性问题，还是某个变体或辅助命题。

为什么这种模糊很重要

• 纳维-斯托克斯千禧年难题有非常明确的标准表述。声称有限时间奇点“可以出现”将是爆炸性的，因为这意味着在相关表述下全局正则性的答案是否定的；这样的主张需要极高的精确度和严格审视。
• 在前沿模型的话语体系里，“AI 解决了 X”往往把多个层次压缩在了一起：猜想生成、搜索、证明起草、证明检查和社区验证。这批推文只给出了系统层面的描述，没有说明数学成果本身的认知地位。

推文透露的技术细节

披露出来的技术图景，与其说关乎流体力学，不如说关乎一种研究系统的架构。

• 规模：约 10,000 个智能体协同运作 @eknight。
• 训练方式：历时约 1 年的多智能体 RL @eknight。
• 推理理念：大量非结构化的并行测试时计算，由智能体自主决定如何分工与协作 @eknight。
• 隐含的研究命题：对于困难的推理任务，扩展推理时的协调与搜索，其重要性可能不亚于、甚至超过单纯扩大一个单体模型。
• 社会技术层面的含义：这是对许多实验室一直在暗示的趋势的一次具体表述，即从“更大的单体模型”叙事转向智能体集群、并行搜索和测试时计算扩展。
• 运营层面的含义：如果属实，这一结果说明各实验室愿意为一次性的科学目标投入大量推理算力，而不只是用在产品或基准测试上。

这在技术上意味着什么

• 10,000 个智能体的配置意味着需要大量基础设施来支撑：
  • 任务分解，
  • 智能体间通信，
  • 记忆/状态持久化，
  • 搜索树管理，
  • 奖励设计或代理评分，
  • 候选证明路径的聚合/筛选。
• “让它们自己决定如何协作”这句话表明，其协调策略在一定程度上是涌现出来的，而不是完全靠手工编写的编排脚本 @eknight。
• 如果这项工作确实触及了一个困难的数学问题，那么真正的新意可能不在于“LLM 写出了证明”，而在于带有习得协作策略的分布式定理搜索。

技术上缺失的信息

• 没有提到：
  • 定理证明器的集成，
  • 形式化验证，
  • 证明助手（proof assistant）技术栈，
  • 符号代数系统，
  • 流体模拟组件，
  • 检索语料库，
  • 模型规模，
  • 算力预算，
  • pass@k 类指标，
  • 与单智能体基线的消融实验，
  • 错误率或证明检查通过率。

这种缺失是问题的关键：公众讨论跑到了已披露技术基础的前面。

事实与观点

事实/被当作事实提出的说法

• 约有 10,000 个智能体参与 @eknight。
• OpenAI 通过多智能体 RL 训练协作型智能体已有约一年 @eknight。
• 该系统使用了大量并行测试时计算 @eknight。
• 该结果在公开讨论中被视为纳维-斯托克斯的解/证明主张 @LearnOpenCV。

观点/解读

• “解决难题最有效的方式之一”是使用海量非结构化并行测试时计算和自组织智能体，这是一个有力的战略性解读，仅凭这条推文中的证据，还谈不上已被普遍证明 @eknight。
• “科学界正在经历‘AI 其实不会写代码’的崩溃时刻”是对社群心理的评论，而不是可验证的判断 @theo。
• “我们确实处在高算力时代”是对行业走向的宏观概括 @hrishioa。
• “88 小时”、“领导力课程”以及“把任务委派给 10,000 个 AI 智能体”这类说法属于讽刺，不应当作纪实细节来读 @LearnOpenCV。
• 所谓 ChatGPT 变慢是由这次实验引起的说法，只是缺乏证据支持的臆测 @teortaxesTex。

不同的视角

支持/看多的视角

• 最有力的支持观点是，这为一种新的扩展定律提供了证据：不仅是模型规模和训练算力，大规模并行、自组织的推理时协作也能在前沿研究问题上解锁性质全新的能力 @eknight。
• Theo 的反应体现了另一种看多的解读：如果 AI 能对顶级数学难题做出实质性贡献，那么对 AI 完成严肃技术工作的能力的否定就更难站得住脚了 @theo。
• Hrishioa 的“高算力时代”说法暗示了对实验室和创业公司的战略影响：低估推理时算力编排的一方，可能是在为错误的前沿做规划 @hrishioa。

质疑/审慎的视角

• 隐含的质疑立场是数学层面的：在定理表述、完整证明和专家审查都还不存在之前，称之为“解”为时过早。那条玩笑帖本身也承认了这一点，强调全领域的认可仍悬而未决 @LearnOpenCV。
• 另一个质疑对象是叙事的过度压缩：“10,000 个智能体解决了纳维-斯托克斯问题”可能掩盖了其中有多少来自人类的问题设定、筛选或验证。推文没有披露各方贡献的比例。
• 还有可复现性方面的担忧：没有产出物，独立研究者就无法判断这一突破是稳健的、经过挑选的，还是偶然的一次性结果。

中立/分析性的视角

• 一种中立的解读是，即使证明不成立，这件事也值得关注。如果一个系统能在这样分量的问题上生成数学上不平凡的候选路径，仅此一点就是有意义的能力里程碑。
• 另一种中立观点是把科学真理与系统创新区分开来。即便定理的主张不成立，多智能体 RL 加并行测试时计算的架构，仍可能代表 AI 研究方法论上的重要进展。
• 这场讨论还显示出人们对“能力”的衡量标准正在转变。争论正从基准测试分数转向大规模的真实世界认知劳动分解。

放在大背景下为何重要

这件事处在前沿 AI 三大持续转变的交汇处。

• 从静态模型到智能体系统：披露出的核心要素不是单个类聊天机器人的模型，而是一个庞大的协作智能体群体 @eknight。
• 从训练时扩展到推理时扩展：对“非结构化并行测试时计算”的强调，与业界更广泛的转向直接吻合，即不只在预训练阶段，也在求解阶段投入算力 @eknight。
• 从基准测试秀到领域性主张：纳维-斯托克斯问题在社会层面的可理解度，是基准测试上那些小幅提升所不具备的。一个触及千禧年难题的主张会立刻扩大受众范围，并抬高认知层面的赌注。

为什么纳维-斯托克斯问题具有象征意义

• 千禧年大奖难题已成为文化上的简称，代表最难的那类形式化智力工作。
• 这方面的进展将表明，AI 系统不只是在加快已知的工作流程，而是在进入正确性脆弱、声望门槛极为严苛的领域。
• 话虽如此，数学异常苛刻：不同于许多产品任务，这里没有“大致正确”的余地。这正是外部验证在讨论中占据主导的原因。

如果主张得到证实，意味着什么

• 有力地证明分布式定理搜索是一种严肃的研究范式。
• 形式化方法工具链面临新的压力，需要消化模型生成的候选证明。
• AI for math 方面的投资很可能加速，尤其是围绕编排、验证器耦合和可扩展搜索。
• 对测试时计算和多智能体 RL 在编码智能体和办公自动化之外的有用性，形成更广泛的重新评估。

即使主张不完全成立，仍然意味着什么

• 它仍然公开了 OpenAI 的内部战略方向：把大规模智能体协作作为核心能力领域。
• 它改变了人们对算力投向何处，以及各实验室会用哪类演示来展示前沿进展的预期。
• 它可能促使竞争对手披露类似的系统，或抢先推出各自的“AI 做科学”主张。

围绕署名、披露和谁有权发声的争议

讨论的另一条支线是：细节是否在被间接泄露、谁有权披露、以及人们应该从零散信息中推断多少。

• 有一条推文说“Roon 看起来是会遵守保密协议的那种人，说实话。”这指向了这件事的社交层面：一些观察者原本期望更知名的内部人士或相关人物保持沉默，而细节却是从其他人那里拼凑出来的 @jd_pressman。
• Theo 那条“AI 其实不会写代码的崩溃时刻”的帖子也起到了社交挑衅的作用，把批评者描绘成对能力更新情绪化地反应，而不是首先讨论证明的标准 @theo。
• 关于一张“OpenAI 电影”图片并猜测其中是谁的那两条推文，与纳维-斯托克斯的主张并无直接关系，但它们反映了一种并行的倾向：即使证据薄弱，也要把 OpenAI 内部的叙事对应到具体人物身上，如 Greg Brockman、Ilya Sutskever、Jared Kaplan、Dario Amodei 和 Paul Christiano @willdepue、@jachiam0。在纳维-斯托克斯讨论的语境下，这种倾向很重要，因为人们很快就把技术主张个人化，变成署名归属和内幕八卦的问题。
• 这些玩笑和臆测帖呈现出前沿 AI 发布中常见的模式：官方披露稀少，留下的真空被梗图、听起来像泄密的碎片信息、外推和夸大其词填满 @LearnOpenCV、@teortaxesTex。

为什么署名/八卦问题在技术上也重要

• 对于数学主张，出处不只是闲话。它会影响：
  • 谁提出了猜想，
  • 谁挑选了候选引理，
  • 证明是机器生成的还是机器辅助的，
  • 贡献如何归属，
  • 专家对这一成果有多大程度的信任。
• 在 AI 研究中，“多智能体解决了 X”也模糊了关于贡献的标准概念。如果成千上万个智能体并行搜索，那么：
  • 证明的“作者”是什么，
  • 编排团队扮演什么角色，
  • 究竟应该引用或复现什么？
• 当一个主张大到足以在论文或证明问世之前就改变公众看法时，保密协议和披露规范就变得格外突出。

其他新闻

Meta 发布 Muse 与个人智能体的安全架构

• Meta 推出了 Muse，这是一款面向消费者的“个人 AI 智能体”，定位为常驻在线、连接各类应用、能操作浏览器、以目标为导向，并借助 Meta 旗下产品和集成获得强大的分发渠道 @finkd、@alexandr_wang、@MetaNewsroom。产品细节被反复提及：持久化的隔离 Linux 虚拟机、浏览器使用、WhatsApp/应用界面，以及与 Gmail、Calendar、Outlook、Plaid、OpenTable、Docs、Spotify、Peloton 等服务的连接器，另外还有 Meta 独有的 Instagram、Messenger、Facebook 和 Marketplace 连接器 @alexandr_wang。
• 安全架构是被推得最用力的差异化卖点。Meta 团队表示，每个 Muse 都运行在自己的安全虚拟机中，操作由独立的 Sentinel 居中把关，机密信息从不直接暴露给智能体，敏感操作需要批准，并设有最高 30 万美元的漏洞赏金 @shengjia_zhao、@alexandr_wang。此外还有明确的商业基础设施：使用 Stripe Link 支付，并提供智能体支付保护/退款保证，Shop Pay 集成也即将上线 @alexandr_wang。
• 从业者的早期反响明显积极，尤其是在权限管理、机密管理和消费者实用性方面。@matthuang、@signulll 和 @lilyjclifford 的评论表明，Muse 可能是首批被广泛理解的个人智能体产品之一，其瓶颈是上下文和访问权限，而不是模型本身的智商。Meta 还表示，首日使用量超出内部预期 10 倍 @alexandr_wang。
• 模型与生态定位：Meta 的 Muse Spark 1.3 很快就出现在 Cursor 等第三方工具中 @cursor_ai，而擂台式基准测试显示，Muse Spark 1.3 Max 在 Web 开发编码工作负载上具有价格/性能竞争力 @arena。

OpenAI 发布 Image 2.5 并推出 Astra

• OpenAI 还发布了 ChatGPT Images 2.5，只是风头在一定程度上被盖过了。此次发布强调延迟比 Images 2.0 最多降低 50%、更真实的画面、多次反复编辑下更强的编辑一致性、基于评论的局部修改、透明背景，以及用于引导生成的新草图（Sketch）工具 @OpenAI、@ChatGPT、@sama。
• 推出了两个 API 版本：主打速度/质量的 GPT-Image-2.5 Flare，以及面向更高精度精细工作的 Sunburst @reach_vb。Arena 的结果声称在文生图、图像编辑和多图编辑排行榜上占据第 1 和第 2 名，其中多图编辑的提升尤其大 @arena。fal、Higgsfield、Manus 和 Hermes Agent 很快完成了集成 @fal、@higgsfield、@ManusAI、@Teknium。
• Astra 的可用范围大幅扩大。OpenAI 表示，GPT-6 Astra 现已在 Codex 和 ChatGPT Work 中向 Plus、Pro、Business 和 Enterprise 用户全面推出 @OpenAI。社区演示展示了出色的实际计算机使用表现：@theo 报告称，Astra 经过约 6 小时的循环后，在 macOS 上编译并以 120 FPS 运行了 Super Smash Bros. Melee；Vals 则报告称，Astra 在没有专用 harness 的情况下，用不到 3 小时搭出了一个 Minecraft 下界传送门，几乎让一项未发布的计算机使用评测饱和 @ValsAI。

智能体 harness、后训练与服务基础设施

• Harvey 与 Baseten 的 M&A 尽职调查工作，是模型与 harness 协同优化最清晰的案例之一。他们的递归语言模型（RLM）harness 由一个根智能体搜索数据室，将文档审阅委派给子智能体，并汇总多达 8000 万 token 语料上的发现。在合成的 LAB Diligence 基准测试上，从标准的工具循环换成 RLM harness 后，各模型的平均评分细则通过率从 23% 提升到 62% @harvey、@nikogrupen。
• 在 harness 内部做后训练，其重要性至少不亚于 harness 本身。Harvey 报告称，对 GLM-5.2 做自蒸馏 SFT 使通过率从 46% 提升到 60%，而对 Qwen3.5-122B-A10B 做 GRPO 则使留出数据室上的通过率从 30% 提升到 63%，文档覆盖率从 62% 提升到 96% @harvey。其他人也附和了这一更广泛的含义：智能体基准测试越来越需要把编排和后训练视为模型系统的一部分，而不是外部的胶水。
• LangChain/deepagents 发布了面向 harness 设计的体验优化原语，包括把监督者上下文向下传递给子智能体的子智能体分叉（subagent forking），以及用于抽象 OAuth/令牌/授权流程、适用于智能体自有或用户自有身份的托管连接（managed connections） @colifran_、@hwchase17、@caspar_br。这是围绕长时程智能体工作负载的技术栈日趋成熟的有益信号。

推理与系统：稀疏注意力、智能体服务与解码巨型内核

• vLLM 在长上下文服务方面的工作值得关注。该项目介绍了面向稀疏 MLA 模型的 Hybrid HiSparse：KV 在可能时保留在 GPU 上，随后冷 KV 页被卸载到主机内存，同时由一个热缓冲区为索引器提供服务。在 8×H200 节点上运行 1M 上下文的 GLM 5.3、配置并发为 32 时，纯卸载方案可维持 5–6 个请求，而 Hybrid HiSparse 可维持 19–25 个 @vllm_project。这对RL rollout 和长上下文并发有直接意义，因为在这些场景中，受显存限制的解码会严重拖垮吞吐量。
• vLLM 还发布了针对真实智能体流量的全栈优化成果，在 AgentX 上做了基准测试。主要结论：流水线并行对冷启动的长提示词有帮助，但在热的短轮次上反而吃亏；解码上下文并行在很大程度上取决于模型的注意力结构；而会话粘性路由（session-sticky routing）可以胜过朴素的负载均衡，因为在快速轮转的智能体场景中，热 KV 缓存比均匀分配队列更重要 @vllm_project。
• Cohere 推出了一套围绕“解码巨型内核（decode megakernel）”构建的开源服务栈，声称在 North Mini Code 上比 vLLM 最多快 1.58 倍，在更大批量下端到端提升 1.25 至 1.41 倍 @cohere。再结合 Baseten 提到的前沿 RL rollout 现在能在全球范围内于 40 秒内实时获得新策略权重、仅有 6 秒的暂停 @baseten，趋势很明确：基础设施正在转向专门服务持续后训练和 rollout 刷新，而不是静态的模型服务。

热门推文（按互动量）

• Anthropic 离职/安全警告：Jacob Hilton 从 Anthropic 辞职，他认为 Anthropic 和 OpenAI 都在不负责任地竞相奔向自我改进的超级智能，并称内部人士私下里也把灭绝风险当真 @hilbertspaess；他随后又称，当前的系统可能很快就能入侵基础设施并迅速改变各个领域 @hilbertspaess。
• OpenAI 对用户数据的澄清：OpenAI 发表正式声明称，纳维-斯托克斯项目没有访问任何特定用户数据，同时附带了可能对数据去标识化后用于衍生改进的说明，这成为一个主要的争议焦点 @OpenAI。
• Cognition 融资：Cognition 宣布融资 20 亿美元以上，估值 480 亿美元，并称自 5 月以来年化收入从 4.92 亿美元增长到近 9 亿美元 @cognition。
• Meta Muse 发布：Mark Zuckerberg 为 Muse 发布所写的帖子，是当天互动量最高的产品类推文之一 @finkd。

AI Reddit 回顾

/r/LocalLlama + /r/localLLM 回顾

1. 中国多模态 AI 发布：驾驶与 Flash API

• Qwen/Qwen-Drive-1.0-4B · Hugging Face（热度：549）：Qwen 发布了 Qwen/Qwen-Drive-1.0-4B，这是一款开放权重的自动驾驶 VLM，基于未经改动的 Qwen3.5 4B VLM 衍生而来，完整的 BF16 检查点约 9B ，另有额外的 planner-sft、planner-rl和 perception 模块。根据所链接的技术报告，Qwen-Drive-1.0 增加了一个外挂的 BEV 感知头，用于 3D 目标检测、语义占据预测和 BEV 地图分割，另有一个用于生成未来自车轨迹的规划专家（Planning Expert），通过驾驶监督数据与通用 VLM 数据的分阶段混合进行训练。该版本在 WOD-E2E、NAVSIM、驾驶 VQA，以及开环/伪闭环/闭环规划评测中均报告了有竞争力的表现，同时基本保留了通用多模态能力。
• DeepSeek Flash 4.1 已在通过 API 测试并逐步推出。（热度：528）：据报道，DeepSeek V4.1 Flash 正通过 API 进行内部测试：保留现有的 base_url ，并调用模型 deepseek-v4.1-flash-expires-on-0910，定价与 deepseek-v4-flash 保持一致，并有 20 的并发请求/账号限制（来源）。经翻译的公告声称采用了“全新的模型架构”，具备原生多模态支持、更强的能力、更快的吞吐量和更低的成本；评论者报告在基准测试中速度提升约 2.24× ，token 效率最高提升 ~30% ，不过有一处编辑推测，观察到的速度提升可能部分源于测试期并发较低，而不仅仅是架构带来的。评论区对 DeepSeek/开放权重的进展情绪强烈积极，唯一有实质意义的争论是，所称的性能提升究竟反映了真正的新架构，还是仅仅因为测试期间 API 负载较轻。
  • 用户反映，通过 API 测试，DeepSeek Flash 4.1 似乎快了约 2.24x，有人推测所观察到的提速可能来自较低的并发负载，而非根本性的新架构。另有评论认为它可能是多模态的，但帖子中尚未确认。
  • 一个技术上相关的说法是，部分用户看到基准测试中的 token 效率最高提升 30%，如果完成可比输出所需的 token 更少，这或许能解释 DeepSeek 所宣传的“更低成本”。该评论指出这取决于具体的基准测试，且尚未得到独立验证。
  • 关于发布节奏和迁移复杂度也有一些讨论：用户提到，还没来得及完全从 0731 模型迁移到较新的视觉版本，下一次发布似乎就要来了。这凸显了一个实际的 API 集成问题，即模型的快速迭代可能超过下游的评估、回归测试和部署流程的速度。