想象一个交响乐团。🎻🎺🥁
小提琴手练了二十年音准。大提琴手的揉弦无可挑剔。长笛的气息控制堪称完美。单簧管的音色让人起鸡皮疙瘩。
每个乐手都是顶级水平。但演出开始时,没有指挥家。
没有人决定什么时候该开始。没有人分配哪个声部先进入。没有人控制渐强和渐弱。没有人把所有声部编织成一首完整的曲子。
更可怕的是——没有人知道最后一个音符该在什么时候落下。
音乐会可能永远进行下去。因为每个乐手都只学会了"怎么演奏自己的乐器",但没有任何人学过"怎么让音乐停下来"。
这不是一个思想实验。这是 Chenchen Zhang 在2026年5月4日发布的论文所揭示的精确状态。📊
一、问题:我们在训练什么?[^1]
要理解这个盲区,首先需要理解多智能体系统(Multi-Agent System, MAS)[^2] 的工作方式。
传统的大语言模型是一个孤立的工具使用者。你问它一个问题,它生成一个答案。对话结束。🚪
但新一代的AI系统不是这样的。它们是协调工作的团队:
┌─────────────────────────────────────────────────────────┐
│ 多智能体系统拓扑 │
├─────────────────────────────────────────────────────────┤
│ │
│ ┌─────────────┐ ┌─────────────┐ │
│ │ Agent A │◄───────►│ Agent B │ │
│ │ (分析) │ 消息 │ (生成) │ │
│ └──────┬──────┘ └──────┬──────┘ │
│ │ │ │
│ ▼ ▼ │
│ ┌─────────────┐ ┌─────────────┐ │
│ │ 工具调用 │ │ 工具调用 │ │
│ │ (搜索API) │ │ (代码执行) │ │
│ └──────┬──────┘ └──────┬──────┘ │
│ │ │ │
│ └───────────┬───────────┘ │
│ ▼ │
│ ┌─────────────┐ │
│ │ 编排器(Orchestrator) │
│ │ ├─ 生成子智能体 (Spawn) │
│ │ ├─ 分配任务 (Delegate) │
│ │ ├─ 协调通信 (Communicate) │
│ │ ├─ 聚合结果 (Aggregate) │
│ │ └─ **决定停止 (Stop)** ← ??? │
│ └──────┬──────┘ │
│ ▼ │
│ [最终输出答案] │
│ │
└─────────────────────────────────────────────────────────┘
[^1]: 问题设定(Problem Setup):传统RL研究假设"如果每个agent都优化自己的表现,整个系统就会好"。但这个假设在真实的多智能体系统中几乎从不成立。就像一支乐队——每个乐手都是 virtuoso 并不意味着他们能自动演奏出协奏曲。
[^2]: 多智能体系统(Multi-Agent System, MAS):由多个自主智能体组成的计算系统,这些智能体通过交互协作完成复杂任务。在LLM时代,MAS通常由一个编排器(orchestrator)和多个专业子智能体组成,每个子智能体负责特定子任务。
二、方法:Orchestration Trace —— 一张"解剖图"[^3]
Zhang 的贡献不是发现了一个新的算法。他的贡献是提供了一张解剖图。
他提出了 orchestration trace(编排轨迹) 的概念:一个时间事件图,记录多智能体系统中发生的所有协调决策。
用这张解剖图,他把84篇论文逐一拆解。不是读摘要,而是问每一个精确的问题:
| 问题维度 | 具体问法 | 发现 |
|---|---|---|
| 奖励设计 | 这篇论文优化的是什么奖励? | 10种类型,差异巨大 |
| 信用分配 | 做对了该归功于谁? | 8个层级,从词元到团队 |
| 编排形式 | 智能体怎么组织? | 6种拓扑 |
| 应用场景 | 在什么任务上测试? | 7种场景 |
[^3]: Orchestration Trace(编排轨迹):Chenchen Zhang 提出的分析框架,将多智能体系统的协调决策建模为标准化的时间事件图。包含8种原子事件类型:spawn(生成)、delegate(委托)、communicate(通信)、tool_use(工具调用)、return(返回)、aggregate(聚合)、reward(奖励)、stop(停止)。这个框架的核心价值在于:它让"不可见的编排决策"变得可见和可度量。
这张解剖图的威力在于:它让盲区无处藏身。
当所有论文都被放在同一个坐标系下时,某些角落的空旷变得触目惊心。
三、发现一:奖励设计的结构性偏见 🎯
先看第一个技术轴:奖励设计(Reward Design)[^4]。
在多智能体系统中,"做对了"的定义并不简单。Zhang 从84篇论文中识别出 10种奖励类型:
奖励类型分布(84篇论文)
═══════════════════════════════════════════════════════════
hybrid ████████████████████████████████░░░░░░░░ 15篇 17.9%
shared ██████████████████████░░░░░░░░░░░░░░░░░░ 10篇 11.9%
orchestration ███████████████░░░░░░░░░░░░░░░░░░░░░░░░░ 7篇 8.3% ← 注意
individual ██████████░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~5篇
role ████████░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~4篇
process ██████░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~3篇
tool █████░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~2篇
debate ████░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~2篇
verifier ███░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░ ~1篇
NA ██████████████████░░░░░░░░░░░░░░░░░░░░░░ 36篇 42.9%
═══════════════════════════════════════════════════════════
[^4]: 奖励设计(Reward Design):强化学习的核心组成部分,定义了"什么是好的行为"。在多智能体系统中,奖励设计的困难在于"集体行动困境"——个体最优行为不一定导致集体最优结果。例如:每个agent都选择最保守的策略来保护自己,但整个系统因此变得低效。
关键数字:orchestration reward 仅7篇(8.3%)。
Orchestration reward 是什么?它不是奖励"agent A 做对了这道题",而是奖励"整个系统的协调效率"。
当 \(R_{orchestration} = 0\) 时,系统在优化局部效率,不优化全局协调。
84篇论文中有77篇(91.7%)把 \(R_{orchestration}\) 设为零。
这意味着什么?这意味着绝大多数研究者只关心"每个乐手弹得好不好",不关心"整首曲子听起来怎么样"。
四、发现二:信用分配的粒度断层 🧮
第二个技术轴更细:信用分配(Credit Assignment)[^5]。
当多智能体系统做对了,到底是谁的功劳?
Zhang 识别出 8个信用承载层级,形成一条从细到粗的频谱:
信用粒度频谱
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
细 ──────────────────────────────────────────────── 粗
token → turn → message → tool
(词元) (轮次) (消息) (工具)
│ │ │ │
▼ ▼ ▼ ▼
agent → role → orchestrator → team
(智能体) (角色) (编排器) (团队)
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
[^5]: 信用分配(Credit Assignment):在强化学习中,确定"成功应该归功于哪个决策"的过程。经典MARL方法(如IQL、QMIX)通常在agent级别做信用分配。但更细粒度的分配(如message级别)需要知道"哪条消息对最终结果产生了因果影响",这在当前架构中几乎是不可解的。
实际研究分布:
| 粒度 | 论文数 | 占比 |
|---|---|---|
agent |
23 | 27.4% |
role |
10 | 11.9% |
orchestrator |
8 | 9.5% |
message |
2 | 2.4% ⚠️ |
tool |
~1 | ~1.2% |
turn |
~1 | ~1.2% |
token |
0 | 0% |
team |
~2 | ~2.4% |
NA |
37 | 44.0% |
Message-level credit 仅2篇。
为什么这很重要?因为在多智能体系统中,消息是智能体之间唯一的沟通方式。如果不知道"哪条消息推动了进展,哪条消息是噪音",你就无法优化通信策略。
用数学表达,message-level credit 需要计算:
即:最终奖励 \(R\) 对第 \(i\) 条消息 \(msg_i\) 的偏导数。
但问题是,消息通常是离散符号(文本),不是连续可微的。这个消息→奖励的梯度在当前架构中几乎是断开的。
这就像一支乐队不知道"哪次眼神交流让合奏变得更好了"。你可以感觉到整体效果,但无法归因到具体的交互单元。
五、发现三:编排学习的五个子决策与"零号盲区" 🎛️
现在来到论文最核心的部分。
Zhang 把编排学习分解为 5个原子决策(O1-O5)。每个决策对应指挥家的一项核心技能:
| 决策 | 符号 | 指挥家技能 | 论文中有研究 |
|---|---|---|---|
| Spawn | O1 | 举棒,让某个声部进入 | ✅ 有 |
| Delegate | O2 | 指向某个声部,分配旋律 | ✅ 有 |
| Communicate | O3 | 手势控制各声部的音量平衡 | ✅ 有 |
| Aggregate | O4 | 把所有声部编织成完整结构 | ✅ 有 |
| Stop | O5 | 让最后一个音符落下 | ❌ 0篇 |
[^6]: 编排学习的五个子决策(O1-O5):Chenchen Zhang 提出的编排学习原子分解。Spawn(何时生成新智能体)、Delegate(委托给谁)、Communicate(如何通信)、Aggregate(如何聚合结果)、Stop(何时终止)。前四个决策在学术界有不同程度的研究,但Stop决策——即"何时收工"——在84篇论文中完全缺席。
注意 O5 那一行。0篇。
不是"很少"。不是"不够深入"。是零。
这是一个惊人的负结果。在科学研究中,"没有人做过X"往往比"有人做了X但效果不好"更有信息量。因为它揭示了一个隐形的共识——一个领域里的所有人都默认某个问题不重要,或者不需要研究。
但"停止决策"真的不重要吗?
让我们看看如果缺少 O5,系统会发生什么:
┌──────────────────────────────────────────────────────────┐
│ "停止盲区"的三种失效模式 │
├──────────────────────────────────────────────────────────┤
│ │
│ 模式A: 过早停止 (Premature Termination) │
│ ┌────────────────────────────────────────────────────┐ │
│ │ Agent A: "bug已定位。" │ │
│ │ 编排器: "好,输出结果。" ← 停止太早! │ │
│ │ [Agent B还没来得及验证修复方案] │ │
│ │ → 结果:修复不完整,问题恶化 │ │
│ └────────────────────────────────────────────────────┘ │
│ │
│ 模式B: 过晚停止 (Delayed Termination) │
│ ┌────────────────────────────────────────────────────┐ │
│ │ Agent A: "任务完成。" │ │
│ │ 编排器: "再检查一下..." │ │
│ │ Agent B: "已经检查过了。" │ │
│ │ 编排器: "那再优化一下格式..." │ │
│ │ Agent C: "格式也OK了。" │ │
│ │ 编排器: "再确认一遍..." ← 停不下来! │ │
│ │ → 结果:资源浪费,用户体验恶化 │ │
│ └────────────────────────────────────────────────────┘ │
│ │
│ 模式C: 永不停止 (Infinite Loop) │
│ ┌────────────────────────────────────────────────────┐ │
│ │ Agent A: "发现新edge case。" │ │
│ │ Agent B: "需要重新设计方案。" │ │
│ │ Agent C: "新方案又暴露了新case..." │ │
│ │ Agent A: "那再修一轮..." ← 循环! │ │
│ │ → 结果:token黑洞,计算资源无限消耗 │ │
│ └────────────────────────────────────────────────────┘ │
│ │
└──────────────────────────────────────────────────────────┘
这三种模式在当前的工业系统中都有名字:过度思考(overthinking)、循环依赖(circular dependency)、token 黑洞。但没有任何RL方法教系统如何避免它们。
当前的"解决方案"是硬编码启发式[^7]:固定最大轮数、简单置信度阈值、时间上限。这些不是学习出来的策略,而是人为设定的安全网。
[^7]: 启发式停止条件(Heuristic Stopping Conditions):当前多智能体系统使用的预设规则来决定何时终止工作流。常见类型包括:(1) 最大轮数限制(如"最多10轮对话");(2) 置信度阈值(如"当答案置信度>0.9时停止");(3) 时间/预算上限。这些规则的问题是:它们无法适应动态变化的复杂环境,常常要么太早停止(错过更好的方案),要么太晚停止(浪费资源)。
六、鸿沟:两个平行世界 🏭📚
Zhang 的论文还揭示了一个更深层的问题:学术界和工业界之间存在结构性鸿沟[^8]。
他系统连接了三个公开的工业多智能体系统:
| 系统 | 公司 | 拓扑 | 公开训练细节 |
|---|---|---|---|
| Kimi Agent Swarm | Moonshot AI | 集中式编排器 + 子智能体 | 🔒 几乎为零 |
| OpenAI Codex | OpenAI | 规划器-执行器-评论器 | 🔒 极少 |
| Anthropic Claude Code | Anthropic | 规划器-执行器-评论器 | 🔒 极少 |
[^8]: 规模鸿沟(Scale Gap):论文作者用来描述"公开报告的工业部署规模"与"开放学术评估体系"之间的结构性差异。这不是对工业训练轨迹的独立验证,而是指出:学术界在评估什么,和工业界在部署什么,是两个完全不同的世界。工业系统的训练方法、奖励设计、停止机制全部是黑箱。
这三个系统代表了当今最前沿的多智能体产品。但它们的内部训练方法——包括它们如何解决"停止决策"——几乎完全未知。
对比两个世界:
┌─────────────────────┐ ┌─────────────────────┐
│ 学术界 │ │ 工业界 │
├─────────────────────┤ ├─────────────────────┤
│ • 2-5个agent │ │ • 成百上千个agent │
│ • 10轮以内对话 │ │ • 动态扩展/收缩 │
│ • 单一标量奖励 │ │ • 复杂奖励组合 │
│ • 固定轮数停止 │ │ • 动态质量评估 │
│ • 玩具环境测试 │ │ • 真实用户场景 │
│ • 可复现、可发表 │ │ • 黑箱、商业机密 │
└─────────────────────┘ └─────────────────────┘
│ │
└─────────── 鸿沟 ─────────┘
论文中有这样一句话:
"The resulting scale gap is a gap between publicly reported deployment envelopes and open academic evaluation regimes, not independent verification of industrial training traces."
翻译:我们看到的差距,是"公开报告"和"开放评估"之间的差距——不是因为我们验证了工业系统的训练轨迹,而是因为我们根本没有机会验证。
七、推论:如果这个盲区不被填补 😰
如果我们不解决"停止决策"的RL训练问题,以下场景将在未来1-3年内发生:
场景一:过度生成 📄
一个科研agent集群被指派"阅读所有相关文献并生成综述"。由于没有学习过停止机制,它不断发现"还有一篇相关论文",最终导致输出无限膨胀。一篇本该10页的综述变成了1000页。
场景二:资源耗尽 💸
一个金融交易agent集群在检测到市场异常后继续"深入调查"。由于不知道"什么时候够了",它消耗了所有计算预算,错过了交易窗口。
场景三:对齐漂移 🌊
一个客服agent集群在处理用户投诉时,由于没有停止判断,不断"升级"问题严重性。一个小问题被层层放大,最终变成了企业公关危机。
[^9]: 对齐漂移(Alignment Drift):AI系统在运行过程中逐渐偏离其初始设计目标或价值观的现象。在多智能体系统中,漂移可以通过agent间的交互被放大和传播。当系统无法判断"什么时候该停止"时,它可能把简单任务不断复杂化,最终行为完全偏离用户意图。
这些不是科幻。它们是当前系统架构的必然结果。
八、解决路径:四个需要被填补的缺口 🔧
Zhang 的论文没有给出现成解决方案。但它标记了地图上的盲区。基于论文的分析,可以识别出四个需要被填补的缺口:
缺口一:为 O5 设计显式的RL目标函数
定义一个价值函数 \(V_{stop}(s_t)\),让编排器学会评估"当前状态 \(s_t\) 下,继续工作 vs 立即停止"的期望回报差异:
当 \(V_{stop}(s_t) > 0\) 时继续,当 \(V_{stop}(s_t) \leq 0\) 时停止。
缺口二:在 orchestration trace 中加入停止信号
记录"为什么在这个时候停止",让后续系统能够从历史数据中学习停止策略。这需要标准化的停止理由标注(如"信息完整"、"质量达标"、"预算耗尽")。
缺口三:建立跨学术-工业的验证标准
让学术界能够评估真实工业系统的编排质量。这需要工业界开放更多的训练轨迹和评估协议。
缺口四:开发 message-level 的信用分配方法
只有知道哪条消息是好是坏,才能优化通信策略。这需要新的梯度估计技术(如REINFORCE、Gumbel-Softmax)来处理离散消息空间的不可微问题。
九、为什么现在必须关心 ⏰
多智能体系统正在从"研究玩具"变成"工业基础设施"。
Kimi Agent Swarm、OpenAI Codex、Claude Code 只是第一批。在接下来的一年里,每个主要AI公司都会推出自己的多智能体平台。
如果我们不在现在解决"停止决策"的训练问题,这些平台将带着一个根本性的盲区进入生产环境。
84篇论文,0篇关于停止。
这不是一个可以忽视的脚注。
这是一个预警。
📚 论文详细信息
基本信息
| 项目 | 内容 |
|---|---|
| 标题 | Reinforcement Learning for LLM-based Multi-Agent Systems through Orchestration Traces |
| 作者 | Chenchen Zhang |
| arXiv ID | 2605.02801 |
| 发布日期 | 2026年5月4日 |
| 类别 | cs.CL (Computation and Language) |
| 开源仓库 | github.com/xxzcc/awesome-llm-mas-rl |
核心贡献
- 🔬 提出 orchestration trace 概念框架:将多智能体系统的协调决策建模为时间事件图,包含8种原子事件类型
- 📊 识别三个技术轴:奖励设计(10个类型)、信用分配(8个层级)、编排学习(5个子决策 O1-O5)
- 🚨 发现关键空白:84篇论文中,0篇涉及"停止决策"(O5)的显式RL训练方法;仅2篇涉及 message-level credit(2.4%);仅7篇涉及 orchestration reward(8.3%)
- 🏭 揭示学术-工业鸿沟:系统连接 Kimi Agent Swarm、OpenAI Codex、Anthropic Claude Code 的公开证据
- 📦 发布开源 artifact:84篇标注论文池、32条排除日志(共审核116篇)、JSON Schema for 可复现编排轨迹
论文池统计(84篇保留论文)
| 类别 | 数量 |
|---|---|
| RL methods | 42 |
| Benchmarks | 18 |
| Classical MARL foundations | 10 |
| Industrial systems and reports | 6 |
| Surveys | 5 |
| Frameworks | 3 |
关键稀疏信号
| 维度 | 高频项 | 稀疏项 |
|---|---|---|
| 奖励类型 | hybrid (15), shared (10) | orchestration (仅7) |
| 信用粒度 | agent (23), role (10) | message (仅2) |
| 编排拓扑 | centralized (18), hierarchical (13) | debate (8) |
六种编排拓扑
- 🎛️ Centralized orchestrator + sub-agents(集中式编排器)
- 🧠 Planner-executor-critic(规划器-执行器-评论器)
- 🗣️ Debate / committee(辩论/委员会)
- 🐝 Parallel swarm(并行集群)
- 🏗️ Hierarchical(层级式)
- 🔗 Harness(套索式)
概念注释索引
| 标记 | 概念 |
|---|---|
| [^1] | 问题设定 |
| [^2] | 多智能体系统(MAS) |
| [^3] | Orchestration Trace |
| [^4] | 奖励设计 |
| [^5] | 信用分配 |
| [^6] | 编排学习的五个子决策(O1-O5) |
| [^7] | 启发式停止条件 |
| [^8] | 规模鸿沟(Scale Gap) |
| [^9] | 对齐漂移(Alignment Drift) |
讨论回复
加载中...正在加载回复...
推荐
智谱 GLM-5 已上线
我正在智谱大模型开放平台 BigModel.cn 上打造 AI 应用,智谱新一代旗舰模型 GLM-5 已上线,在推理、代码、智能体综合能力达到开源模型 SOTA 水平。