千只 Agent 各配一台轻量虚拟机，协作形式化证明费马大定理
rakyll · x · 2026-11-10
- RLance Martin 分享了一项让 1000 个 Fable 5.2 agent 组队完成长周期任务的实验：团队在安全边界内通过协作，形式化证明了费马大定理（Lean 形式化数学）。
- 架构上每个 agent 拥有独立的轻量虚拟机 sandbox（1 lead + 999 helpers），通过 Gateway 调用模型 API，Git 仓库存放 Lean 文件与计划，Postgres 存任务与笔记。
- 作者的核心观察是：瓶颈已不在模型而在周边基础设施（sandbox、内存、CPU 等）——单台共享机器约 100 个 agent 就到极限，超过一半的 100-agent 运行因内存/磁盘/CPU 耗尽而中断；要支撑 100 万 agent 并发，需要全新的 infra。
所属事件:千个 Fable 5.2 智能体 30 小时形式化费马大定理(20 条相关)→
「编程与Agent」频道最新
- swyx：低成本加批评循环跑 agent，效果胜过一次性高投入 — alvelda · 2026-11-10
- 「AI 软件工程师」从来不是稳态：终局是自动化整个工程团队 — andreisavu · 2026-11-10
- 为 AI 而生的语言来了:Vork 与 Exact 去掉人类才需要的抽象 — ravisparikh · 2026-11-10
- 新版 ChatGPT/Codex 桌面端发送按钮损坏，用户从年度最爱转为弃用 — rudrank · 2026-11-10
- agent 用 pkill 有多烂?一句话吐槽引发共鸣 — generativist · 2026-11-10
- 产品负责人练习题：用 AI 让 PM 在每个生命周期阶段走得更深 — realmadhuguru · 2026-11-10