最难命题动用约 750 智能体,任务树长到 2418 个节点、10 层深
RLanceMartin · x · 2026-11-10
Lance Martin 继续披露千智能体证明费马大定理的协调细节：对证明中最大的单个命题，团队自发建起一棵跨约 750 个智能体的任务树；每当某个子问题对单个智能体太难，任务树就继续向下生长，最终达到 2418 个任务、最深 10 层。
这展示了多智能体系统面对困难子问题的动态分解能力：不靠外部规划，而是按需扩展任务层级。
所属事件:约 750 个智能体组任务树协作证明定理(2 条相关)→
「编程与Agent」频道最新
- GR00T 2 开放 WAM API:推理模型规划任务,机器人负责动手执行 — yukez · 2026-11-10
- Matt Shumer 操盘法：Fable 5.2 负责规划，Opus 5.5 负责执行 — mattshumer_ · 2026-11-10
- diagram-design 开源爆火:66k 星的 AI 编码 agent 图表设计技能库 — bfrench · 2026-11-10
- AI 让硬件设计提速，diode 主张「制造才是护城河」 — espricewright · 2026-11-10
- 用 Codex 为 ModRetro Chromatic 开发 Game Boy 复古掌机小游戏 — dkundel · 2026-11-10
- RL 环境训练出的开源模型跑 X 广告,效果胜一众前沿模型 — kimmonismus · 2026-11-10