AI 编程实时动态与要闻

Ricursive 开源 Ripple-65B Preview:从零预训练的 65B 稠密模型,TerminalBench 2.1 80.5,Apache 2.0

Ricursive Intelligence 于 11 月 4 日(UTC 18:24)发布首个模型 Ripple-65B Preview,并在 Hugging Face 以 Apache 2.0 开源指令版(BF16、NVFP4)和基座版。官方模型卡显示:65B 稠密 Transformer、12T token 预训练、最长 1M 上下文,自报 TerminalBench 2.1 80.5、SWE-bench Pro v2.0 Hard 79.1、DeepSWE 1.1 44.3,在编码 Agent 任务上超过参数大得多的美国开源模型;可在 DGX Spark 等本地硬件运行。CEO Anna Goldie 称成本约为此前同类 SOTA 的十分之一。

Ricursive 开源 Ripple-65B Preview:从零预训练的 65B 稠密模型,TerminalBench 2.1 80.5,Apache 2.0

核心要点速览

  • Ripple-65B Preview 为 65B 稠密模型,80 层、d_model 5120 的“窄而深”结构,从 Olmo 3 基线改为类 Gemma 3N 架构。
  • 预训练 12T token(8K 序列),后训练含中训练、长上下文、SFT 与混合领域 RL,支持最长 1M 上下文。
  • 自报 TerminalBench 2.1 80.5,高于 Reflection Beam 501B(80.1)、Muse Spark Open 816B(76.4);但 SWE-bench Verified 76.5、DeepSWE 1.1 44.3 并非全面领先。
  • 官方称核心团队从 1 人扩到 5 人,代码计算效率相对 Olmo 3 提升 16 倍;2×B200 上约 250 tok/s。
  • Hugging Face 提供 BF16、NVFP4、基座版和 DFlash2 投机解码模型,许可均为 Apache 2.0。
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Ripple-65B Preview⚡ Reflection Beam 501B⚡ Muse Spark Open⚡ Nemotron 3 Ultra🌐 Ricursive Intelligence🌐 NVIDIA

Ornith-1.5-122B 开源重磅登场:单机 DGX 即可部署的 122B MoE 推理模型,SWE-bench Pro 斩获 76.9 分

开源 AI 实验室 Ornith 团队正式发布 Ornith-1.5-122B 混合专家推理模型,并在 MIT 宽松协议下完全开源。该模型专门面向单节点 GPU 服务器(如单台 DGX)设计,提供包括 FP8、GGUF 与 MLX 在内的全套量化版本,已同步上架 Ollama(ornith-1.5:122b)与 vLLM/SGLang 运行时。在权威基准评测中,Ornith-1.5-122B 展现出媲美超大规模闭源模型的编程与智能体能力:在 OpenHands 评测框架下,SWE-bench Verified 达到 84.5 分,SWE-bench Pro 斩获 76.9 分(相较 Qwen3.8-Flash-Next 的 43.9 分取得跨越式领先),TerminalBench 达 81.2 分,MCP-Atlas 达到 74.6 分。

Ornith-1.5-122B 开源重磅登场:单机 DGX 即可部署的 122B MoE 推理模型,SWE-bench Pro 斩获 76.9 分

核心要点速览

  • Ornith-1.5-122B 正式发布并遵循极为宽松的 MIT 许可证,打破大参数量高性能编程推理模型闭源垄断
  • 专为单台 DGX 等单节点多卡服务器量身定制,已无缝接入 vLLM、SGLang 与 Ollama(ornith-1.5:122b),提供完整 FP8/GGUF/MLX 支持
  • 在真实软件工程评测集 SWE-bench Pro 斩获 76.9 分,相比同体量开源标杆 Qwen3.8-Flash-Next(43.9 分)大幅提升 33 分
  • 全方位通过 TerminalBench 2.1(81.2 分)、CyberGym(80.0 分)与 MCP-Atlas(74.6 分)测试,树立端到端 Coding Agent 开源新旗舰
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Ornith-1.5-122B⚡ Qwen3.8-Flash-Next🤖 OpenHands🌐 Ornith

AWS 与 UIUC 联合开源 Lean4AgenticRL:形式化验证多级过程奖励,TerminalBench 跑分高达 77.3%

亚马逊 AWS 与伊利诺伊大学厄巴纳-香槟分校(UIUC)研究团队在 arXiv:2610.22448 中正式开源 Lean4AgenticRL 框架。针对传统 Agent 强化学习过度依赖稀疏二值结果奖励(Outcome Rewards)、忽视底层工具调用与中间工作流状态的痛点,该研究首次将多级过程奖励锚定在 Lean4 交互式定理证明器的形式化模式中,提出工作流阶段归一化 GRPO 算法。训练得到的 LAR-27B 在 TerminalBench-2.1 上斩获 77.3% 高分,较基座模型提升 9.89%。

AWS 与 UIUC 联合开源 Lean4AgenticRL:形式化验证多级过程奖励,TerminalBench 跑分高达 77.3%

核心要点速览

  • AWS 与 UIUC 联合推出 Lean4AgenticRL(arXiv:2610.22448),首创将多级过程奖励形式化锚定在 Lean4 交互式定理证明器中
  • 针对稀疏结果奖励痛点,提出工作流阶段归一化 GRPO 算法,有效隔离长轨迹多步探索的高方差与奖励黑客
  • 训练得到的 LAR-27B 在 TerminalBench-2.1 上取得 77.3% 佳绩,较基座模型大幅提升 9.89%,超越同尺寸最优模型 5.07%
  • 消融实验证实形式化阶段校验使收敛速度提升超 42%,为工业级自主编程与终端 Agent 提供可验证强化学习新范式
阅读全文
关联模型 / 智能体 / 厂商:

蚂蚁集团等开源 Mara Chain:重新审视‘失败’的价值!智能体系统跨越局部最优实现自主进化

当前的 AI 智能体系统与代码框架在自主进化和自优化(如提示词搜索、工作流生成、脚手架重构)中普遍遵循贪婪策略——一旦某个候选变异在测试基准上出现性能回退,就会被算法立即抛弃。然而复杂系统的搜索空间高度崎岖,绝大多数通往全局最优的质变突破在早期往往表现为临时的负向或劣质状态。蚂蚁集团(Ant Group Research)、北京大学与北京智源人工智能研究院联合提出了 Mara Chain(arXiv:2609.35855)自主进化新范式。Mara Chain 打破了传统贪婪拒绝机制,将未通过评估但包含结构创新或局部潜力的‘失败变体’转化为拓扑进化的阶梯(Stepping Stones)。框架由三大核心引擎驱动:其一,语义与功能去重驱动的进化缓存(Stepping-Stone Buffer);其二,基于失败根因逆向回溯的分层变异器(Hierarchical Mutator);其三,多目标非支配 Pareto 排序淘汰机制。在 AppWorld 基准上,Mara Chain 在减少 65.5% 采样轮数的前提下,相比 GEPA、ACE 和 SkillOpt-Lite 取得了最高 20.5% 的性能跃升;在真实的 TerminalBench 2.1 运维环境中,Mara Chain 更是相比 AHE 和 Meta-Harness 分别大涨 20.2 和 22.5 个百分点,并将官方代码与框架 AntOmniEvo 全面开源。

核心要点速览

  • 蚂蚁集团与北大、智源联合提出 Mara Chain,打破贪婪优化桎梏,将‘失败候选’转化为系统自演化的拓扑阶梯
  • 在 AppWorld 基准上超越 GEPA 与 ACE 高达 20.5% 且减少 65.5% 采样轮数;TerminalBench 2.1 解决率相比 AHE 大涨 20.2 个百分点
  • 全面开源 AntOmniEvo 框架,提供 AST 拓扑去重缓存与分层逆向归因变异器,助力 Coding Agent 自主重构
阅读全文
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 开销的同时击败单纯的全轨迹重试
阅读全文

Aleph Alpha 开源 Kolibri-1:78B MoE / 3.46B 激活,德英主权开源权重 Apache-2.0;SWE-Verified 66.4

德国 Aleph Alpha 于 2026-10-03(统一日)发布开源权重 Kolibri / Kolibri-1(HF,Apache-2.0):78B 总参、约 3.46B 激活的德英 MoE,原生上下文 262k(外推至 1M),带 reasoning 档位与 tool calling。官方同卡:LiveCodeBench v6 85.9、SWE-Bench Verified 66.4、TerminalBench 2.1 27.7。用 aleph-alpha-inference + vLLM 自托管。

Aleph Alpha 开源 Kolibri-1:78B MoE / 3.46B 激活,德英主权开源权重 Apache-2.0;SWE-Verified 66.4

核心要点速览

  • 发布:2026-10-03;权重 Aleph-Alpha/Kolibri-1 Apache-2.0;博文 aleph-alpha.com
  • 规模:78B 总参 / ~3.46B 激活;FP8 约 78GB;原生 262k 上下文,验证至 1M
  • 编码硬指标(官方卡):LiveCodeBench v6 85.9 · SWE-Bench Verified 66.4 · TerminalBench 2.1 27.7 · HumanEval+ 92.7
  • 推理:none/low/medium/high + Hermes tool calling;pip install 'aleph-alpha-inference>=1' → vllm serve Aleph-Alpha/Kolibri-1
  • 定位:德英主权/受监管自托管;Terminal-Bench 非榜首,勿与闭源 coding 王牌直接等价
阅读全文
关联模型 / 智能体 / 厂商:
⚡ Kolibri-1⚡ Kolibri⚡ Kolibri Origin🌐 Aleph Alpha

告别终端环境误毁!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 开销达成更高任务成功率
阅读全文
关联模型 / 智能体 / 厂商:

OpenAI 发布 GPT-6 Astra:电脑操作与专业工作全面登顶

OpenAI 正式发布 GPT-6 Astra,称其为全球最智能、最对齐的模型,可在电脑上替用户完成几乎任何操作。该模型在 FrontierMath Tier 4、ARC-AGI 3、TerminalBench-4.0 等基准上刷新纪录,并在软件工程、网络安全、科学发现与职业工作流上达到新的 SOTA。目前已向 Pro、Enterprise、Business 及 API 用户开放,Plus 用户正在滚动上线。

核心要点速览

  • 在计算机使用、浏览、软件工程与科学基准上全面刷新 SOTA
  • 已在 ChatGPT Work、Codex、OpenAI API 与 AWS 上线
  • Plus 与 Business 用户正在分批获得访问
阅读全文
关联模型 / 智能体 / 厂商:

OpenAI:GPT-6 Astra 在 Agents’ Last Exam、AutomationBench 与 ScreenSpot Pro 登顶

OpenAI 称 GPT-6 Astra 在 Agents’ Last Exam、AutomationBench 与 ScreenSpot Pro 上取得 SOTA,这三项评测覆盖跨职业的电脑工作流与屏幕定位/操作能力,补齐其已公布的 TerminalBench / ARC-AGI / FrontierMath 之外的“电脑使用”侧证据。

核心要点速览

  • Agents’ Last Exam、AutomationBench、ScreenSpot Pro 三项电脑工作流/屏幕操作评测宣称 SOTA。
  • 定位为跨职业电脑使用能力,而非纯代码仓库修复。
  • 与 TerminalBench 等已公布成绩形成互补的 agentic computer-use 证据链。
阅读全文
关联模型 / 智能体 / 厂商:

OpenAI:GPT-6 Astra 在 FrontierMath、ARC-AGI 3 与 TerminalBench-4.0 登顶

OpenAI 称 GPT-6 Astra 在 FrontierMath Tier 4、ARC-AGI 3 与 TerminalBench-4.0 达到 SOTA;在科学发现方向亦称在 Terminal-Bench Science 0.1 与 HealthBench Pro 上取得领先,强调代理式终端与科研任务能力。

核心要点速览

  • 宣称 FrontierMath Tier 4、ARC-AGI 3、TerminalBench-4.0 三项 SOTA。
  • 科学侧:Terminal-Bench Science 0.1 与 HealthBench Pro 亦称领先。
  • 与发布帖配套,面向编码/终端代理与科研工作流的能力叙事。
阅读全文
关联模型 / 智能体 / 厂商:
AD赞助内容

Meta 发布 Muse Glimmer:30B 开源本地常驻智能体模型,采用 Apache 2.0 协议

Meta 8 月发布 30B 开源权重本地 Agent 模型 Muse Glimmer,Apache 2.0 协议,量化后权重不足 20GB,可在消费级 Mac 或单卡 PC 上运行。10 月 19 日 Meta 发布技术报告:约 29.6B 稠密架构、由 Muse Spark 蒸馏,官方跑分在 MCPAtlas、τ³-Banking、SWE-Bench Pro 等工具调用和 Agent 项目上领先 Gemma4-31B 与 Qwen3.6-27B,但 SWE-Bench Verified、TerminalBench 2.1、OSWorld 仍落后 Qwen3.6-27B。

Meta 发布 Muse Glimmer:30B 开源本地常驻智能体模型,采用 Apache 2.0 协议

核心要点速览

  • 技术报告(10 月 19 日):约 29.6B 稠密参数、52 层,另配约 1.8B 视觉编码器,上下文 128K+,由 Muse Spark 蒸馏。
  • 32GB 显存约束下稠密比 MoE 计算效率高 2–2.5 倍;BF16 权重 55.7GB,量化后语言模型权重低于 20GB。
  • 官方跑分:MCPAtlas 75.5(Gemma4-31B 54.2、Qwen3.6-27B 62.5),SWE-Bench Pro 51.2,AA-LCR 80.0。
  • 并非全面领先:SWE-Bench Verified 76.0 低于 Qwen 77.2,TerminalBench 2.1 51.7 对 60.7。
  • Apache 2.0 开源,配 DFlash 草稿头可在单张 RTX 5090 上实用运行。
阅读全文
关联模型 / 智能体 / 厂商: