RobotWorld:跨多样任务与机器人本体的多模态智能体机器人使用基准 RobotWorld: Benchmarking Multimodal Agents for Robot Use Across Diverse Tasks and Embodiments
84项仿真任务检验智能体把数字能力转化为可靠机器人执行的程度,最强模型成功率仅19.0%
前置知识
VLA 模型(Vision-Language-Action)
视觉-语言-动作模型,如 RT-2、OpenVLA、$\pi_0$,直接从相机图像与语言指令端到端地生成机器人动作,通常在大规模真机/仿真数据上训练。它们回答的是'给定感知如何直接输出动作',与本论文研究的'固定参数的通用智能体通过推理、写代码与工具调用完成机器人任务'是两条互补路线。论文在相关工作中用 VLA 及其变体 WAM(世界-动作模型)来定位自己的研究对象。
理解 VLA 才能明白本文的比较对象:RobotWorld 评测的智能体不做参数微调,而是靠提示、接口文档、程序与执行反馈行动;论文主张这条'推理+代码+反馈'路线与 VLA 研究的是相关但不同的能力。
Code as Policies / 代码控制
让大模型生成可执行控制程序(如 Python 循环内调用运动基元)而非逐步发出动作的范式,代表工作是 Code as Policies 与 VoxPoser。程序内部可在每个控制步读取传感器、更新动作,形成模型免调用的闭环;RobotWorld 的可选'代码控制'接口正是这一思想:一次调用内程序至多执行 $M$ 步,之后把控制权交还智能体重规划。
论文对控制接口的三分法(直接动作/代码控制/混合调用)以及 Table 1 与既有基准的对比全部围绕这一概念展开,是读懂实验设置与第 3.3 节的前提。
机器人本体与控制器辅助
本体(embodiment)指机器人的物理形态:固定基座机械臂、灵巧手/双手、移动操作臂、人形、四足、轮式与无人机。控制器辅助指环境内置的运动生成(如 RoboDojo 中的 cuRobo 运动规划)与底层伺服,把高层命令转化为电机指令。辅助多少直接决定智能体面对的控制问题难度。
论文反复强调'共享协议不等于等价的动作空间':不同任务的辅助程度被写进任务合同,是解释各模型在不同域上表现差异巨大(如空中 3/4 与运动 1/11)的背景知识。
LQR(线性二次调节器)
经典最优控制方法:对线性化动力学 $x_{t+1}=Ax_t+Bu_t$,求解使代价 $\sum_t (x_t^\top Q x_t + u_t^\top R u_t)$ 最小的状态反馈增益 $K$,控制律为 $u=-Kx$。论文第 6.1 节中,Opus 5.5 在无人机载荷悬停任务里离线推导 LQR 增益,再结合每步状态反馈执行稳定控制,最终满足全部稳定条件达 2.15 秒。
它是'智能体自己做动力学建模与控制综合'这一新兴能力的具体实例,也是论文论证'智能体能构造感知-计算-控制工作流'的核心证据之一。
可执行成功检查器
以仿真器状态与事件上的程序化谓词判定任务是否完成,而非对比参考动作序列或采信模型自评。论文归纳六族证据:位置朝向(如 $\Delta xy \le 0.20$ m、$\cos\Delta\psi \ge 0.98$)、物体状态(抽屉归一化开度 $\le 0.05$)、接触与运动(桌面接触且夹爪脱离)、持续性(稳定条件需同时保持 $\ge 2$ 秒)、事件与顺序(钢琴重复按键须先释放再按下)、路径与安全(倒车入库检查进入历史与越界)。
检查器是整个基准可信度的基石,也是论文批评'到达位姿≠任务完成'这一普遍错觉的工具;理解它才能理解失败案例分析与评测协议的全部设计。
研究动机
通用智能体在数字世界已经能开发软件、操作浏览器、完成多步知识工作,但'这些能力有多少能带进物理世界'仍缺乏系统答案。社区实验——机械臂控制、模拟灵巧抓苹果、实时机器人 rollout——既展示了前景,也暴露了精彩演示与实际执行速度、可靠性之间的落差;学界甚至开始争论'会做 pick-and-place 演示是否等于具备灵巧与动力学能力'。更具体的症结在评测侧:现有具身基准要么只覆盖操作或导航(CaP-X、EmbodiedBench、VLABench、EmbodiedEval、EmbodiedSWE-Bench),要么只支持单一控制接口——直接动作或代码控制二选一,没有基准支持同一 episode 内混合调用,也几乎没有把平衡恢复、驾驶、飞行这类超越操作的需求纳入统一测试床。结果是:我们既不知道前沿模型跨哪些机器人本体与物理需求能可靠行动,也无法定位它们的感知-推理-反馈循环究竟在哪一环失效。
本文的目标是本文要构建一个严格、系统的'机器人使用'(robot use)仿真测试床:研究智能体能否把指令和观测经机器人接口转化为物理任务执行。具体目标有三。一是汇聚 84 个任务(来自 20 个源项目),覆盖操作(38)、移动操作(20)、运动(11)、驾驶(11)、空中控制(4)五大域与七类本体,每个任务带显式接口文档、交互预算与可执行成功检查;二是在统一执行框架下评测 GPT-6 Astra、Claude Opus 5.5、Kimi K3、DeepSeek V4.1 Flash、Gemini 3.8 Flash 五个前沿多模态模型,每对模型-任务保留一个受评 episode(共 420 个);三是不止于聚合分数,而是把任务结果与执行轨迹关联起来,识别哪些能力可迁移、哪些缺口阻碍可靠完成——状态保持、错误恢复、时间协调、完成识别——从而为训练与智能体设计给出可度量的具体靶子。
与已有工作不同的是,本文的独特切入有三点。其一是控制接口的完整性:与既有基准不同(Table 1 显示 CaP-X 只有代码控制、EmbodiedBench 只有直接动作等),RobotWorld 同时支持直接动作、代码控制与混合调用——同一 episode 内可交替使用——并保留任务原生控制器,使'生成程序'与'发出命令'两条路线能在同一测试床上公平对比。其二是需求广度:把空间目标、受限接触、多子目标、持续稳定、定时交互五类控制需求,与操作之外的导航、平衡、驾驶、飞行任务一起纳入评测,其中操作与移动操作只占 69.0%。其三是评测哲学:成功由独立于智能体的可执行检查器在预算边界裁定('调用结束'与'自称完成'都不算数),且完整保留请求动作、已完成动作、检查器结果、错误与终止原因,使分析能从'成功与否'深入到'为什么失败'的机制层面,这是与只报告成功率的先前评测的本质区别。
核心方法
直觉上,RobotWorld 把每个异构仿真任务包装成一份统一的'任务合同',让多模态智能体在共享协议下交替做两件事:离线分析(图像检查、几何估计、动力学计算,此时物理暂停)与有界机器人执行(直接命令或生成的控制程序),并用返回的观测与执行反馈修正下一步。技术上,任务 $i$ 形式化为八元组 $T_i=(E_i,\rho_i,g_i,O_i,A_i,C_i,B_i,V_i)$:环境、初始条件、目标、观察接口、动作接口、控制器辅助、交互预算与评估器。交互第 $k$ 步,智能体基于目标、接口文档 $D_i$ 与允许的历史 $h_k$ 产生响应 $z_k\sim\pi_\theta(\cdot\mid g_i,D_i,h_k)$,可以是机器人调用、工作区计算或文本;episode 内模型参数固定。直接动作执行 $N$ 个控制步后交还控制权;可选代码控制运行程序 $\texttt{control}(obs, memory)$,每步读取新观测并选择动作、免模型调用,至多 $M$ 步;工作区工具只做分析、不推进物理。评估器沿独立的状态-事件路径判定结果,与智能体的交互路径解耦。
核心创新是'任务合同 + 结果-轨迹联合评测'。与先前基准只报聚合成功率不同,RobotWorld 为每个 episode 保留观测、请求与已完成的动作、检查器结果、错误与终止原因,使作者能把成败归因到具体执行机制——例如'到达命令位姿却丢失了物体状态''恢复到位但为时已晚''把未完成任务误判为已完成'。任务合同把感知/动作/控制器辅助差异显式化,防止统一协议掩盖不同的控制需求。成功检查器基于物理结果而非参考动作序列,六族证据(位置朝向、物体状态、接触运动、持续性、事件顺序、路径安全)把'模型自称完成'与'任务真完成'严格分开:例如倒立摆任务要求稳定条件在评估窗口内持续 1 秒,最终仅 0.565 秒的稳态也算失败;倒车入库的最终位姿正确也无法补偿路径越界。这种'以证据判定完成'的设计,是论文与所有先前具身评测在方法论上的本质区别。
方法步骤详情
第一步,任务构建:从 BEHAVIOR-1K、RoboCasa、RoboLab、RoboDojo、Bench2Dex、WheeledLab、OmniDrones、VolleyBots 等 20 个源项目选取场景与目标;当源环境只提供连续奖励时补写显式完成目标(如扰动后到达目的地、载荷稳定在规定界内),'活到时域结束'不等于完成;七种驾驶场景引入窄支撑、受限车位、移动门等约束。第二步,接口适配:适配器暴露允许的观测(相机、关节状态等)、文档化命令(单位、坐标系、绝对/增量)、控制器辅助与有界执行;评估器专用状态对智能体不可见。第三步,检查器验证:用正例、反例与边界夹具测试评分逻辑,再用场景探针、状态事件回放与轨迹视频核查物理可达性。第四步,评测执行:五个模型 × 84 任务各 1 个 episode(共 420 个),2026 年 9 月 30 日至 10 月 6 日采集;83 个任务的预算为 15 个连续非动作事件、总预算 30/60/120(排球 1v1 为 20/150),执行控制步会重置连续计数;观测历史含当前观测加每两轮采样至多 4 条历史;代码控制在主评测中默认关闭。第五步,判定与统计:成功在预算边界裁定(含回溯裁决),任务均衡成功率 $SR_{\mathcal{G}}(m)=\frac{1}{|\mathcal{G}|}\sum_{i\in\mathcal{G}}S_i(\xi_{i,m})$;同时记录墙钟时间、机器人请求数、全部工具调用、token 量与列表价成本估计。
技术新颖性
技术新颖性体现在四处。第一,混合控制接口:同一 episode 内直接动作($N$ 步有界段)与代码控制(至多 $M$ 步的生成程序)可交替,论文精确指出代码控制改变的是'程序收到反馈的频率'而非取消反馈——智能体仍在调用间重规划;这与 CaP-X(纯代码控制)、EmbodiedBench(纯直接动作)等单接口基准形成方法学对照。第二,跨本体与跨需求广度:7 类本体、5 大域,包含持续稳定与移动目标交互等 pick-and-place 之外的需求,并以五类需求标签统一刻画任务难度。第三,评估器与智能体解耦:判定使用智能体不可见的隐藏状态,持续性检查在评估器采样率上验证,从协议上杜绝'自我申报成功'。第四,机制级分析框架:通过匹配轨迹对比(如 8 个共同解决任务上的工具调用数与控制步数)分离'交互成本'与'物理执行成本'两个量纲,再按需求分组给出模型画像,把具身评测从分数榜推进到失败机制的诊断层面。
实验结果
总体成功率极低:GPT-6 Astra 完成 16/84(19.0%),Claude Opus 5.5 完成 13/84(15.5%),Kimi K3 完成 2/84(2.4%),DeepSeek V4.1 Flash 与 Gemini 3.8 Flash 各 1/84(1.2%);五个模型联合覆盖仅 21/84(25.0%),63 个任务无一解出。Astra 与 Opus 共同解决 8 题,Astra 另解 8 题、Opus 另解 5 题。分域看(Table 3):操作 Astra 9/38(23.7%)对 Opus 7/38(18.4%);移动操作 Astra 4/20(20.0%)、Kimi 1/20(抽屉关闭)、Opus 全零;运动域仅 Opus 解出四足推搡恢复(1/11);驾驶 Astra 与 Opus 各 2/11、Kimi 1/11(庭院驾驶);空中 Opus 3/4(75.0%)领先,Astra 与 DeepSeek 各 1/4。按需求分组(Figure 19):Astra 强于空间目标(13/45 对 6/45)与受限接触(6/41 对 1/41),Opus 强于持续平衡/跟踪(4/20 对 1/20)与定时交互(4/7 对 2/7)。资源上(Figure 10/11):Astra 中位用时 30.9 分钟、中位机器人请求 58 次,反低于 Opus(54.0 分钟/37 次)与 Kimi(67.6 分钟);估计成本 Astra $9,913(941M tokens)约为 Opus($2,916,1.63B tokens)的 3.4 倍,Kimi 消耗 2.00B tokens($624)却只解 2 题。机制案例(第 6 节):K3 关抽屉时缩短推程并以退出动作验证后取得原生成功;Astra 充电器插入在第 196 步相机旋转被拒后先重构闲置臂姿态再重试,第 323 步成功;Opus 用离线 LQR 加每步状态反馈把载荷悬停稳定 2.15 秒(要求 2 秒)。失败侧:K3 倒瓶后换臂尝试直到 400 步耗尽仍未恢复物体状态;K3 切菜 2000 步全部耗在导航清障、未发出任何切割指令;K3 清扫在第 861 步误判完成后只用 69 次空臂调用消耗余量;Astra 倒立摆最终稳态仅 0.565 秒(要求 1 秒)、人形乒乓球 3.58 秒跌落;DeepSeek 炉灶导航在第 345 步宣称无需移动后发出 105 步零速度指令。无人机杂耍中 Opus 维持 15 次有效击球(14 次达标、800 步)而 Astra 仅 3 次(1 次达标、188 步因球过低终止),两者每次调用中位都是 3 步;堆叠任务 Astra 635 步完成,Opus 313 步即耗尽辅助调用预算。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 整体 84 任务成功率 | 任务级成功率 | GPT-6 Astra 16/84(19.0%) | Claude Opus 5.5 13/84(15.5%);Kimi K3 2.4%;DeepSeek/Gemini 各 1.2% | Astra 领先 Opus 3 个任务(+3.6 个百分点) |
| 固定基座操作(38 任务) | 成功任务数 | Astra 9/38(23.7%) | Opus 5.5 7/38(18.4%);Kimi/DeepSeek 0;Gemini 1/38 | Astra 多解 2 任务,两者联合覆盖 11/38 |
| 移动操作(20 任务) | 成功任务数 | Astra 4/20(20.0%) | Opus 5.5 0/20;Kimi 1/20(5.0%);DeepSeek/Gemini 0 | Astra 与 Opus 差距最大:领先 4 任务,揭示聚合榜掩盖的分域分化 |
| 腿足运动/平衡(11 任务) | 成功任务数 | Opus 5.5 1/11(9.1%,四足推搡恢复) | Astra、Kimi、DeepSeek、Gemini 均 0/11 | Opus 是唯一在该域成功的模型 |
| 驾驶(11 任务) | 成功任务数 | Astra 2/11、Opus 5.5 2/11(各 18.2%) | Kimi 1/11(9.1%);DeepSeek/Gemini 0/11 | 仅庭院与发卡弯被解出,其余 9 个驾驶场景无模型通过 |
| 空中控制(4 任务) | 成功任务数 | Opus 5.5 3/4(75.0%) | Astra 1/4;DeepSeek 1/4;Kimi/Gemini 0/4 | Opus 领先 2 任务(每任务相当于 25 个百分点,样本极小) |
| 空间放置/导航类需求(45 任务) | 分组成功率 | Astra 13/45(28.9%) | Opus 5.5 6/45(13.3%) | Astra 成功率约为 Opus 2.2 倍 |
| 受限接触类需求(41 任务) | 分组成功率 | Astra 6/41(14.6%) | Opus 5.5 1/41(2.4%) | 差距最悬殊的分组(6 倍) |
| 持续平衡/跟踪类需求(20 任务) | 分组成功率 | Opus 5.5 4/20(20.0%) | Astra 1/20(5.0%) | Opus 在动态稳定类任务上反超 4 倍 |
| 定时交互类需求(7 任务) | 分组成功率 | Opus 5.5 4/7(57.1%) | Astra 2/7(28.6%) | Opus 领先 2 任务 |
| 8 个共同解决任务的交互成本 | 工具调用/控制步 | Astra 在 7/8 任务上工具调用更少、6/8 任务上控制步更少 | Opus 5.5(如堆叠 46 调用 vs Astra 23,物理步 268 vs 270) | 证明交互成本与物理成本是两个独立量纲 |
局限与改进
作者明确承认的局限:其一,仿真到真实的迁移仍是开放问题——推理时物理暂停移除了实时时序约束,真机部署还要面对推理延迟、传感器噪声与接触动力学误差,现有结论不保证在硬件上成立;其二,任务覆盖有限且不均,操作与移动操作合计占 69.0%,且相关任务继承自共享源项目,结果只刻画此测试床而非'所有机器人使用'的代表性分布;其三,公开的任务描述、代码或演示可能已进入模型训练数据,存在数据污染风险;其四,每个模型-任务对只保留一个 episode,报告的是本次评测的结果而非重复运行的方差;其五,参考控制器可使用额外状态且参考覆盖不完全,检查器验证不等于每个任务都物理可解。我的补充观察:任务级总预算是按 Astra 的交互记录校准的,而各模型中位机器人请求数相差 5 倍以上(58 对 11),预算设定可能系统性不利于交互模式不同的模型;五类需求标签存在重叠且按任务要求而非结果指派,只能做描述性画像,无法隔离视觉、编程或控制的组件能力;跨模型成本比较受不同列表价与缓存核算方式影响,token 总量不能当作统一的货币预算来解读。
独立分析的弱点
独立分析可指出以下弱点。第一,单 episode 评测的方差问题:排球 1v1、球类拦截等任务随机性强,一次运行的结果噪声大,改进方向是每任务多次初始化、报告成功率的均值与置信区间,或采用留一/自助法估计。第二,预算校准偏置:总预算按 Astra 记录校准,而 Opus、Gemini 的中位调用数分别只有 37 与 11,改进方向是报告成功率-预算曲线(多个预算档位)而非单点。第三,代码控制在主评测默认关闭:这限制了编码强模型的发挥,也与 EmbodiedSWE、CaP-X 关注的核心问题脱节,应补充开/关代码控制的消融实验。第四,需求画像的事后性:分组标签描述任务要求而非能力分解,要回答'是形态还是策略导致差异'需要受控配对设计——同一需求跨本体系统配对并控制辅助程度。第五,物理暂停让模型可用任意长的离线推理换取精度,回避了实时智能体的核心难题,应引入带延迟上界的实时模式或报告每决策延迟。第六,持续性检查依赖评估器采样率,快速瞬时违例可能漏检,可用更高采样率或事件级物理谓词加固检查器。
未来方向
作者提出的方向:一是靶向消融——系统性变化视觉观测访问、辅助计算与控制器辅助,检验'Astra 更擅长把视觉转为空间估计与动作、Opus 更常通过程序表达几何/物理关系以辅助预测与时机'这一假设;二是实时闭环与真机评测,确认哪些能力能在推理延迟、噪声与动力学差异下存活,以及哪里需要更快的反馈或更强的控制支持;三是构建全新任务、变化初始条件并扩展本体,把可复用的物理能力与任务特定的成功区分开。基于本文成果可延伸的方向:把四个失效层面(状态保持、行动修正、时间协调、完成识别)转化为可优化的训练目标,例如训练完成判别器或过程奖励模型、构造带恢复标注的轨迹数据集;把 63 个无模型可解的任务作为困难集推动能力边界;利用'共同解决任务上交互成本近 2 倍差距'的现象研究高效工具使用的蒸馏与压缩;以及把检查器六族证据改造成可微或 VLM 驱动的自动评估器,降低新任务的检查器开发成本。
复现评估
复现条件较好:论文提供项目页与开源代码链接,任务全部构建于 20 个公开源项目(BEHAVIOR-1K、RoboCasa、RoboLab、RoboDojo、Bench2Dex、WheeledLab、OmniDrones、VolleyBots 等)之上,任务级检查器阈值随基准规范保留,附录 B–E 给出工具清单、系统/开发者提示词、资源分布数值、全部 420 个结果及代表性成功轨迹解析。算力门槛主要在 API 成本:五个前沿模型合计约 1.36 万美元列表价、累计约 423 小时的仿真+等待时间,对学术实验室不便宜,但框架本身可在开源或低成本模型上以较小预算复跑;真正的工程量在于把 20 个异构仿真器统一到共享协议并逐一验证检查器。主要不确定点:单 episode 设计意味着复现者需自行追加重复运行预算才能得到统计可靠的结论;部分任务依赖源项目的控制器辅助(如 cuRobo 运动规划),上游版本更新可能造成行为漂移。总体属于'概念清晰、工程量大、中等难度'的复现。
论文图表
框架总览图:多模态智能体在'观察-推理计算-行动-反馈'闭环中跨六类任务(灵巧操作、家庭操作、人形搬运、四足运动、驾驶泊车、空中控制)行动;下方三条分析线索依次为新兴能力(图像分割、几何标定、动力学建模、控制程序)、失败机制(到达位姿≠任务完成)与模型间差异(同一任务套件上的策略与失败模式对比)。
一图概括基准设计意图与三条研究问题(能力、失败、差异),是理解论文叙事结构最佳的入口图。