OS-Symphony:面向鲁棒性和通用性的计算机使用智能体整体框架 OS-Symphony: A Holistic Framework for Robust and Generalist Computer-Using Agent
通过里程碑记忆+多模态搜索双创新,实现跨平台桌面智能体SOTA性能
前置知识
Computer-Using Agent (CUA)
计算机使用智能体是指能够通过视觉感知(截图)理解桌面环境状态,并自主执行鼠标点击、键盘输入等GUI操作来完成用户任务的AI系统。这类智能体通常基于视觉语言模型(VLM),将屏幕截图作为输入,输出具体的交互动作(如click、type、scroll),形成感知-决策-执行的闭环。CUA的核心挑战在于如何在长时间序列的任务中保持准确的状态理解和错误恢复能力。
本文提出的OS-Symphony就是一个CUA框架,理解CUA的基本范式是理解本文技术贡献的前提。
Reflection-Memory Agent (RMA)
反射记忆智能体是OS-Symphony的核心创新之一,负责管理长期记忆并生成轨迹级别的反思反馈。它通过里程碑驱动的策略选择性保存关键截图(而非所有历史截图),并利用结构化消息协议(On-track/Completed/Infeasible/Off-track四类状态)对执行轨迹进行审计。当检测到错误(如GUI操作失败、循环行为、意图漂移)时,RMA会生成具体的错误类型和解释,指导Orchestrator调整策略。
RMA是解决长时程任务中视觉上下文丢失和错误累积问题的关键机制,理解其工作原理对把握本文核心贡献至关重要。
SeeAct范式
SeeAct是一种将视觉感知与网页交互相结合的搜索范式。在OS-Symphony中,Multimodal Searcher采用SeeAct策略,在隔离的浏览器沙箱中自主导航网页、阅读教程内容,并将视觉信息与空间布局整合,最终合成结构化的分步教程。与传统文本RAG不同,SeeAct能够保留图像中的关键语义信息(如UI元素的视觉外观、位置关系),实现真正按需的、与当前执行状态对齐的知识检索。
SeeAct范式是解决分布外(OOD)任务泛化问题的核心技术路线,理解它有助于把握本文在知识检索方面的创新。
Context Folding(上下文折叠)
上下文折叠是一种管理智能体上下文窗口的范式,核心思想是将独立子任务委托给隔离的执行环境(如Searcher的浏览器沙箱、Coder的代码执行环境),避免详细执行轨迹污染主Orchestrator的上下文。执行完成后,只将精炼的摘要返回给Orchestrator,实现'折叠'效果。这种设计既保持了Orchestrator的逻辑连贯性,又避免了信息过载导致的推理能力下降。
Context Folding是OS-Symphony多智能体协作架构的设计原则,理解它有助于理解为什么框架采用当前的模块化设计。
里程碑驱动的长期记忆(Milestone-Driven Long-Term Memory)
里程碑驱动的长期记忆是一种选择性保存历史信息的机制。RMA通过里程碑评估(Milestone Evaluation)判断当前步骤是否为'里程碑'——即任务中具有重要意义的子目标完成点(如导航到目标网页、完成关键数据填充)。只有里程碑步骤的截图会被永久保存到长期记忆中,而普通步骤只保留文本摘要。这种策略在保留决策关键信息的同时,大幅减少了上下文窗口的占用。
这是RMA的核心设计思路,解决了传统方法中'保留所有截图导致上下文过长'vs.'只保留文本导致视觉信息丢失'的矛盾。
研究动机
当前计算机使用智能体框架在两个关键方面存在严重不足。第一,长时程任务的鲁棒性问题:现有框架虽然引入了记忆模块来支持长时间序列任务,但缺乏对历史视觉信息的细粒度管理能力。具体来说,如论文Figure 1(a)所示,短期记忆方法(保留最近K帧)会丢失关键历史信息,而长期记忆方法(保留所有帧)则导致上下文过载和冗余。这种粗放的上下文管理使得智能体难以识别潜在错误,如意图漂移(intent drift)或循环行为(cyclic behaviors),最终无法生成有意义的反思来改进后续规划。第二,分布外任务的泛化问题:如Figure 1(b)所示,现有RAG方法要么过度依赖纯文本信息(如Perplexica等搜索引擎),忽略了GUI场景中至关重要的视觉语义线索;要么依赖本地知识库,面临高昂的维护成本且难以适应新软件。这些方法在面对未见过的软件或操作场景时,无法实现鲁棒的泛化。
本文的目标是本文旨在提出一个整体性的CUA框架OS-Symphony,通过协调多个专门化智能体来同时解决长时程鲁棒性和领域泛化两大挑战。具体目标包括:(1) 设计一种里程碑驱动的记忆机制,实现对历史视觉上下文的细粒度管理和压缩,使智能体能够在长时程任务中进行轨迹级别的自我纠正;(2) 开发一种多模态搜索能力,使智能体能够像人类一样在浏览器中自主检索和合成教程,获取分布外任务所需的外部知识;(3) 在多个跨平台基准测试上建立新的SOTA性能,包括OSWorld、WindowsAgentArena和MacOSArena。
与已有工作不同的是,本文的独特切入角度在于同时关注'记忆管理'和'知识获取'两个维度的创新,并将它们整合到一个统一的多智能体协作框架中。与已有工作相比,OS-Symphony抓住了三个被忽视的关键点:(1) 现有记忆机制缺乏对视觉信息的细粒度控制——本文通过里程碑驱动策略实现了'选择性保留',只保存对决策真正关键的截图;(2) 现有RAG方法在GUI场景中丢失视觉信息——本文通过SeeAct范式的多模态搜索器实现了视觉对齐的教程检索;(3) 现有框架对反思机制的实现过于简单——本文设计了结构化消息协议(四类状态+四类错误类型),使反思反馈更加精确和可操作。这种'反思驱动的长期记忆+多模态外部知识检索'的双轨创新,构成了OS-Symphony区别于Agent S3、CoAct-1等已有框架的核心差异化优势。
核心方法
OS-Symphony的整体思路可以用'交响乐团'来类比:Orchestrator是指挥家,负责理解任务和协调各声部;Reflection-Memory Agent是乐谱记忆系统,记录关键乐段(里程碑)并检测演奏偏差;Tool Agents是各乐器声部,包括负责视觉定位的Grounder、负责代码执行的Coder、以及负责外部知识检索的Searcher。技术路线上,框架采用POMDP建模,将CUA的交互过程形式化为$(S, A, O, T, \mathcal{O})$元组。Orchestrator通过滑动窗口维护短期记忆$H_{short} = \{(o_j, t_j, a_j)\}_{j=i-K+1}^{i-1}$,结合RMA提供的反思反馈$R_i$和检索到的教程$T$,在每一步生成thought和action:$t_i, a_i = F_O(I, R_i, o_i, T, H_{short})$。RMA则维护里程碑驱动的长期记忆$H_{long} = \{(S_j, o_j, m_j)\}$,通过结构化审计协议生成轨迹级别的反思。这种设计实现了'短期精确执行+长期错误纠正+外部知识增强'的三层协同。
OS-Symphony的核心创新在于两个相互补充的设计:Reflection-Memory Agent和Multimodal Searcher。RMA的本质创新是'里程碑驱动的选择性视觉记忆+结构化反思协议'。与已有方法(如简单的Last-K文本摘要或多尺度记忆融合)不同,RMA不保留所有历史截图,而是通过里程碑评估$M_j$判断哪些步骤的截图对后续决策真正关键,只将这些里程碑截图永久保存到长期记忆中。同时,RMA采用四类状态(On-track/Completed/Infeasible/Off-track)和四类错误类型(GUI Error/Lack of Tutorial/Code Error/Other Error)的结构化消息协议,使反思反馈不仅指出'出错了',还能精确说明'出了什么错'和'应该怎么修'。Multimodal Searcher的本质创新是'视觉中心的按需搜索'。与传统RAG在任务执行前进行静态文本检索不同,Searcher采用SeeAct范式,在隔离的浏览器沙箱中自主导航网页,通过视觉感知(而非纯文本解析)来理解和合成教程。这种设计解决了两个核心问题:(1) 保留了GUI场景中关键的视觉语义信息;(2) 实现了真正的按需检索——只在执行过程中发现知识缺口时才触发搜索。
方法步骤详情
OS-Symphony的完整执行流程可分为以下几个步骤:(1) 任务接收与初始化:Orchestrator接收用户指令$I$和初始截图$o_0$,初始化短期记忆窗口(K步)和RMA的长期记忆。(2) 反思反馈获取:在每一步$i$,RMA首先对上一步的执行进行回顾分析,利用辅助VLM生成步骤摘要$S_i$和执行状态$s_i$(公式2),然后根据长期记忆$H_{long}$生成反思反馈$R_i$、里程碑标记$m_i$和潜在知识$k_i$(公式3)。(3) 决策生成:Orchestrator综合当前截图$o_i$、短期记忆$H_{short}$、反思反馈$R_i$和检索到的教程$T$,生成thought $t_i$和action $a_i$(公式1)。(4) 工具调用与执行:根据action类型,框架调用相应的Tool Agent——Grounder(General或OCR-based)进行UI元素定位,Coder执行代码任务,Searcher在浏览器沙箱中检索教程。(5) 搜索执行(若触发):Searcher在隔离的沙箱中采用$A_{search} = \{click, type, scroll\}$的紧凑动作空间,通过SeeAct范式自主导航网页,交叉验证多个信息源,最终合成结构化教程$T$返回给Orchestrator。(6) 里程碑评估与记忆更新:RMA判断当前步骤是否为里程碑,若是则将截图保存到长期记忆$H_{long}$,否则只保留文本摘要。(7) 循环迭代直至任务完成(done)或判定不可行(fail)。整个过程体现了Context Folding原则:Searcher和Coder在隔离环境中执行,只将精炼摘要返回给Orchestrator,避免上下文污染。
技术新颖性
OS-Symphony在技术新颖性上体现在多个层面。首先,在记忆管理方面,与OS-Copilot的多尺度记忆(短期工作记忆+长期程序记忆)和MGA的观察中心交互不同,OS-Symphony提出了里程碑驱动的选择性视觉记忆,通过二元里程碑标记$m_j$实现了对截图的细粒度筛选。这种设计的理论基础是:尽管截图信息密度高,但它们在时间维度上具有高度冗余性——大多数中间步骤的截图对后续决策价值有限。其次,在错误检测方面,框架设计了规则辅助的循环检测算法$D_{loop}(H, N) = \frac{1}{N-1}\sum_{k=T-2N}^{T-N}\prod_{j=0}^{N-1}M(k+j, T-N+j)$,结合感知哈希(pHash)和结构相似性指数(SSIM)的级联验证策略,在保持高精度的同时实现了实时性能。第三,在知识检索方面,Multimodal Searcher将传统的'检索-生成'范式升级为'视觉导航-内容合成'范式,搜索器在严格约束的动作空间内自主探索网页,只有在确认教程高度相关时才返回done,否则返回fail,避免了低质量信息污染Orchestrator的上下文。第四,在多智能体协作方面,框架将细粒度定位任务委托给Coder,缓解了对Grounder特定能力的依赖,这种解耦设计使得框架在不同grounding模型(UI-TARS-1.5-7B、GTA1-32B、ScaleCUA-32B等)上保持稳定的性能。
实验结果
OS-Symphony在三个主要基准测试上均建立了新的SOTA性能。在OSWorld上,框架使用GPT-5作为基础VLM,50步限制下达到63.61%,100步限制下达到65.84%,分别超越此前最佳方法GTA1 w/ GPT-5(63.41%)和Agent S3 w/ GPT-5(62.63%)。值得注意的是,在涉及跨应用交互的Workflow领域,OS-Symphony取得了更显著的增益,以57.98%的成绩超越Agent S3约7%,这主要归功于RMA在长时程任务中的错误纠正能力。在WindowsAgentArena上,OS-Symphony w/ GPT-5以63.5%的成绩大幅超越50步和100步的Agent S3基线(分别为54.1%和56.6%),增益达9.4%和6.9%。更令人印象深刻的是,GPT-5-Mini变体以62.2%的成绩超越了使用更强GPT-5的100步Agent S3(56.6%),展示了框架的成本效益优势。在MacOSArena上,OS-Symphony w/ GPT-5-Mini达到46.03%,而此前最佳方法仅为9.52%,相对提升达383%。消融实验表明,Multimodal Search在Daily领域带来22.1%的相对提升,RMA在Workflow领域带来约20%的相对提升。Pass@K分析显示,框架在Pass@2时(74.14%)即超越人类基线(72.4%),Pass@5时达到79.4%,表明框架具有很高的性能上限。成本分析显示,GPT-5-Mini变体仅比GPT-5版本低约3%的性能,但成本降低约80%,是极具性价比的选择。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| OSWorld (100步) | 成功率 | 65.84% | Agent S3 w/ GPT-5: 62.63% | ↑3.21% |
| OSWorld (50步) | 成功率 | 63.61% | GTA1 w/ GPT-5: 63.41% | ↑0.20% |
| WindowsAgentArena (50步) | 成功率 | 63.5% | Agent S3 w/ GPT-5 (100步): 56.6% | ↑6.9% |
| MacOSArena (50步) | 成功率 | 46.03% | UI-TARS-72B-DPO: 9.52% | ↑36.51% |
| OSWorld Pass@5 | 成功率 | 79.4% | 人类基线: 72.4% | ↑7.0% |
局限与改进
论文作者坦诚地指出了OS-Symphony的多项局限性。首先,环境泛化能力受限:当前评估严格限于桌面生态系统(Linux Ubuntu、Windows、MacOS),框架对移动平台(Android、iOS)的适应性尚未验证,因为移动界面需要完全不同的动作空间设计。其次,结构复杂性与效率问题:多智能体系统引入了固有的开销,尽管采用了错误累积缓解策略,但广泛的智能体交互导致高token消耗和显著延迟,执行速度比人类慢数十倍,目前无法实现实时部署。第三,实现层面的依赖:记忆机制依赖于现有的摘要范式,搜索模块可能被更强大的商业引擎(如Google AI Search)取代。作者还指出,从受控基准测试到真实世界部署需要严格的安全和隐私评估,因为视觉智能体能够'看到'屏幕上的敏感个人信息。此外,从我的独立观察来看,框架在视觉感知粒度方面存在明显不足——当前VLM往往无法解析细粒度的视觉线索(如高亮状态、重叠窗口),导致RMA产生误报错误。在某些视觉复杂的领域,移除RMA的基线反而优于完整框架,这说明感知精度的提升空间仍然很大。
独立分析的弱点
基于对论文的深入分析,我认为OS-Symphony存在以下几个值得关注的弱点。第一,视觉感知粒度不足导致RMA误报:论文实验数据显示,在视觉复杂的领域(如Office应用),w/o RMA基线有时优于完整框架,这说明当前VLM的视觉理解能力不足以支撑精确的里程碑评估和错误检测。改进方向包括:(1) 针对GUI场景的专门化VLM微调,提升对UI状态变化的敏感度;(2) 引入更精细的图像后处理技术,如局部区域放大、状态差分可视化等。第二,搜索效率与质量的权衡:虽然Multimodal Searcher在Daily领域带来显著提升,但搜索过程本身消耗大量token和步骤。在50步限制下,搜索调用次数有限(总计35次),且搜索失败时没有有效的降级策略。改进方向包括:(1) 预构建领域知识缓存,减少重复搜索;(2) 设计更智能的搜索触发策略,避免在已有足够知识时仍触发搜索。第三,Planner-Worker范式的信息瓶颈:Orchestrator通过文本描述向Grounder传达视觉目标(如'边界'、'位置'),这种文本抽象不可避免地损失信息。论文也承认这一问题,建议未来向端到端原生CUA或混合范式发展。第四,跨平台泛化的数据依赖:MacOSArena上部分基线方法表现极差(0%成功率),而OS-Symphony的提升主要来自框架层面的弥补而非模型本身的跨平台理解能力。真正的跨平台泛化需要在训练数据层面实现均衡覆盖。
未来方向
论文作者和基于本文成果可延伸的未来研究方向包括以下几个方面。第一,移动平台扩展:将OS-Symphony的框架设计适配到Android和iOS环境,这需要重新设计动作空间和grounding机制以适应触摸交互和移动UI特性。第二,动态推理机制:当前框架执行速度远慢于人类,未来可通过'快慢思考'机制(fast-slow reasoning)优化——简单任务使用轻量级推理路径,复杂任务才调用完整的多智能体协作流程。第三,混合CUA范式:论文指出Planner-Worker架构存在信息瓶颈,建议向集成原生CUA能力的混合范式发展,结合端到端训练的感知能力和模块化框架的灵活性。第四,安全对齐机制:随着CUA能力的提升,必须同步发展'Safety by Design'原则,确保智能体在开放数字环境中严格遵循人类伦理标准。第五,测试时缩放(Test-time Scaling):Pass@K实验表明框架具有高绩效上限,如何在部署时通过多次采样和结果聚合来提升稳定性(而非依赖单次执行)是重要的工程方向。第六,记忆机制的升级:当前RMA依赖固定的摘要范式,未来可探索基于强化学习的自适应记忆策略,根据任务复杂度动态调整记忆粒度和保留策略。
复现评估
从复现评估角度来看,OS-Symphony具有较好的可复现性。代码和项目页面已公开(GitHub: OS-Copilot/OS-Symphony),这为复现提供了基础。在数据方面,框架使用OSWorld-Verified(361个任务)、WindowsAgentArena(154个任务)和MacOSArena(63个任务)三个公开基准,数据获取无障碍。在算力需求方面,框架支持多种VLM配置:使用开源模型(如Qwen3-VL-32B-Instruct)时可完全本地部署,成本为零;使用GPT-5时,单次Workflow领域评估成本约$150;使用Claude-Sonnet-4.5时成本高达约$500。对于资源有限的研究者,GPT-5-Mini是极具性价比的选择——成本仅为GPT-5的约20%,性能差距仅3%。复现难度中等:框架的多智能体协作逻辑相对清晰,各模块(Orchestrator、RMA、Searcher、Coder、Grounder)的职责分工明确,论文提供了详细的Prompt设计(Prompt 1-4);但循环检测算法、里程碑评估等细节实现需要仔细对照论文附录。UI-TARS-1.5-7B作为grounding模型已开源,EasyOCR也是成熟的开源工具,不存在专有依赖。总体而言,具备VLM API访问权限和基本多智能体开发经验的研究者应该能够在1-2周内完成框架的复现。
论文图表
该图分为两部分:(a)展示了现有记忆机制的问题,包括短期记忆导致的视觉损失和长期记忆导致的冗余/过载;(b)展示了现有RAG方法的问题,包括离线方法的视觉损失和在线方法的噪声文本、转移失败、高成本更新等问题。
这张图直观地展示了本文要解决的两个核心挑战——记忆管理和知识检索的局限性,是理解整篇论文动机的关键。