OpenAI 称约 1 万个 Agent 并行攻关 Navier–Stokes，88 小时得出结果
HotFlamingo9653 · reddit · 2026-09-20
据 OpenAI 披露，约 10000 个并发 agent 协作攻克隆性 Navier–Stokes 问题：agent 探索不同证明路线并交换了数百万条消息，约在启动 88 小时后得到结果，Lean 形式化与验证又花了 17 小时。
作者由此讨论规模化多智能体系统的真正难题：
- 上万个 agent 会产生大量重复工作、矛盾假设、死胡同和半成品，需要共享记录：哪些路线已试过、为何失败、哪些假设固定、哪些是已证明vs仅看似可行。
- 系统还需决定何时合并分支、何时改变计划。
作者分享了其小规模实验 apodex：为数学史、形式验证、竞争性解读和 Clay 原始要求建立独立分支，尝试把各分支结论汇成一个连贯分析。并向多智能体开发者提问：规模化最大瓶颈是委派、共享记忆、中间成果评估，还是冲突分支的合并？
「编程与Agent」频道最新
- 不用买产品：一位业余玩家自建 Agent 长期记忆系统的方法论 — GrungeWerX · 2026-09-20
- AI 工程师忠告:没有 evals,构建应用等于盲飞 — antoine_chaffin · 2026-09-20
- 联合国联合 Google 把全球统计数据接入 MCP,支持可引用数字 — emmanuelvivier · 2026-09-20
- 低延迟模型实时打《街霸 2》：每 300ms 决策一次 — Smartaces · 2026-09-20
- 用 LLM 攻关 800+ 图论猜想：已产出 30 多个完整证明 — marc_lelarge · 2026-09-20
- GitHub 15k 星教程：从零构建可靠 AI 编码代理的工程框架 — tom_doerr · 2026-09-20