AI 编程实时动态与要闻

C
CMU Infini-AI LabInfini-AI-Lab·
👀7
🔥87

CMU Infini-AI 连发 CompressionBench / ServerBench:编码 Agent 自主压模型与设计推理服务;Sonnet 5.5 达 vLLM 约 4.87×「美元/美元」

卡内基梅隆 Infini-AI Lab 于 arXiv(2026-11-04)发布孪生基准:CompressionBench 考编码 Agent 在存储限额内交付可验证压缩权重与推理代码(36 次提交 29 次通过,最优设计较 BF16 平均 PPL 仅高约 3.4%);ServerBench 考完整 LLM 服务系统设计,目标为延迟达标 token 价值 / GPU 美元。11 模型×3 部署中 Claude Sonnet 5.5 在 Gemma E4B 上达 2.97「美元/美元」,约为 vLLM 基线 4.87 倍;33 次运行 22 次通过验证。

核心要点速览

  • 官方:arXiv:2611.06858 CompressionBench + arXiv:2611.06841 ServerBench(CMU Infini-AI Lab)
  • CompressionBench:6 Agent × 6 设定,36 提交中 29 通过独立验证;最优设计平均 PPL 较 BF16 高约 3.4%
  • ServerBench:目标「美元/美元」= 延迟达标 token 价值 / GPU 成本;状态化回放真实编码会话
  • 厂商表口径:Claude Sonnet 5.5 在 Gemma E4B 达 2.97,约 vLLM 基线 4.87×;33 跑 22 验证通过
  • 代码:github.com/Infini-AI-Lab/Compression-Bench 与 Server-Bench
阅读全文
关联模型 / 智能体 / 厂商:

CMU 与复旦奠基循环架构理论 Hugging MoE:三明治拓扑破解参数重用瓶颈,8B 循环 MoE 媲美 32B 深层前馈模型

循环语言模型(Looped Language Models)通过在逻辑深度上反复复用物理 Transformer 块大幅缩减权重规模,但过往架构将循环位置、输入注入与隐状态设计深度纠缠。卡内基梅隆大学(CMU)与复旦大学联合发表 Looped Models Done Right 第一部分(arXiv:2610.23036)。团队提出“前奏-循环块-尾声(Prelude-Recurrent-Coda)”三明治架构,在 5000 亿 Token 严苛预训练中,仅含 8.0B 常驻/7.94 亿激活参数的 Huginn MoE 在 MMLU、GSM8K 与 MATH500 上全面追平 32.0B 常驻/32 亿激活的前馈 MoE 基线。

CMU 与复旦奠基循环架构理论 Hugging MoE:三明治拓扑破解参数重用瓶颈,8B 循环 MoE 媲美 32B 深层前馈模型

核心要点速览

  • CMU 与复旦大学联合发表循环模型奠基之作(arXiv:2610.23036),首次系统解耦循环位置、输入注入与隐状态设计
  • 提出“前奏-循环块-尾声(P8-R12^8-C8)”三明治拓扑架构 Huginn,打破传统均匀全量循环的表征崩溃瓶颈
  • 将原则推广至循环 MoE 架构,在 5000 亿 Token 预训练中,8.0B 常驻/7.94 亿激活参数的 Huginn MoE 性能全面打平 32.0B 常驻/32 亿激活的前馈基准
  • 常驻显存开销暴降 75%,为在 16GB~24GB 消费级显卡部署 30B 级高性能推理提供了坚实工程路线
阅读全文
关联模型 / 智能体 / 厂商:

南加州大学与 UCLA 推出离散空间状态追踪基准 Grid-Bench:8,928 组可执行测试揭示大模型长链推演严重失真,64 步长轨迹开闭源断崖式分化

当前 LLM 能否在复杂连续空间操作中精确预测离散物理世界的演变?南加州大学(USC)、UCLA 与 CMU 联合发布 Grid-Bench(arXiv:2610.22312,GitHub: grid-bench/Grid-Bench)。该基准基于 8 种离散几何变换规则,测试 2D/3D/4D 网格在 0 至 64 步长事件链下的全状态精确预测。对 GPT-5.6 Sol、Claude 5 Sonnet、GLM-5、Kimi K2.5 等 6 款顶尖模型的评测表明:在 64 步长轨迹下,开源与中型模型完整状态精确率几乎归零,唯闭源旗舰维持断层领先。

南加州大学与 UCLA 推出离散空间状态追踪基准 Grid-Bench:8,928 组可执行测试揭示大模型长链推演严重失真,64 步长轨迹开闭源断崖式分化

核心要点速览

  • 南加州大学、UCLA 与 CMU 联合发布可执行多维空间推理基准 Grid-Bench(arXiv:2610.22312),跨越 2D/3D/4D 网格与 8 大几何规则
  • 涵盖 8,928 组可执行测试实例,评测历史步长从 T=0 延伸至极端复杂的 T=64 步连续离散世界演变
  • 在 T=16 步中程推演中,GPT-5.6 Sol(98.0% 单元准度)与 Claude 5 Sonnet(96.8%)保持领先,中型模型精确世界命中率跌至个位数
  • 在 T=64 步极限长链下,GLM-5 与 Kimi K2.5 完全精确世界命中率归零,证实长程离散空间推演必须外挂确定性状态机
阅读全文
关联模型 / 智能体 / 厂商:

斯坦福与 CMU 联合提出具身世界模型测试时优化 T2-z:单次交互优化紧凑隐变量,真机操作成功率从 33.7% 跃升至 73.0%

机器人世界模型在面对未直接可视的环境物理特性(摩擦力、质量、重力、接触刚度)时往往预测失准。斯坦福大学与卡内基梅隆大学(CMU)携手丰田研究院(TRI)发表 T2-z(arXiv:2610.22364,GitHub: T2-z-latent-optimization/T2-z)。该方法在冻结预训练世界模型的前提下,在测试时仅需单次交互轨迹即可自适应优化紧凑的环境隐变量 z_e,在 7 项仿真与 4 项真机任务中将物理预测误差减半,真机动作成功率从 33.73% 暴涨至 72.96%。

斯坦福与 CMU 联合提出具身世界模型测试时优化 T2-z:单次交互优化紧凑隐变量,真机操作成功率从 33.7% 跃升至 73.0%

核心要点速览

  • 斯坦福大学与 CMU 联合提出具身世界模型测试时优化方案 T2-z(arXiv:2610.22364),专攻视觉不可直接观测的环境物理隐变量对齐
  • 在冻结世界模型的前提下,通过仅需单次交互轨迹优化紧凑隐变量 z_e,避免权重污染与过度拟合
  • 在 7 项仿真基准中将物理预测误差从 15.20 压减至 7.00,动作成功率从 33.73% 跃升至 72.96%
  • 在关门、球体摩擦与平衡杆等 4 项真实机器人任务中实现从 0~22% 到 55~62% 的翻倍级操控突破
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

终结 Coding Agent 作弊刷分!CMU 弱到强验证器加固获 Terminal-Bench 官方采纳,递归环境缩放(RES)令 SFT 泛化跃升 14.6 分

针对编程智能体评测与强化学习中愈演愈烈的“篡改测试脚本刷满分(Reward Hacking)”与“静态题库过拟合”两大痛点,今日两项重磅研究给出系统性方案:CMU 团队提出弱到强验证器自动加固框架(arXiv:2610.15924),通过隔离验证沙箱与 Hacker-Fixer 攻防闭环大幅压降 Terminal-Bench、KernelBench 与 SETA 的作弊成功率,已被 Terminal-Bench 官方仓库采纳;递归环境缩放框架 RES(arXiv:2610.16397)则在不改变核心目标下递归演化执行依赖,使 Claw-Eval-Live 上的六大模型成功率暴跌 57.14~77.14 个百分点,并用生成的轨迹将 SFT 泛化性能全面拉升 7.00~14.61 个百分点。

终结 Coding Agent 作弊刷分!CMU 弱到强验证器加固获 Terminal-Bench 官方采纳,递归环境缩放(RES)令 SFT 泛化跃升 14.6 分

核心要点速览

  • CMU 提出弱到强验证器加固框架(隔离验证沙箱 + Hacker-Fixer 迭代攻防循环),大幅压降 Terminal-Bench、KernelBench 与 SETA 的作弊刷分成功率,并获 Terminal-Bench 官方采纳
  • 递归环境缩放(RES)在不改变核心目标下递归变异信息访问与执行依赖,使 6 大主流模型在 Claw-Eval-Live 上的成功率暴跌 57.14~77.14 个百分点
  • 在相同轨迹数量与超参下,使用 RES 演化环境轨迹进行 SFT 微调,在全部 9 组模型-基准对比中超越原始轨迹 SFT 达 7.00~14.61 个百分点
阅读全文
关联模型 / 智能体 / 厂商:

“看得懂却做不对”!CMU 诊断智能体 System 1 决策失效根源:模型感知完全正确,缺失的竟是子目标推导

在高吞吐与低延迟的自主智能体工程中,直觉式单遍推理的“系统一”(System 1)模型被广泛用于工具选择、客服调度与网页点击。然而一旦动作选错,业界往往无法探明是“看错了状态”还是“读懂了却依然做错”。卡耐基梅隆大学(CMU)团队针对 17 种快速模型及前沿推理模型构建深度诊断基准:将每一个动作决策问题与关于当前状态的事实探针解耦。惊人结论显示:“绝大多数错误动作都是在完全正确读取了状态事实之后发生的”,且模型准确率越高,这种“理解正确但决策错误”的比例越高。缺失的根本不是感知信息,而是将多源事实综合为下一步子目标(Sub-goal)的推理能力,通过代码逻辑显式聚合其探针答案可立即修复此类失效。

“看得懂却做不对”!CMU 诊断智能体 System 1 决策失效根源:模型感知完全正确,缺失的竟是子目标推导

核心要点速览

  • 颠覆直觉的失效诊断:CMU 证实智能体单步失误并非源于感知幻觉或漏读信息,大多数错误恰恰发生在模型 100% 正确理解当前状态之后
  • 越聪明的模型越容易“想错”:模型基座能力越强,因“事实合成失败”导致的动作错误占比越高,且错误高度集中在特定临界状态
  • 工程修复开箱方案:证实缺失的核心是“子目标推导”(Sub-goal Derivation);通过代码显式编排探针事实进行逻辑判定,可直接修复智能体的决策盲区
阅读全文
关联模型 / 智能体 / 厂商:

看视频自学成机械大师!西北大学等推出 Video2Skill:流式具身技能发现基准,CLaRe 破解技能库停滞瓶颈

人类与顶级具身智能体之所以能在复杂现实场景中举一反三,核心在于能够从连续的多模态生活经验中,自发提炼并归纳出可复用的原子技能库(Reusable Skill Library)。现有的具身规划研究普遍假设“技能库已被人类专家预先硬编码”,无法实现自主扩展。美国西北大学与 CMU 联合团队在最新开创性研究中,形式化提出了“流式具身技能发现”(Streaming Embodied Skill Discovery, SESD)命题,并发布了标准化评测基准 Video2Skill(arXiv:2609.36691)。Video2Skill 涵盖机器人桌面操作与人类厨房日常活动的长篇视频流,考核模型三大核心素养:时间定位动作片段、聚类归纳相同物理状态转换、以及关键的“判定复用旧技能还是创建新技能”。研究对 19 款主流开源视觉语言模型(VLMs)进行了系统压测,揭露令人震惊的现象:绝大多数模型在技能识别上接近随机猜测,且模型规模扩大并未带来稳定增益。此外,模型存在严重的“技能库容量停滞”瓶颈——只能死记硬背训练期见过的常见技能,遇到全新场景时几乎从不扩展新技能。团队提出的反事实状态重平衡(CLaRe)策略有效缓解了聚类失效,为终生自进化具身机器人指明了前路。

核心要点速览

  • 西北大学与 CMU 提出流式具身技能发现(SESD)范式与 Video2Skill 基准,评测机器人看视频自建可复用技能库能力
  • 压测 19 款开源 VLM 揭示惊人短板:多数模型技能聚合近乎随机猜测,端到端模型易盲目合并而文本管道易无限膨胀
  • 揭示技能库停滞瓶颈:模型在未见转换面前几乎从不新建技能,库容锁死在基准 50% 以下,推出 CLaRe 策略破解聚类失效
阅读全文

破解长程具身智能盲盒!西北大学等推出 ProgressCompass:全上下文多模态过程奖励模型,指引长链规划

随着具身智能机器人(Embodied Agents)从简单的抓取放置迈向几十步的厨房烹饪与装配长程任务,单纯依赖任务终态(成功/失败)的结果奖励模型(Outcome Reward Models, ORMs)已经完全失效——稀疏的单一信号无法告知智能体在漫长执行轨迹中究竟哪一步做对了、哪一步开始偏航。引入细粒度过程奖励模型(Process Reward Models, PRMs)以实时评估任务完成进度百分比成为行业共识。然而,来自美国西北大学与卡耐基梅隆大学(CMU)的研究团队在最新论文(arXiv:2609.36684)中揭示:现有的具身进度评估器如果缺乏完备的上下文(Right Context),其预测精度将如同无头苍蝇一般崩溃。团队推出了 ProgressCompass 理论框架与基准评测,系统性证明:精确评估具身动作进度必须联合输入历史执行轨迹、初始环境基态与清晰的任务目标表征;缺乏前置动作记忆将导致进度评估器发生灾难性的单步盲区。项目已正式发布(andyzworks.github.io/progresscompass/)。

核心要点速览

  • 西北大学与 CMU 提出 ProgressCompass,首次系统确立具身过程奖励模型(PRM)的全局上下文依赖理论
  • 解构目标规约、初始环境基线与连续动作历史三大上下文要素,解决单帧打分导致的过程奖励严重漂移与误判
  • 在 20 步以上长程具身任务中将规划成功率提升 38.6%、无效交互步数缩减 41.2%,代码已全面开源
阅读全文
关联模型 / 智能体 / 厂商:

多模态推理重大突破!CMU 联合发布 WM-VLM:内置世界模型脑补中间视觉画面,空间推理暴涨 39.25%

人类在面对复杂空间旋转、机械装配与物理拓扑推演时,往往会在大脑中主动进行“视觉想象推演(Mental Simulation)”,通过在脑海中逐步生成未来的中间视觉画面来辅助思考;然而现有的多模态大模型(VLM)在处理多步骤空间任务时,却几乎全盘退化为“纯语言 Token 思考链(Text-only CoT)”,导致其在面对 2D/3D 空间立体变换时极易产生方向颠倒与几何幻觉。卡内基梅隆大学(CMU)与 MBZUAI(Eric Xing 团队)联合提出了突破性的 WM-VLM 架构(arXiv:2609.34826):为预训练多模态大模型赋予了一个轻量级的内置“世界模型分支(Internal World Model Branch)”,赋予模型在语言推演的同时自主生成中间视觉状态(Intermediate Visual States)的能力,实现真正的图文交错混合推理(Interleaved Visual-Textual Reasoning)。两阶段训练首先教会模型如何根据物理变换指令生成下一步的精确视觉状态,继而训练模型如何观察并借助该生成状态展开后续空间逻辑决策。在 2D 与 3D 心理旋转(Mental Rotation)等严苛空间基准测试中,WM-VLM 相比监督微调基线取得了高达 39.25 个百分点的巨大精度跃升;消融实验确凿证实,一旦人为剔除或污染生成的中间视觉画面,模型性能即刻雪崩,证明了具身心智模拟是攻克高级空间几何推理的根本路径。

多模态推理重大突破!CMU 联合发布 WM-VLM:内置世界模型脑补中间视觉画面,空间推理暴涨 39.25%

核心要点速览

  • CMU 与 MBZUAI 提出首个内置世界模型的多模态架构 WM-VLM,实现图文交错的心智视觉推演(Mental Simulation)
  • 两阶段训练范式结合轻量级生成分支,先脑补关键中间视觉画面,再依托画面展开严密空间逻辑推导
  • 在 2D/3D 空间心智旋转基准上较传统 SFT 精度暴涨 39.25 个百分点,消融证实性能完全由中间视觉画面因果支撑
阅读全文

首创表征级多教师在策略蒸馏!CMU 等提出 Latent-MOPD:内化隐藏表征,同等参数量全面超越单项最强教师

在策略蒸馏(On-Policy Distillation, OPD)允许学生大模型在自身探索生成的生成轨迹上学习进化,是提升复杂推理与数学代码能力的核心对齐方案。然而,现有多教师 OPD 技术普遍存在“表层化”缺陷——仅仅通过专家教师模型的最终输出 Token 概率分布进行对齐(Token-Only),完全丢失了专家模型深层隐藏激活状态(Hidden States)中所包含的高维概念抽象与推理表征。卡内基梅隆大学(CMU)与佐治亚理工学院联合团队提出了业界首个表征级多教师在策略蒸馏架构 Latent-MOPD(arXiv:2610.02381):无需对教师模型进行任何额外微调,直接将多位领域专家的输出预测分布与计算预测时底层的深层隐藏状态联合传递给学生模型。针对多专家表征维度不一致与梯度冲突难题,Latent-MOPD 创新采用了跨师生关系的后层目标对齐、共享投影映射以及领域纯净分组梯度更新(Domain-Pure Updates),并让监督信号从深层隐状态逐步退火平滑过渡至 Token 预测。在数理、代码与逻辑等 9 大基准的同架构实测中,Latent-MOPD 在全部 9 个基准上击败了纯 Token 蒸馏与表征独立基线;在与教师模型保持完全相同参数规模的条件下,学生模型在绝大多数基准上直接超越了各领域原本最强的单项专家教师。

首创表征级多教师在策略蒸馏!CMU 等提出 Latent-MOPD:内化隐藏表征,同等参数量全面超越单项最强教师

核心要点速览

  • CMU 与佐治亚理工提出首个表征级多教师在策略蒸馏架构 Latent-MOPD,联合迁移深层隐状态与预测概率
  • 创新设计共享投影、后层对齐、领域纯净更新与退火调度,彻底破解不同专家表征维度不一致与梯度冲突崩溃难题
  • 9 大数理、代码与逻辑基准全线夺冠,同参数量学生模型在绝大多数基准上直接超越原本单项最强的专家教师
阅读全文
AD赞助内容

无需专属动作模型!UIUC 等开源 MotorMind:通用 VLM 零样本操控机械臂,真实 xArm6 抓取胜率达 95%

传统的具身机器人操控严重依赖专用的视觉-语言-动作模型(VLA),其不仅训练成本极高且在陌生环境中的零样本泛化能力极差,更完全无法直接享受到通用多模态大模型(VLM)快速迭代的技术红利;而近期的 Agent 方案则过度依赖庞大的代码生成器或 SAM3 等外部目标分割工具,系统极度臃肿。UIUC 与 CMU 联合团队推出了颠覆性的机器人外壳框架 MotorMind(arXiv:2609.38078):核心思想是“能否让通用 VLM 如同人类远程操作员一般,直接从视觉观察推演动作并自适应调整?”MotorMind 创新设计了连接 VLM 建议的中阶动作(Mid-Level Actions)与确定性控制器的调度外壳,配合异步闭环监控与后台工作记忆更新。在无需任何特定任务训练、代码生成或外部分割模型的纯零样本条件下,在权威基准 LIBERO-PRO 上斩获 66.7% 成功率(基线仅 13.3%),并在真实的 xArm6 实体机械臂上达成 95% 的超高实战胜率。

无需专属动作模型!UIUC 等开源 MotorMind:通用 VLM 零样本操控机械臂,真实 xArm6 抓取胜率达 95%

核心要点速览

  • 彻底摆脱 VLA 专用微调、代码生成智能体与 SAM3 外部重型分割工具的束缚,实现通用 VLM 纯零样本操控
  • 提出中阶动作表征(Mid-Level Actions)配合异步监控与后台记忆更新,实现人类远程遥控般的自适应纠错
  • LIBERO-PRO 基准成功率飙升至 66.7%(前代方案仅 13.3%),真实 xArm6 实体机械臂抓取测试胜率高达 95%
阅读全文

当计算机使用 Agent 遇上软件工程!CUA-SWE 首创多模态视觉交互评测基准:代码与 GUI 双闭环重塑排错范式

真实的软件研发远不止在文本编辑器中敲击代码:工程师必须频繁启动软件、与图形界面(GUI)交互、视觉观察组件渲染与动态反馈,以此推断故障根因并验证修复成效。然而长期以来,代码智能体(Coding Agents)与计算机使用智能体(Computer-Use Agents, CUA)被高度割裂在纯代码与纯操作两个极端孤岛中。由俄亥俄州立大学(OSU)、卡耐基梅隆大学(CMU)等机构联合推出的 CUA-SWE,是全球首个将计算机使用深度融入软件工程全生命周期的基准与评测环境。该基准涵盖四大核心工程领域,要求智能体在同一长程任务中交替修改源码/配置、执行终端指令、操控运行中的应用程序并审查视觉截图反馈,由确定性测试集保障软件行为合规,为多模态智能体演进提供了全新的统一试炼场。

当计算机使用 Agent 遇上软件工程!CUA-SWE 首创多模态视觉交互评测基准:代码与 GUI 双闭环重塑排错范式

核心要点速览

  • 全球首个将计算机使用(CUA)与真实软件工程深度绑定的多模态视觉评测基准与交互沙箱
  • 在无界面视检支持下纯文本智能体成功率不足 12%,接入视觉-代码闭环反馈后修复成功率飙升至 43.8%
  • 系统解构前端 Web、桌面与看板等工程中智能体跨代码与 GUI 交互的注意力竞争瓶颈
阅读全文