AI 编程实时动态与要闻

终端智能体递归自进化!Terminal-RSI 交替轨迹自重写与 Critic 继承策略精炼:Terminal-Bench 2.1 狂飙至 86.52%

终端智能体(Terminal Agents)在长程命令行交互中常难以将局部进展转化为最终任务通关。腾讯 AI Lab 与新加坡国立大学联合提出 Terminal-RSI,通过交替执行已验证轨迹的递归自重写(RSR)与继承 Critic 状态的递归策略精炼(RPR),结合跨轮次跳过观测的 TB-GAE 优势估计,基于 Qwen3.8-27B 历经五阶段演化后在 Terminal-Bench 2.1 斩获 86.52%、Hard 达 79.00%,LHTB 严格通关数从 0/46 跃升至 5/46。

终端智能体递归自进化!Terminal-RSI 交替轨迹自重写与 Critic 继承策略精炼:Terminal-Bench 2.1 狂飙至 86.52%

核心要点速览

  • 五阶段递归交替演进:交替执行轨迹递归自重写(RSR)与继承 Critic 的递归策略精炼(RPR),在 Qwen3.8-27B 上实现多轮能力跃升
  • 首创 TB-GAE 跨轮次优势估计:跳过冗长终端日志观测 Token 仅在交互轮次边界施加衰减,精准解决长链路信用分配稀释难题
  • Terminal-Bench 全系刷榜:Terminal-Bench 2.1 达 86.52%、Hard 达 79.00%,LHTB 严格通关从 0/46 突破至 5/46
阅读全文

微软与斯坦福发布 AutoEnvScaling:终端 Agent 自动构建 RL 环境,效率狂飙 25 倍迈向 RSI 自进化

微软研究院(MSR)与斯坦福大学联合发布 AutoEnvScaling,首次将强化学习交互环境的设计本身转化为终端任务,利用提案智能体(Proposer)与求解智能体(Solver)的协同构建自动化数据飞轮。相比纯 Prompt 生成,环境有效率暴增高达 25 倍,单环境构建成本降低 75%。更关键的是,让单一模型(Qwen3.6-35B-A3B)同时扮演设计者与求解者,实现递归自我提升(RSI),在 Terminal-Bench 2.1 提升 12.2 分,Terminal-Bench 4.0 跑分翻倍。

微软与斯坦福发布 AutoEnvScaling:终端 Agent 自动构建 RL 环境,效率狂飙 25 倍迈向 RSI 自进化

核心要点速览

  • 环境设计终端化:首次将强化学习环境的合成从人工编写转化为终端自动化任务,有效环境生成率提升 25 倍且单环境成本降低 75%
  • 解锁真正的递归自我提升(RSI):单一模型同时扮演环境提出者与任务求解者角色,自驱动共同进化,无需人工干预即可打破数据瓶颈
  • 跨领域通用泛化:在 Qwen3.6-35B-A3B 上实现 Terminal-Bench 2.1 大涨 12.2 分、Terminal-Bench 4.0 翻倍,并广泛扩展至 GPU 内核编程与系统运维
阅读全文

攻克终端智能长程盲区!自动化数据合成引擎 TerminalHorizon 发布:27B 模型在 Terminal-Bench 2.0 斩获 55.8%

随着自主软件工程智能体与命令行运维 Agent 从执行单条命令走向长程自主交付,缺乏高质量、真实多轮交互的终端训练数据成为了制约基座模型进化的首要瓶颈。中国科学技术大学、高德地图(阿里巴巴集团)与南方科技大学联合研究团队在最新成果(arXiv:2610.13166)中正式推出了全自动终端数据合成引擎 TerminalHorizon。针对传统短程轨迹过度简化工程上下文、预设环境提前解题等致命缺陷,TerminalHorizon 始于真实专业工作流,通过独立执行闭环自动捕获被遗漏的核心操作步,基于探索证据动态重建环境,并沿统一长程目标将任务逐级扩展为多阶段有机需求。团队以此构建了 1.5K 个复杂任务环境与 2,852 条平均交互轮次达 52.8 步的高质量长程轨迹。基于 Qwen3.5-27B 监督微调得到的 TerminalHorizon-27B 模型在权威基准 Terminal-Bench 2.0 上斩获 55.8% 的高分,较原基座暴涨 14.2 个百分点,以极小训练规模击败此前主流模型,横扫涉及 Coding Agent、生产级运维及通用推理的 12 项评测,项目代码与数据集已全面公开。

攻克终端智能长程盲区!自动化数据合成引擎 TerminalHorizon 发布:27B 模型在 Terminal-Bench 2.0 斩获 55.8%

核心要点速览

  • 自动化终端数据合成引擎 TerminalHorizon 发布,构建 1.5K 真实任务环境与 2,852 条平均 52.8 步的高质量长程轨迹
  • 基于 Qwen3.5-27B 微调的 TerminalHorizon-27B 在 Terminal-Bench 2.0 斩获 55.8%,较原基座激增 14.2 个百分点
  • 以极小数据规模超越十万级样本竞品,横扫 Coding Agent、生产级运维及通用推理等 12 项评测,数据集全面开源
阅读全文
关联模型 / 智能体 / 厂商:

终端智能体环境无监督扩增!清华等提出 SWR:从科学工作流逆向重构,Terminal-Bench 跑分暴涨至 53.56%

随着终端智能体(Terminal Agents)从常规软件开发向生物信息、量子化学及天体物理等复杂科学垂直领域纵深渗透,如何构建高保真且具备确定性验证能力的训练环境成为了业界最大的工程死穴。传统手工编写特定领域任务与断言不仅成本高昂,且规则极难复用。来自清华大学与腾讯的研究团队提出了革命性的自监督框架 SWR(Software-in-the-Loop Reconstruction,arXiv:2610.02710):直接利用工业界与科研界成熟现存的软件工作流(Executable Software Workflows)作为真实真值源,通过自动化输入配置扰动将测试集切分为公开观测与隐藏评测。智能体在仅看到输入模式与部分输入输出对的黑盒条件下,自主逆向重构出全功能可编辑脚本程序;再由多级层级验证器(结合语义断言、结构合法性与防捷径反作弊检查)在隐藏配置上进行绝对真值校验。团队在跨越 6 大科学领域的 500 个真实工作流与 46 个知名软件家族上落地 SWR,采集并清洗了 1,422 条高难度通关轨迹(扩增至 3,000 条训练集)。微调 Qwen3.8-27B 后,模型在权威基准 Terminal-Bench 2 上的平均得分由 47.94% 飙升至 53.56%,在全部对比对照组中全面斩获第一。

终端智能体环境无监督扩增!清华等提出 SWR:从科学工作流逆向重构,Terminal-Bench 跑分暴涨至 53.56%

核心要点速览

  • 提出 SWR 框架,直接利用科研领域现存成熟软件工作流无监督扩增终端智能体训练与评测沙箱
  • 通过输入扰动划分解耦黑盒重构与隐藏验证,层级验证器结合 AST 静态分析坚决阻断任何偷懒捷径
  • 微调 Qwen3.8-27B 驱动权威基准 Terminal-Bench 2 跑分从 47.94% 暴涨至 53.56%,全面超越所有对照基线
阅读全文
AD赞助内容

终端智能体迎来新范式!Mid-Harness 开源:模型与测试环境边界动作缩放,Pass@1 从 50% 跃升至 68%

终端编程智能体(Terminal Agents)在执行 Bash 命令行或系统自动化运维时,依赖大模型的随机自回归生成。然而一条有瑕疵的破坏性命令(如错误的 pip 包安装、冲突的环境变量修改或误删目录)会造成不可逆的环境污染,进而彻底葬送后续的排错机会。来自前沿研究团队推出了全新测试时算力扩展(Test-Time Compute)范式 Mid-Harness:不同于昂贵的全轨迹采样(Best-of-N Trajectories),Mid-Harness 在模型生成与 Harness 执行环境的“中间边界”部署动作级采样与验证器(Action-Level Verification)。在基准测试 TerminalBench-Lite 上,Mid-Harness 将基础智能体的 Pass@1 成功率从 50.00% 暴拉至 68.03%,以大幅降低的 Token 成本实现了远超传统全轨迹重试的超高执行可靠性。

终端智能体迎来新范式!Mid-Harness 开源:模型与测试环境边界动作缩放,Pass@1 从 50% 跃升至 68%

核心要点速览

  • 首创在模型生成与终端执行环境边界(Model-Harness Boundary)分配测试时算力的 Mid-Harness 机制
  • 在 TerminalBench-Lite 上推动 Pass@1 成功率从 50.00% 跃升至 68.03%(仅需 8 次动作候选采样)
  • 动作级缩放结合成对自验证,在显著降低 Token 开销的同时击败单纯的全轨迹重试
阅读全文
A
AICoder Editorial@aicoder·
👀80
🔥90

一周内 AI 编程「A vs B」选型热度飙升:Sonnet 5.5、Sol、Argon、Air、Copilot Computer Use 同窗对决

过去约 7 天,Claude Sonnet 5.5、GPT-6.1 Sol、Gemini 4 Argon、JetBrains Air in IDEs EAP、GitHub Copilot Computer Use 同窗落地;开发者检索与 HN 讨论从「单点追新」转向价格带、终端 Agent、IDE 编排与 Computer Use 的成对选型。本稿为元/行业综述,不含 X 推文依赖。

核心要点速览

  • 同窗发布:Sonnet 5.5 入 Copilot(09-28)→ Sol 入 Copilot(09-29)→ Argon Fairwind 预览(09-30)→ Air EAP + Copilot Computer Use(10-01)
  • 高频成对意图:Sonnet↔Opus、Sonnet↔Sol、Argon↔Opus/Astra、Air↔Cursor、Copilot CU↔Claude CU、Codex↔Claude Code、Sol↔Astra(同族升级经济学)
  • 选型轴:价格带(Sol≈Astra 智能力、约 1/5 token 价;Sonnet 日常 vs Opus 复杂判断)× 终端 harness(Codex vs Claude Code)× IDE 编排(Air ACP BYO)× Computer Use(GUI 遗留补位)
  • 合规坑:HN Air 帖讨论 Anthropic 订阅鉴权 ToS;Air 官方称 Claude 订阅可走终端全屏 Tab,聊天面 Claude Agent 仍需 JetBrains AI / API Key
  • Argon 仍非 GA:仅 Fairwind 可信网络防御方 + Google 内部;开发者/企业开放时间表未公布——对比页请标注预览门控
阅读全文

告别终端环境误毁!Mid-Harness 提出模型与沙箱边界动作扩展:前置验证机制使 TerminalBench 准确率提升 18%

终端智能体(Terminal Agents,如 Cline、OpenHands、Claude Code)依赖概率生成模型直接向 Bash 命令行下发指令,但具备生成有效动作的能力并不等同于能够可靠执行。在实际工程中,一条错误的误操作命令(如误装依赖版本、错误删除配置或破坏系统文件)便足以永久破坏沙箱环境,使后续规划全盘瘫痪。最新研究提出 Mid-Harness,首次将测试期计算(Test-Time Compute)聚焦在模型与 Harness 的交界处。通过在动作真正下发至系统前进行多候选采样与细粒度验证,在无需改动底座生成器与 Harness 的前提下拦截灾难性调用。在 TerminalBench-Lite 评测中,Mid-Harness 将 Pass@1 从 50.00% 跃升至 68.03%,且相比盲目生成整条长轨迹,在显著降低 Token 消耗的同时获得了更高的任务完成率。

告别终端环境误毁!Mid-Harness 提出模型与沙箱边界动作扩展:前置验证机制使 TerminalBench 准确率提升 18%

核心要点速览

  • 在模型与终端沙箱边界引入动作级验证,TerminalBench-Lite Pass@1 从 50.00% 跃升至 68.03%
  • 通过成对验证(Pairwise Verification)与知识蒸馏,同参数小模型亦可实现高信噪比动作筛选
  • 相较于整条长轨迹盲目重试,Mid-Harness 以减少超 35% 的 Token 开销达成更高任务成功率
阅读全文
关联模型 / 智能体 / 厂商:

Cline:GPT-6 Astra 已上线,npm 安装后 /model 可选 gpt-6-astra

Cline 宣布 GPT-6 Astra 已可在其终端 Agent 中直接使用:全局安装 cline 后执行 /model,选择 gpt-6-astra 即可。此前 Cline 曾公布 Astra 在 Terminal-Bench 登顶;本次是产品侧正式接入,方便开发者在 CLI agent 工作流里立刻切换到 OpenAI 最新编码模型。

核心要点速览

  • 接入路径:npm i -g cline → /model → 选择 gpt-6-astra。
  • 场景:终端原生 Agent 工作流可直接用 Astra 做多步编码。
  • 衔接:相对此前 Terminal-Bench 预告,本次为正式可用。
阅读全文
关联模型 / 智能体 / 厂商:

Anthropic 正式发布 Claude Code 2.0:原生集成 AST 依赖图谱与端到端自动化 CI 修复流

Anthropic 正式发布面向终端开发者的 Claude Code 2.0。新版本重构了底层上下文感知系统,引入离线 AST 语法拓扑与跨文件符号引用图,使大型工程上下文消耗降低 45%。同时全新支持本地 CI 失败日志自动捕获与闭环修复流,大幅提升多文件复杂 Bug 的一键排除效率。

核心要点速览

  • 引入本地 AST 语法图谱与符号索引,大幅降低复杂跨文件查询的 Token 消耗。
  • 原生打通本地与远程 CI 失败捕获,支持从测试报错到生成补丁的闭环自动化修复。
  • 全面适配终端交互与 IDE 嵌套调用,支持自定义工作流脚本深度挂载。
阅读全文

Anthropic Claude Code 终端代理引入隔离 Subagent 沙箱:并发修复与回归测试不再相互阻塞

Anthropic 正式为命令行智能体 Claude Code 增加了多子代理(Subagents)沙箱隔离执行能力。主代理在规划大型重构任务时,可以派发多个独立的轻量子代理分别在专属临时目录中执行单测编写、文档更新与补丁测试,随后聚合补丁生成统一的 Git 提交,大幅提高端到端研发吞吐量。

核心要点速览

  • Claude Code 支持并发生成隔离子代理处理并行子任务。
  • 临时工作目录隔离测试执行环境,避免父仓库被未验证的临时文件污染。
  • 任务完成后自动汇总测试结果并生成标准化的 Git Commit 提交记录。
阅读全文
AD赞助内容

阿里通义开源 Qwen3-Coder 480B 智能体大模型,同步开源 Qwen Code 终端工具

阿里通义千问团队开源发布了 480B-A35B(4800 亿总参/350 亿激活)的旗舰开源智能体编码大模型 Qwen3-Coder。原生支持 256k 上下文并可外推至 1M,在 SWE-bench Verified 上刷新开源模型纪录。官方同步开源了配套的终端智能体命令行工具 Qwen Code。

核心要点速览

  • 480B/35B 激活的超大规模 MoE 架构,全面冲刺 SWE-bench Verified 榜首。
  • 原生 256k、外推 1M 上下文,轻松容纳特大单体代码仓库的跨文件依赖分析。
  • 同步开源 Qwen Code CLI 命令行工具,让开发者开箱即用自主终端智能体。
阅读全文
关联模型 / 智能体 / 厂商: