OpenAI 称用 10,000 个 AI 智能体在 88 小时内发现 Navier-Stokes 奇点解

今天新闻周期很艰难，无法启动任何新项目;我们通常承诺报道任何新的Decacorn筹款活动，所以Cognition的480亿美元轮以及Mistral的240亿美元回合本来应该能成功;我们爱情影像生成器所以GPT 图片 2.5本该成为独立的头条新闻;我们报道了梦想者的故事与其重新推出的Meta的缪斯特工本该成功;但是......你知道的......现在的标准更高了。

以下摘要涵盖了实质性事实;我们建议不要过于深入探讨作者归属的争议，因为OpenAI及其作者已经提供了足够的细节，足以得出OpenAI的成就是真实存在的结论，尽管过程尚存争议。

2026年9月7日至2026年9月8日的AI新闻。我们检查了12个子版块，544条推特不再有Discord。AINews网站允许你搜索所有过去的问题。提醒一下，AINews 现已成为 Latent Space 的一个部门.你可以选择电子邮件频率！

AI推特回顾

OpenAI相关账号表示，AI辅助的努力产生了Navier–Stokes结果，反应立即在技术兴趣、怀疑和元戏剧之间分裂。

• 推文中最具体的公开声明来自Ethan Knight，他说“Navier Stokes方案是~1万个代理协作的结果”，并补充说OpenAI“过去一年”一直在训练模型通过“多智能体强化学习”协作，难题可能会带来“大量非结构化并行测试计算”，模型自行决定如何组织@埃克奈特.
• 多位旁观者解读为OpenAI声称AI生成了与纳维–斯托克斯千年问题相关的证明，特别是关于有限时间奇点/爆破;有讽刺性意译将其描述为OpenAI说光滑流体可以“爆炸成奇点”，声称使用了“1万个智能体”和“88小时”，同时明确指出数学接受仍属“小形式”。@LearnOpenCV.
• 更广泛的评论将此事件视为对前沿人工智能无法进行严肃研究或编码级别技术工作的压力测试;西奥·詹森称这是科学界的“'人工智能实际上不会编程'崩溃时刻”@theo.
• Hrishikesh / hrishioa将该公告描述为“高计算体制”的证据，认为观察者应“相应调整计划”@hrishioa.
• 这一公告还引发了偶然的操作猜测：一位发帖者开玩笑说看到ChatGPT延迟警告可能将大规模计算转向Navier–Stokes运行，尽管这纯属推测，并非证据@teortaxesTex.

披露与背景

推文中的事实是哪些

• 有一篇与OpenAI相关的说法流传，称Navier–Stokes的“解决方案”涉及一万名特工协作工作@埃克奈特.
• 同一消息来源说这些系统大致训练过一年使用多智能体强化学习 @埃克奈特.
• 所强调的高级方法如下并行测试时间计算并建模自组织，而非单次长链证明尝试@埃克奈特.
• 公众读者理解该主张为关于纳维–斯托克斯存在/奇点问题， 其中一个千禧奖问题，尽管推文集中未提供确切的定理陈述和证明范围@LearnOpenCV.
• 当时数学界的接受度显然尚未解决;甚至那篇笑话帖子也强调，正确性仍未被该领域验证@LearnOpenCV.

推文中没有明确说明的内容

• 所提供的推文中没有定理陈述、预印本、证明草图、形式验证工件、基准报告或独立审稿评论。
• 经常重复的“88小时”本套装中仅有讽刺性帖子中的细节，未出现在更直接的OpenAI相关声明中，因此仅凭这些证据不应被视为确认@LearnOpenCV.
• 人类与模型的具体作用尚未明确：“约1万个代理协作”并不能告诉我们是人类分解了搜索过程、策划了引理、验证了步骤，还是仅仅启动了基础设施@埃克奈特.
• “解”是歧义的。在数学中，它可以指完整的证明、证明策略、候选反例、形式化推导或研究线索。推文并未对此进行歧义化。
• 此处未披露该结果是否解决了标准三维不可压缩纳维–斯托克斯全局正则性问题（\mathbb{R}^3）或环面上的全局正则性问题，或是某种变体/辅助命题。

为什么这种模糊性很重要

• 纳维-斯托克斯千年问题有一个非常具体的标准框架。声称有限时间奇点“可能发生”将具有爆炸性，因为它们暗示了相关表述中对全局正则性的否定回答;此类主张需要极其精确和严格的审查。
• 在前沿模型话语中，“AI解决X”通常包含多层次：猜想生成、搜索、证明撰写、证明检查和社区验证。推文仅提供系统层面的描述，而非数学的认知地位。

推文揭示的技术细节

披露的技术图景与其说是流体力学，不如说是研究系统架构。

• 比例：大致一万名特工协同作战@埃克奈特.
• 培训方法： 多智能体强化学习在~1年 @埃克奈特.
• 推理哲学：大量非结构化并行测试时间计算，代理自主决定如何分工和协作@埃克奈特.
• 隐含研究论文：对于困难推理任务，扩展推理时间的协调+搜索可能和单纯扩展单一模型一样重要，甚至更重要。
• 社会技术层面的含义：这具体体现了许多实验室暗示的趋势——从“更大单一模型”的叙事转向能动集合,并行搜索， 和测试时计算缩放.
• 操作意义：如果属实，结果证明实验室愿意在一次性科学靶点上投入大量推理计算，而不仅仅是产品或基准测试。

这从技术上讲意味着什么

• 1万代理的配置意味着为以下基础设施提供了大量基础设施：
  • 任务分解，
  • 代理间通信，
  • 内存/状态持久性，
  • 搜索树管理，
  • 奖励设计或代理评分，
  • 候选证明路径的聚合/选择。
• “让他们决定如何合作”这句话暗示了一种部分自发的协调政策，而非完全手工编写的编排@埃克奈特.
• 如果作品确实涉及一个难的数学问题，关键的新颖性可能不是“LLM写证明”，而是更多带学习协作策略的分布式定理搜索.

技术上缺少什么

• 未提及：
  • 定理证明器积分，
  • 形式验证，
  • 校样助理堆栈，
  • 符号代数系统，
  • 流体仿真组件，
  • 检索语料库，
  • 模型尺寸，
  • 计算预算，
  • pass@k风格指标，
  • 针对单剂基线的消融，
  • 错误率或校对成功率。

这种缺席是核心：公众讨论先于公开的技术基础。

事实与观点

作为事实呈现的事实/主张

• 关于一万名特工参与其中@埃克奈特.
• OpenAI 一直在通过以下方式训练协作智能体多智能体强化学习关于一年 @埃克奈特.
• 该系统广泛使用并行测试时间计算 @埃克奈特.
• 该结果被公开讨论为纳维–斯托克斯解/证明主张 @LearnOpenCV.

观点/解读

• “解决难题的最有效方法之一”是使用庞大的非结构化并行测试时间计算和自组织智能体——这是一种强有力的战略解释，仅凭推文中的证据尚未普遍证明@埃克奈特.
• “科学界正在经历'人工智能实际上不会编码'的崩溃时刻”是对社区心理学的评论，而非可验证的评估@theo.
• “我们确实处于高计算水平的环境中”是对行业方向的宏观框架@hrishioa.
• “88小时”、“领导力课程”和“委派1万名人工智能代理”的框架是讽刺，不应被解读为纪录细节@LearnOpenCV.
• 关于ChatGPT变慢是该实验引起的说法，这种说法是推测，没有证据支持@teortaxesTex.

不同视角

支持/乐观观点

• 最有力的支持观点是，这支持一种新的缩放定律：不仅仅是模型规模和训练计算，而是大规模并行、自组织的推理时间协作能够在前沿研究问题上解锁质的新能力@埃克奈特.
• 西奥的反应反映了另一种乐观解读：如果人工智能能实质性地为顶级数学问题做出贡献，那么对人工智能进行严肃技术工作的否定将更难以维持@theo.
• Hrishioa的“高计算体系”框架暗示了实验室和初创企业的战略后果：那些低估推理时间计算编排的人可能正针对错误的前沿进行规划@hrishioa.

怀疑/谨慎的观点

• 隐含的怀疑立场是数学性的：在定理陈述、完整证明和专家审核出现之前，称之为“解决方案”为时过早。这篇笑话帖子本身也承认了这一点，强调整个领域的接受尚未完成@LearnOpenCV.
• 另一个怀疑的目标是叙事压缩：“1万个代理解决了Navier–Stokes”可以掩盖其中多少是人工框架、过滤或验证造成的。推文未透露作者比例。
• 还有一个可重复性问题：没有人工物，独立研究者无法判断这一突破是稳健、挑选还是偶发。

中立/分析性观点

• 中立的解读是，即使证明失败，这一点依然值得注意。如果一个系统能够在如此重要的问题上生成数学上非平凡的候选路径，这本身就是一个有意义的能力里程碑。
• 另一种中立观点是分开科学真理来自系统创新.即使该定理主张不成立，多智能体强化学习+并行测试时间计算架构仍可能代表人工智能研究方法论的重要进展。
• 这场对话还揭示了人们对“能力”的认知发生了转变。辩论正从基准评分转向现实世界的认知劳动大规模分解.

为什么这在语境中很重要

这正好是前沿人工智能三大持续转变的交汇点。

• 从静态模型到代理系统：核心披露的要素不是单一的聊天机器人模型，而是庞大的协作代理群体@埃克奈特.
• 从训练时间尺度到推断时间尺度：对“非结构化并行测试时计算”的强调，直接契合了行业更广泛的转向，即在求解时间（Solve-time）投入计算，而不仅仅是预训练时间@埃克奈特.
• 从标杆剧场到域名索赔：Navier–Stokes在社会上具有可读性，而基准δ则无法做到这一点。触及千年问题的主张立刻拓宽了受众范围，并提高了认知层面的关注度。

为什么Navier–Stokes特别具有象征意义

• 千年问题作为文化上的简写，代表最艰难的正式智识工作。
• 这里的进展表明，人工智能系统不仅加快了已知的工作流程，还进入了那些正确性脆弱且声望过滤极为严格的领域。
• 话虽如此，数学异常严苛：与许多产品任务不同，没有“大致正确”的空间。这就是为什么外部验证主导话语。

如果该说法被证实，其影响

• 有力的证据分布式定理搜索作为一种严肃的研究范式。
• 形式方法工具的新压力，以吸收模型生成的证明候选工具。
• 人工智能与数学的投资可能会加速，尤其是在编排、验证器耦合和可扩展搜索方面。
• 关于 的更广泛更新测试时间计算以及多智能体强化学习超越编码代理和办公自动化。

即使该主张不完全成立，也有影响

• 它仍然宣传OpenAI的内部战略方向：将大规模代理协作作为核心能力领域。
• 它改变了人们对计算资源的投放以及实验室将采用何种演示来标志前沿进展的预期。
• 这可能会促使竞争对手披露类似系统，或急于推出“人工智能做科学”的竞争声明。

关于作者身份、披露以及谁有发言权的纷争

讨论的另一个主线是关于细节是否间接被揭示，谁有权透露，以及人们应从碎片中推断多少。

• 一条推文说“说实话，鲁恩看起来像是会遵守保密协议的人”，这反映了故事背后的社会层面：一些观察者预期更知名的内部人士或相关人物会保持沉默，而细节则是从他人那里拼凑出来的@jd_pressman.
• Theo的“AI实际上无法编程崩溃时刻”的帖子也起到了社交挑衅的作用，将批评者描绘成对能力更新的情绪反应，而非先与证明标准互动@theo.
• 这两条关于“OpenAI电影”图片和猜测出现者并非直接针对Navier–Stokes的说法，但它们反映了一种平行趋势，即便证据薄弱，也将内部OpenAI叙事与Greg Brockman、Ilya Sutskever、Jared Kaplan、Dario Amodei和Paul Christiano等知名人物相关联@willdepue,@jachiam0.在Navier–Stokes讨论的语境中，这种倾向很重要，因为人们很快就会把技术主张变成作者署名和内部剧情的问题。
• 这些玩笑和猜测帖子显示出前沿AI发布中常见的模式：官方细节稀少，形成一个空白，随后被表情包、听起来像泄露的片段、推断和夸大其词填补@LearnOpenCV,@teortaxesTex.

为什么作者身份/剧情问题在技术上很重要

• 对于数学主张来说，来源不仅仅是闲言碎语。它影响：
  • 提出了该猜想，
  • 谁选出了候选人 Lemmas，
  • 无论证明是机器生成还是机器辅助，
  • 信用分配的样子，
  • 专家们对这件神器的信任度。
• 在人工智能研究中，“多智能体解决了X”也模糊了标准的贡献概念。如果有成千上万的智能体并行搜索，那么：
  • 证明的“作者”是谁，
  • 编排团队的角色是什么？
  • 具体哪些内容应该被引用或复制？
• 当主张足够大，在有论文或证据出现之前就动摇公众信念时，保密协议和披露规范尤为重要。

其他新闻

Meta的Muse发布与个人代理安全架构

• Meta 推出了 Muse，面向消费者的“个人人工智能代理”定位为始终在线、应用连接、支持浏览器且目标导向，通过Meta属性和集成实现强大分发@finkd,@alexandr_wang,@MetaNewsroom.产品细节反复出现：持久隔离的Linux 虚拟机浏览器使用、WhatsApp/应用界面，以及连接Gmail、日历、Outlook、Plaid、OpenTable、Docs、Spotify、Peloton等服务的连接器，以及Instagram、Messenger、Facebook和市场的独特Metanative 连接器@alexandr_wang.
• 安全架构是被最强力推崇的差异化因素。Meta团队说每个缪斯都有自己的特色安全虚拟机，行为由另一个哨兵，秘密绝不会直接暴露给代理，敏感操作需要批准，并且存在公开昆虫悬赏最高30万美元 @shengjia_zhao,@alexandr_wang.还有明确的商业基础设施：Stripe 链接用于支付代理性付款保护/退款保证，加上入射购物支付积分@alexandr_wang.
• 从业者的早期反响尤为积极特别是关于许可、秘密管理和消费者效用方面。评论来自@matthuang,@signulll， 和@lilyjclifford暗示Muse可能是首批广泛易读的个人代理产品之一，满足条件背景与访问瓶颈是，而非原始模型智商。Meta还表示使用量超过了内部预测，因为10倍第一天@alexandr_wang.
• 模型与生态系统定位：Meta的缪斯火花 1.3很快被第三方工具如Cursor曝光@cursor_ai，而竞技场式基准定位则缪斯火花 1.3 Max在网页开发编码工作负载中，价格与性能竞争@arena.

OpenAI 的 Image 2.5 发布与 Astra 推广

• OpenAI 还发布了 ChatGPT 图片 2.5尽管部分被掩盖。该发布强调相比Images 2.0，延迟降低了最多50%、更好的真实感、更强的编辑一致性、基于评论的本地化更改、透明背景，以及新的小品引导生成工具@OpenAI,@ChatGPT,@sama.
• 引入了两种API变体:GPT-Image-2.5 Flare对于速度/质量和日蚀用于高精度的细致工作@reach_vb.竞技场成绩声明#1和#2位置跨越文本转图像、图像编辑和多图像编辑排行榜，尤其在多图像编辑方面有显著提升@arena.集成很快完成了波浪,希格斯菲尔德,剧本， 和赫尔墨斯特工 @fal,@higgsfield,@ManusAI,@Teknium.
• Astra的供应大幅扩大。OpenAI表示GPT-6 Astra现已全面推出至Plus、专业版、商务版和企业版Codex 和 ChatGPT 中的用户工作@OpenAI.社区演示展示了强大的实际计算机使用表现：@theo报告说Astra正在编译和运行任天堂明星大乱斗 近战macOS 版本120帧/秒大致之后6小时而瓦尔斯报告说，阿斯特拉几乎通过构建一个未发布的计算机使用评估来实现了饱和我的世界下界传送门在下面3小时没有专用背带@ValsAI.

代理安全带、培训后及服务基础设施

• Harvey + Baseten 的并购尽职调查工作是最清晰的模型-机束协同优化案例之一。他们的递归语言模型（RLM）利用使用根代理搜索数据室，委托给子代理进行文档审查，并在语料库中汇总发现，最高可达80M代币.关于合成体实验室勤勉基准测试，从标准工具循环转向RLM线束，提高了平均评分标准通过率23%对62%跨模型@harvey,@nikogrupen.
• 训练后在安全带内的体验至少和安全带本身一样重要。哈维报告了自蒸馏的SFTGLM-5.2提高通过率46%→60%， 虽然GRPO关于Qwen3.5-122B-A10B提升通过率30% → 63%关于保留房间和改进的文件覆盖62% → 96% @harvey.更广泛的含义，其他人也有类似的呼应，是代理基准越来越需要将编排和后训练视为模型系统的一部分，不是外胶。
• LangChain/deepagents为线束设计提供了生活质量的原语，包括子代理分叉这会把主管的上下文传递给子代理，而且管理连接抽象代理拥有或用户拥有身份的OAuth/令牌/同意流@colifran_,@hwchase17,@caspar_br.这表明堆栈在长期代理工作负载下逐渐成熟。

推理与系统：稀疏注意力、代理服务与解码巨核

• vLLM 的长上下文服务工作值得关注。该项目描述了混合HiSparse对于稀疏MLA模型：KV在可能的情况下保持在GPU上，则冷KV页面会卸载到主机内存，而热缓冲区则服务索引器。在GLM 5.3其中1M背景在一个8×H200节点，配置并发32，持续的平坦卸载5–6在混合HiSparse持续期间请求19–25 @vllm_project.这直接影响了强化学习推广与长上下文并发，其中VRAM绑定的解码会切断吞吐量。
• vLLM 还发布了适用于真实世界代理流量的全栈优化通行证，基准测试AgentX.关键结论：管道并行性有助于冷的长提示，但在温暖的短转折时则受损;解码上下文并行性高度依赖模型的注意力堆栈;以及会话粘性路由可以胜过简单的负载均衡，因为温热的KV缓存甚至比快速转动代理设置中的队列分配更重要@vllm_project.
• Cohere 推出了一个基于“解码巨内核”构建的开源服务栈，声称最高为1.58×比 vLLM 在北迷你代码以及1.25×–1.41×在较大批次中实现端到端的增益@cohere.结合 Baseten 的建议，Frontier RL 现在的部署会得到新保单权重在40秒内生效全局仅有 a6秒的停顿 @baseten，明显趋势是基础设施专门化于持续的培训后和推广更新，不是静态模型服务。

热门推文（按互动数）

• 人为辞职/安全警告雅各布·希尔顿辞去了Anthropic的工作，他认为Anthropic和OpenAI都在不负责任地追求自我提升的超级智能，而内部人士私下将灭绝风险视为真实存在@hilbertspaess随后有说法称现有系统可能很快入侵基础设施并迅速改变领域@hilbertspaess.
• OpenAI 的用户数据澄清OpenAI正式声明未访问Navier–Stokes的具体用户数据，并对可能存在去标识化的衍生改进提出警告，成为主要焦点@OpenAI.
• 认知融资：认知宣布了加薪20亿美元+，估值480亿美元，表示跑率收入增长于从4.92亿美元到近9亿美元自五月以来@cognition.
• Meta Muse 发布：马克·扎克伯格的发布文章缪斯是当时参与度最高的产品推文之一@finkd.

AI Reddit 回顾

/r/LocalLlama + /r/localLLM 回顾

1. 中国多模态人工智能发布：驱动与闪存API。

• Qwen/Qwen-Drive-1.0-4B ·拥抱脸（活动：549）：Qwen 发布Qwen/Qwen-Drive-1.0-4B，一款基于未变Qwen3.5 4B VLM的开放权重自动驾驶VLM，周围设有完整的BF16检查点9B以及额外planner-sft,planner-rl， 和perception模块。根据链接技术报告Qwen-Drive-1.0增加了外部BEV感知头，用于3D物体检测、语义占用预测和BEV地图分割，以及一个规划专家，用于未来自我轨迹生成，通过分阶段混合驾驶监督和通用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×加速并提升至~30%基准测试中的代币效率更高，尽管有编辑推测观察到的速度提升部分可能源于较低的贝塔并发，而非仅仅是架构问题。评论对DeepSeek/开放权重的进展持强烈积极态度，但唯一实质性争议是所谓的性能提升是真正的新架构，还是仅仅是测试期间API负载减轻。
  • 用户报告深搜闪电4.1似乎还在2.24x通过API测试更快，有人猜测观察到的加速可能来自于较低的并发负载而不是根本上全新的架构。其他评论也认为可能是多模态，尽管这在讨论中尚未得到确认。
  • 一个技术相关的说法是，一些用户看到的30%基准测试中的代币效率更高这或许能解释DeepSeek据称如果对可比输出所需的代币更少，会传递“更低成本”的信息。评论将此描述为依赖基准测试，尚未独立验证。
  • 关于发布节奏和迁移复杂度有一些讨论：用户提到尚未完全从迁移0731型号到更新视觉变体在下一个版本即将发布之前。这凸显了一个实际的API集成问题，即快速模型迭代可能超过下游评估、回归测试和部署工作流。