跳转至

Cursor AI 蜂群:规划器+Worker 架构与多模型经济学的突破

Ch09.158 Cursor AI 蜂群:规划器+Worker 架构与多模型经济学的突破

📊 Level ⭐⭐ | 5.2KB | entities/cursor-ai-swarm-document-to-database.md

Cursor AI 蜂群:规划器+Worker 架构与多模型经济学的突破

深度分析

Cursor 研究团队在 2026 年 7 月发表了一项极具影响力的实验:仅凭一份 835 页的 SQLite 官方文档,不给源码、测试用例和网络权限,让 AI 智能体群用 Rust 从零重新实现 SQLite。结果验证了一套全新的多模型协作范式——规划器(Planner)负责拆解任务,Worker 智能体负责执行,在质量相当的前提下,成本差距可达 15 倍(最贵 $10,565 vs 最便宜 $1,339)。

树状结构:一个动脑子,一群人干活

系统的核心架构模拟了任务的天然树状结构:规划器智能体由最强的前沿模型(GPT-5.5、Grok 4.5、Opus 4.8、Fable 5)担任,负责将大目标拆解为小任务并分发;Worker 智能体使用更快更便宜的模型(如 Composer 2.5),专注执行具体工作。这种分工不仅实现了并行,更重要的是解决了单一智能体在长时间任务中「要么盯局部丢大局、要么抓大局忽略细节」的上下文管理难题。规划器不接触执行细节,Worker 不参与规划,各自上下文始终保持聚焦。

团队认为,这种结构真正的优势更多来自「省内存」的效果,而非单纯的并行加速。这个洞察与经济学家 Ronald Coase 的企业理论不谋而合——协调成本增长快于执行成本时,组织自然分化出边界清晰的单元。

每秒千次提交的工程挑战

为实现高效协作,团队自研了一套版本控制系统,吞吐量达到每秒 1000 次提交,远超早期版本(旧版一小时最多 1000 次)。高速并发带来了五个此前少有人遇到的新问题及对应解法:

  1. 脑裂式设计:两个互不知情的规划器各自实现同一概念 → 让规划器自己拍板设计决策,不往下委派
  2. 规划器互斗:围着同一文件反复修改 → 将决策写进共享设计文档,代码带可追溯引用
  3. 合并冲突:多个智能体同时改同一文件 → 中立第三方智能体专门解决冲突
  4. 超大文件:多人扎堆修改导致臃肿 → worker 可主动标记臃肿文件,冻结提交后拆分
  5. 僵化:智能体不敢改核心代码 → 允许引入破坏性改动并附注释,编译错误传导到各模块

多角度审查机制是质量保证的关键——没有单一审查角度能发现所有问题,但将几个互不相关的审查视角叠加(不同模型、不同训练、不同性格),效果显著。审查成本远低于被审查的工作本身,是长时运行任务维持高质量的重要手段。

迹象引导与 Field Guide

团队还引入了 Stigmergy(迹象引导)——让智能体通过改造环境来间接协同。实验中的 Field Guide 是一个完全由智能体自行编写和维护的共享上下文文件夹,每个智能体启动时自动加载。哪些内容值得写入由智能体自行判断,唯一的约束是行数预算。在模型权重冻结的前提下,真正值得记录的是那些「出乎意料」的情况,从而为后续智能体缩短弯路。

实验结果与成本分析

团队测试了四种模型组合,所有组合在新框架下均优于旧版。Opus 4.8 担任规划器、Composer 2.5 担任 worker 的组合最终得分 100%,仅用 4645 行引擎代码(旧版需 19013 行),花费仅 $1,339;而全程使用 GPT-5.5 花费 $10,565,两者质量相近但成本相差巨大。费用结构分析表明,worker 消耗了 69% 以上的 token,但规划器的高 token 单价才是主要支出源——Opus 4.8 仅产生很少 token 却占约三分之二花费。实验证明,大型任务中真正需要顶级智能的环节(初始分解、设计决策、权衡取舍)只占极少数,前沿规划器将不确定性收敛为详细指令后,廉价模型照做即可。

这一范式将 AI 工程中的抽象层级从「自动补全一行代码→整段代码→单个文件」提升到了「规格说明(Specification)」级别。正如编译器将源代码翻译为机器码,蜂群将意图解析为任务树并逐步细化。区别在于编译器的每一步确保语义不变,而蜂群的每一步是概率性的——这正是 Cursor HarnessCursor 训练方法论 在试图缩小的差距。

原文存档