AI 编程实时动态与要闻

从单点修 Bug 走向全工程从零复现!ProgramGym 开源:1,648 个跨语言沙箱助力 27B 模型跑分飙升

当前自主编程智能体(SWE Agents)的训练与评测大多局限于单个函数的孤立补全或现有单仓库内特定 Issue 的局部修复(如 SWE-bench),难以衡量智能体从空白工程起步、独立探索参考系统、推演架构设计并从零完整复现一个可编译可运行软件(Program Reproduction)的长程综合能力。学术研究团队在最新成果(arXiv:2610.13395)中正式开源了首个全自动工程级训练环境合成引擎与智能体工作流 ProgramGym(代码仓库:github.com/Acm1011/ProgramGym,数据集:ProgramGym/programgym-1648)。ProgramGym 包含两大核心支柱:Program-Env 流水线自动将真实开源代码库转换为具备确定性黑盒测试集的隔离执行沙箱,一举构建了涵盖 C、C++、Go、Rust 四大主流系统级语言的 1,648 个高质量可验证训练环境(ProgramGym-1648);而 Program-Agent 则确立了‘需求分析 -> 代码实现 -> 审查反思’三权分立的迭代开发脚手架与版本控制恢复机制。在权威基准 ProgramBench 测试中,利用该引擎合成轨迹监督微调得到的 Qwen3.8-27B-SFT 模型测试通过率提升 7.97 个百分点至 42.84%,超越了 mini-SWE-agent 下的旗舰模型 GPT-5.4(37.70%);搭配 Program-Agent 脚手架后跑分更是进一步跃升至 56.25%,全面超越 Claude Opus 4.7(50.90%)与 Gemini 3.5 Flash(53.60%),全套数据集与环境已全面开源。

从单点修 Bug 走向全工程从零复现!ProgramGym 开源:1,648 个跨语言沙箱助力 27B 模型跑分飙升

核心要点速览

  • 开源长程程序复现训练框架 ProgramGym 发布,涵盖 C/C++/Go/Rust 四大语言的 1,648 个自动化沙箱与测试环境
  • 微调后的 Qwen3.8-27B-SFT 在 ProgramBench 跑分提升 7.97% 达 42.84%,超越 mini-SWE-agent 下的 GPT-5.4
  • 搭配 Program-Agent 角色隔离脚手架测试通过率跃升至 56.25%,超越 Claude Opus 4.7 与 Gemini 3.5 Flash
阅读全文

推理算力也能滚雪球复利!GitSwarm 发布:基于 Git 分支与原子提交解锁分布式复合推理

在攻克前沿数学猜想、自动化软件重构与跨学科科研发现等长程复杂任务(Long-Horizon Problem Solving)时,人类科研团队的成功依赖于认知成果的‘跨轮次复利累积’:失败的尝试、部分的推导与中间实验数据均能作为持久资产被后续同伴审视、分叉与整合。然而,现有的推理期扩展(Test-Time Scaling)范式几乎完全局限于孤立的单条探索轨迹(如 Monte Carlo Tree Search 或 Best-of-N 采样),各条路径彼此隔绝,中间算力成果在失败时被全盘丢弃,无法实现知识复利。学术研究团队在最新研究(arXiv:2610.04862)中正式提出了‘复合推理(Compounding Inference)’理论与开源系统 GitSwarm。GitSwarm 首次将开发者熟悉的 Git 版本控制协议深度改造为多智能体底层协作中枢:同构 Agent 群自主决定如何推进任务,并在共享且可自由分叉的 Git 仓库中通过‘原子提交(Atomic Commits)’固化中间产物,通过语义依赖追踪(Semantic Dependencies)跨分支提取经验并验证合成新方案。在数学竞赛 IMOProofBench-Advanced 极限压测中,GitSwarm 驱动 GPT-5.5 在单次运行中以 100% 的成功率全通全部 30 道高难难题;在复杂程序生成基准 ProgramBench 上达成 79.4% 平均得分(大幅碾压同期最强基线的 65.1%),论文已正式公开。

核心要点速览

  • 提出‘复合推理(Compounding Inference)’新范式与 GitSwarm 架构,彻底告别单分支推理算力浪费
  • 以真实 Git 仓库为协作中枢,通过原子提交、语义依赖图与分支合并实现多智能体长程认知资产累积
  • IMOProofBench-Advanced 30 道国际奥数难题单次运行 100% 全通,ProgramBench 跑分高达 79.4% 碾压基线
阅读全文
关联模型 / 智能体 / 厂商: