harness更新不等于harness收益:解耦自进化LLM智能体的进化能力 Harness Updating Is Not Harness Benefit: Disentangling Evolution Capabilities in Self-Evolving LLM Agents
自进化LLM的进化能力与基础能力解耦
前置知识
LLM智能体harness
LLM智能体的harness是围绕冻结模型的外部可编辑组件,包括提示词、技能、记忆和工具等,它们塑造智能体的任务执行方式但不改变模型参数。harness是智能体的非参数化上下文和基础设施,通过这些组件,智能体在任务执行中观察、推理、行动和从错误中恢复。例如,技能是可重用的程序知识模块,记忆存储历史观察和策略,工具暴露外部服务接口。harness工程是将这些组件作为一等设计对象来构建智能体的实践。
本文研究的是harness的自进化,即通过执行证据更新这些外部组件而不是更新模型权重,理解harness的概念是理解整个研究设置的前提。
自进化
自进化是指LLM智能体通过从执行证据中学习来自动改进其harness的过程。具体来说,智能体执行一系列任务,收集执行轨迹、输出、评分和反馈等证据,然后由进化器分析这些证据,识别重复失败和可重用模式,更新harness组件供未来任务使用。这与参数微调不同,模型权重保持固定,只有外部harness被修订。进化器本身通常也是一个LLM,负责将执行证据转化为harness更新
本文的核心研究对象就是harness自进化,理解自进化的机制和流程是理解本文提出的两个能力的基础。
基础能力
基础能力是指模型在初始harness下不进行自进化时的任务解决性能。在本文中,对于模型和任务集,基础能力定义为初始harness下的通过率,这是模型出厂设置下的能力,不考虑任何harness自进化的增益。不同模型的基础能力差异很大,例如Claude Opus 4.6在SWE-bench上达到百分之七十四点二,而Qwen3-32B只有百分之三点六。
本文的核心发现是关于进化能力与基础能力的关系,理解基础能力的定义和测量方式是理解这些关系的前提。
通过率
通过率是本文使用的主要评分指标,表示智能体成功完成任务的比例。对于不同基准,通过率的计算方式略有不同:SWE-bench Verified中,如果提交的补丁通过了指定的测试套件则算通过;MCP-Atlas中,如果智能体的最终答案满足所有参考声明则算通过;SkillsBench中,使用确定性验证器判断任务是否完成。通过率以百分比形式报告,进化增益用百分比点表示,即进化后通过率减去基础通过率。
本文所有实验结果都以通过率和增益的形式呈现,理解这个指标有助于理解实验结果的大小和意义。
研究动机
现有自进化LLM智能体的评估方法存在根本性缺陷,它们只测量端到端的性能提升,即一个更新程序与一个目标模型配对后的整体增益。这种端到端分数混淆了三个改进来源:智能体的基础能力、进化器的harness-updating能力和智能体的harness-benefit能力。例如,一个方法在某个基准上提升了百分之十,我们无法知道这是因为进化器写出了更好的技能,还是因为任务求解器更好地利用了这些技能,或者仅仅是任务求解器本身就很强。这种混淆导致两个关键实际问题无法回答:哪些模型能产生有用的harness更新?哪些模型最能从更新中受益?在实践中,这意味着研究人员和工程师可能把计算预算投入到错误的地方,例如用更强的模型做进化器,但进化器能力的提升可能并不能带来相应的下游性能改进。
本文的目标是本文的目标是将harness自进化分解为两个独立于基础能力的模型能力进行分析,并研究这两个能力与模型基础能力的关系。具体而言,本文要回答模型的harness-updating能力是否随基础能力单调变化?模型的harness-benefit能力是否随基础能力单调变化?如果这两个能力与基础能力的关系不是简单的正相关,那么它们表现出什么样的模式?这些模式对自进化系统的设计有什么实践指导意义?通过系统性地分析这些问题,本文旨在为harness自进化系统的能力预算分配和模型训练方向提供数据驱动的指导。
与已有工作不同的是,本文的独特切入角度是首次将harness自进化过程解耦为两个独立的能力维度,并系统性地研究它们与模型基础能力的关系。现有工作要么关注harness的表示形式,要么关注如何更新harness,但都没有将更新者的能力和使用者的能力分离开来分析。本文认识到,同一个模型在自进化中扮演两个不同的角色:作为进化器时产生harness更新,作为任务求解器时使用harness更新。这两个角色需要不同的能力。更重要的是,这两个能力可能并不简单地随着模型规模或基础能力的提升而提升。本文的创新在于系统性地验证了这些直觉,发现了harness-updating能力的平坦性和harness-benefit能力的非单调性,这两个发现挑战了越大的模型越适合自进化的朴素假设。
核心方法
本文的方法核心是设计了一个控制实验框架,将harness自进化分解为两个能力维度,并通过系统地改变任务求解智能体和进化器来分别测量这两个能力。直觉上,要分析哪个模型擅长写harness更新,就应该固定任务求解器,只改变进化器;要分析哪个模型擅长使用harness更新,就应该固定进化器,只改变任务求解器。通过这种控制变量的实验设计,本文可以独立地测量harness-updating能力和harness-benefit能力。具体而言,本文在三个代表性的智能体基准上,使用七个不同能力层级的LLM,构建了所有可能的任务求解器-进化器配对,然后分析性能数据来识别模式。技术路线上,本文首先形式化了harness自进化的协议,定义了智能体、harness状态、进化器和迭代循环的概念;然后定义了三个度量指标:基础能力、进化增益、成对进化增益;最后设计了实验来分离两个能力维度。
核心创新点是提出了两个独立于基础能力的进化能力定义,并设计了控制实验来分别测量它们。harness-updating能力的定义是进化器在固定的任务求解器集合上带来的平均增益;harness-benefit能力的定义是任务求解器在固定的进化器集合上能够获得的最大增益。这种定义方式的本质区别在于,测量的是写能力,测量的是用能力。通过使用平均值和最大值,这两个指标都尽量排除了基础能力的干扰。与已有方法相比,本文的创新在于不报告单一的端到端分数,而是将进化过程分解为两个独立的维度,这使得研究人员能够识别性能瓶颈到底在进化器侧还是任务求解器侧。另一个创新是使用了锚点集合来控制变量,这确保了比较的公平性。
方法步骤详情
本文的实验方法包含完整的三步流程。第一步是基准和数据准备:选择三个代表性的智能体基准(SWE-bench Verified用于软件工程,MCP-Atlas用于工具使用,SkillsBench用于技能执行),每个基准都有明确的任务集、评分方法和静态资源。SWE-bench包含五百个真实GitHub问题,每个任务提供代码库快照和问题描述;MCP-Atlas包含五百个跨三十六个MCP服务器的任务,需要协调三到六个工具调用;SkillsBench包含八十六个跨十一个领域的任务,提供工作区文件和确定性验证器。第二步是模型和配对配置:选择七个LLM作为骨干模型,包括Claude Opus 4.6、Sonnet 4.6、Haiku 4.5(闭源),Qwen3-235B、Qwen3-32B、Qwen3.5-9B(开源),GPT-OSS-120B(开源)。对于进化器侧分析,固定三个任务求解器作为锚点集合,让七个模型分别作为进化器;对于任务求解器侧分析,固定三个进化器作为锚点集合,让六个模型分别作为任务求解器。第三步是迭代执行和评分:对于每个任务求解器-进化器配对,在对应的基准上运行自进化协议。具体而言,从初始harness开始,每个步骤:任务求解器在任务批次上执行,收集执行轨迹和输出;进化器从证据产生harness更新并应用到得到;循环步得到最终harness。每个任务在harness更新前就被评分,确保分数不受该任务自己产生的更新的影响。最后,根据公式计算相关指标。
技术新颖性
本文的技术新颖性体现在多个方面。首先是评估方法的解耦性:首次将harness自进化分解为两个独立的能力维度并分别测量,这与现有工作的端到端评估形成鲜明对比。其次是实验设计的系统性:使用七个跨能力层级的模型和三个互补的基准,构建了完整的任务求解器-进化器配对矩阵,这种大规模的交叉实验在智能体进化研究中是罕见的。第三是度量指标的严谨性:使用平均值避免单点异常,使用最大值避免低估,两个指标都排除了基础能力的混淆。第四是诊断方法的深入性:不仅识别了弱层级模型增益低的表面现象,还通过skill-load rate和harness-following rate等指标,以及阶段级adherence分析,深入诊断了两种失败模式(激活失败和遵循失败)。最后是发现的有悖直觉性:harness-updating能力的平坦性挑战了越大越擅长写的假设,harness-benefit能力的非单调性挑战了越弱越需要帮助的假设,这些发现能够纠正社区对自进化系统的朴素认知。
实验结果
本文通过大规模实验揭示了两个系统性发现。第一,harness-updating能力在基础能力上是平坦的:当固定任务求解器并改变进化器时,不同能力层级的模型产生的harness更新带来的增益惊人地相似。在三个基准上,最好和最差进化器之间的差距最多只有三点一个百分点,SWE上Qwen3-235B领先八点二个百分点,但在MCP上落后只有零点六个百分点。更令人惊讶的是,最小的模型Qwen3.5-9B在SkillsBench上的增益(三点八个百分点)超过了Claude Opus 4.6(二点三个百分点)。通过案例研究发现,九B模型写出的技能在过程上与Opus的技能是同构的,编码相同的五个问题解决步骤,只在实现细节上有差异,但产生相同的下游通过率。这表明产生有用的harness更新可能不需要强大的基础能力,关键是编码正确的程序知识。第二,harness-benefit能力在基础能力上是非单调的:弱层级模型从更新的harness中获益很少,中层级模型获益最多,强层级模型比中层级获益少。在SWE上,Qwen3-235B获得十九点三个百分点的增益,而更弱的Qwen3-32B只获得四点四个百分点,更强的Opus 4.6只获得二点六个百分点。在MCP上,增益峰值移动到GPT-OSS-120B(七点零个百分点),低层级和高层级的增益都较低。强层级模型的低增益可以用天花板效应解释:它们已经解决了很多任务,没有太多改进空间。但弱层级模型的低增益不能用天花板效应解释(它们的基数很低,有最大的改进空间),本文诊断了两种失败模式:harness activation failure(技能加载率只有百分之二十五点一)和harness adherence failure(即使加载,遵循率也很低)。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| SWE-bench Verified(软件工程) | 通过率(百分比) | 基础能力:Qwen3-32B为百分之三点六,Qwen3-235B为百分之二十点七,GPT-OSS-120B为百分之二十六点二,Haiku 4.5为百分之六十六点零,Sonnet 4.6为百分之七十三点二,Opus 4.6为百分之七十四点二;harness-benefit增益:Qwen3-32B为四点四个百分点,Qwen3-235B为十九点三个百分点,GPT-OSS-120B为十五点八个百分点,Haiku 4.5为二点四个百分点,Sonnet 4.6为二点八个百分点,Opus 4.6为二点六个百分点 | 无进化基线如上;最佳进化器在各任务求解器上的harness-updating增益:Opus 4.6为七点四个百分点,Sonnet 4.6为七点四个百分点,Qwen3-235B为八点二个百分点,Qwen3-32B为七点八个百分点,Qwen3.5-9B为六点八个百分点,GPT-OSS-120B为五点九个百分点 | harness-benefit在Qwen3-235B上达到峰值十九点三个百分点,但两端都很低;harness-updating跨进化器差异很小(最大差三点一个百分点),表明harness-updating能力平坦 |
| MCP-Atlas(工具使用) | 通过率(百分比) | 基础能力:Qwen3-32B为百分之三点六,Qwen3-235B为百分之二十五点零,GPT-OSS-120B为百分之二十八点零,Haiku 4.5为百分之四十二点四,Sonnet 4.6为百分之五十四点零,Opus 4.6为百分之六十一点零;harness-benefit增益:Qwen3-32B为一点零个百分点,Qwen3-235B为四点三个百分点,GPT-OSS-120B为七点零个百分点,Haiku 4.5为三点六个百分点,Sonnet 4.6为三点二个百分点,Opus 4.6为三点六个百分点 | 无进化基线如上;最佳进化器在各任务求解器上的harness-updating增益:Opus 4.6为三点六个百分点,Sonnet 4.6为二点六个百分点,Qwen3-235B为零点六个百分点,Qwen3-32B为二点三个百分点,Qwen3.5-9B为一点零个百分点,GPT-OSS-120B为一点九个百分点 | harness-benefit在GPT-OSS-120B上达到峰值七点零个百分点;harness-updating跨进化器差异很小(最大差三点零个百分点),harness-updating能力平坦 |
| SkillsBench(技能执行) | 通过率(百分比) | 基础能力:Qwen3-32B为百分之零点零,Qwen3-235B为百分之四点七,GPT-OSS-120B为百分之零点零,Haiku 4.5为百分之五点八,Sonnet 4.6为百分之二十四点四,Opus 4.6为百分之二十五点六;harness-benefit增益:Qwen3-32B为五点八个百分点,Qwen3-235B为一点一个百分点,GPT-OSS-120B为七点零个百分点,Haiku 4.5为十五点一个百分点,Sonnet 4.6为三点五个百分点,Opus 4.6为五点八个百分点 | 无进化基线如上;最佳进化器在各任务求解器上的harness-updating增益:Opus 4.6为二点三个百分点,Sonnet 4.6为一点二个百分点,Qwen3-235B为一点五个百分点,Qwen3-32B为零点七个百分点,Qwen3.5-9B为三点八个百分点,GPT-OSS-120B为一点五个百分点 | harness-benefit在Haiku 4.5上达到峰值十五点一个百分点,但低基线区域噪声较大;harness-updating跨进化器差异很小(最大差三点一个百分点),Qwen3.5-9B表现最佳 |
局限与改进
本文存在几个局限性。作者承认模型集虽然具有代表性但不完全:包含了开源和闭源模型,跨越多个能力层级,但更广泛的模型网格(更多模型家族、不同训练配方、不同部署成本)能够进一步澄清harness-updating和harness-benefit如何随这些因素变化。此外,本文专注于harness自进化(模型权重固定,适配通过外部harness更新),没有评估参数微调、强化学习或混合适配方法(结合权重更新和harness更新)的效果。本文自己也观察到,SkillsBench在低基线区域的趋势噪声较大(Qwen3-32B和GPT-OSS-120B都从百分之零点零开始,但前者获得五点八个百分点增益,后者获得七点零个百分点),这表明harness-benefit的非单调性可能在某些任务域上更加复杂。从方法角度,本文使用的in-situ评估(任务流既驱动进化又作为评估集)虽然避免了信息泄露,但可能与真实世界的训练-测试分离场景有所不同。此外,本文的诊断依赖于LLM判断器来测量harness-following rate,这本身可能引入判断器偏差。最后,本文的实验主要关注短期的进化增益(单次进化循环),没有研究harness更新在长期任务流中的退化或累积效应。
独立分析的弱点
本文存在几个值得改进的弱点。首先,模型覆盖虽然跨越多个层级,但每个层级的模型数量有限(例如中等层级只有GPT-OSS-120B),这可能导致对某些趋势的估计不够稳健。理想情况下,应该在每个能力层级都有多个模型来区分能力层级效应和模型家族效应。其次,本文没有评估自进化的长期效应:harness更新在长期任务流中是否会退化?错误经验是否会累积并污染harness?这些问题的答案对实际部署至关重要。第三,本文专注于技能这一种harness组件,但不同组件(如提示词、记忆、工具)可能表现出不同的进化模式。例如,更新记忆可能更依赖于模型的理解能力,而更新工具可能更依赖于模型的推理能力。第四,本文的诊断集中在弱层级模型的两种失败模式,但没有深入分析中等层级模型为什么受益最多:是因为它们的指令遵循能力刚好足够使用harness,还是有其他因素?第五,实验使用的是固定的提示模板和进化预算,这些超参数的选择可能影响结果。最后,本文没有评估harness更新的质量维度,如可重用性、可维护性、安全性等,这些在实际部署中很重要。
未来方向
作者和本文发现提出了多个有价值的未来研究方向。基于本文发现的投资回报比分析,一个直接的方向是探索如何专门训练harness调用和长期指令遵循能力。既然弱层级模型的失败模式是激活失败(百分之二十五点一加载率)和遵循失败(执行过程中adherence从零点五二下降到零点一三),那么专门针对这些能力进行训练可能比单纯扩大模型规模更有效。另一个方向是研究harness进化的长期动态:harness更新如何随任务流演化?错误经验如何被识别和回滚?如何设计harness的垃圾回收机制?此外,可以扩展研究到其他harness组件:记忆更新的规律是什么?提示词进化的模式如何?工具发现的挑战在哪里?跨基准的对比也值得深入:为什么SWE和MCP上harness-benefit的非单调性更清晰,而SkillsBench上低基线区域噪声较大?这可能揭示了不同任务域对进化能力的要求不同。从方法论角度,可以探索更细粒度的能力测量:不只是这两个宏观指标,还可以测量harness可重用性、harness安全性、进化效率等维度。最后,随着强化学习在智能体中的应用增加,研究harness进化与参数优化的交互会很有价值:harness更新和权重更新应该如何协同?它们是否会互相干扰?
复现评估
本文的复现性评估如下。开源情况:作者在论文中声明代码公开可用(但没有给出具体链接),这表明实验细节应该可以被复现。数据方面:使用的三个基准(SWE-bench Verified、MCP-Atlas、SkillsBench)都是公开的,任务集和评分标准透明。模型方面:使用了闭源模型(Claude系列)和开源模型(Qwen系列、GPT-OSS),这意味着如果研究者想完全复现,需要访问这些模型的API或权重,这可能产生费用。算力方面:论文没有明确说明实验的总计算量,但考虑到七个模型乘以三个基准乘以多个任务求解器-进化器配对乘以迭代循环,总成本可能相当可观。实验复杂度:需要实现harness进化的完整协议,包括任务求解器-进化器循环、执行证据收集、harness更新应用、in-situ评分等,这需要一定的工程能力。难度评估:中等偏高。主要挑战在于搭建完整的进化框架、处理多模型的API调用、以及确保评估的正确性(如in-situ设置防止信息泄露)。不过,论文提供了详细的实验设置(附录)和完整的通过率矩阵,这为复现提供了良好的基础。
论文图表
这张图展示了harness自进化的整体架构。左侧是固定权重的LLM模型,周围是可编辑的外部harness组件(Memory、Tools、Prompts、Skills),中间是执行经验(Experiences)的收集,右侧是Evolver根据执行证据更新harness的过程。图示清楚地表明,在harness自进化中,模型权重保持不变(Frozen LLM),只有外部的harness组件被迭代更新(Harness Self-Evolution)。
这张图对理解论文的核心概念至关重要。它直观地展示了harness自进化与参数微调的区别:模型冻结,只有harness进化。这为整篇论文的研究设定奠定了基础,帮助读者理解为什么要研究harness-updating和harness-benefit这两个独立的能力。