跳到正文
  1. Hacker News · AI 讨论80

    对照实验:Codex 编码智能体团队为何不如单 agent

    一项对照实验用 Codex CLI 0.157 和 gpt-5.6-luna 在 shopizer 上跑六个功能任务,planner-coder-reviewer 团队只通过 25.7% 的隐藏验收测试,单 agent 通过 56.8% 且花费更低。

    借鉴点

    能拿走的是对照实验设计本身,同一批任务下把单 agent 与 planner-coder-reviewer 团队按成本对齐比较,并给出把 TASK.md 放进仓库让每个 agent 自读的修法;代价是只测了一个模型、一个 Java 代码库和六个功能,结论外推有限。

  2. Microsoft Research58

    Microsoft Research 用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    Microsoft Research 联合 GitHub Next 发布研究原型 PDD Kit,把用户意图转成 Verus 形式规约,证明智能体写的代码对每个输入都满足规约,证明覆盖不到的部分退回测试。

    借鉴点

    能拿走的是把意图先写成 Verus 形式规约、再让 agent 写证明并用变异检查防弱规约的流程,可接到软件工厂的代码审查环节,代价是只支持 Rust 且证明本身仍要投入。

  1. Hacker News · AI 讨论82

    Agent Scrum:用两小时冲刺调度 AI 编码智能体团队,38 天跑完 324 个冲刺

    作者用一支 AI 编码智能体团队在 38 天里围绕真实产品待办跑了 324 个两小时冲刺,其中专职 scrum 团队 agent 执行的 90 个冲刺里 79% 的承诺故事在冲刺内完成,仪式耗时不到 5 分钟。

    借鉴点

    能拿走一套可照抄的 Agent Scrum 最小配置,产品负责人 agent 管规划、独立 scrum master agent 跑两小时冲刺、外部定时器触发收尾;代价是回顾项 159 条只关了 40 条,合并环节和写代码一样耗时。

  1. Hacker News · 首页81

    GVS5H 编排框架让 Qwen3.8-27B 在 LiveCodeBench 上从 66.8% 升到 92.4%

    GVS5H 提出免训练的 ledger-based zero-shot 自编排方法,让同一模型的新实例通过共享文件系统交换计划、笔记和当前解法来拆解问题。

    借鉴点

    能拿走的是多智能体共享文件系统做计划与解法的编排脚本和跑分命令,可接到软件工厂的编码评测线上;代价是要 uv、各家 API key 和 128k token 预算,且部分模型反而变差。

  1. 掘金71

    爱立信 Code Comprehensor 用分层文档与跨模态检索让 500 万行代码可问答

    爱立信研究院提出 Code Comprehensor,用 LLM 离线沿调用图把仓库文档化再压成语义检索索引,在线检索约 50 毫秒、完整回答一个问题 3-5 秒。

    借鉴点

    可抄的是后序分块加滚动摘要驯服超大调用树、一个代码单元配多文本视图做多正样本监督、合成问题加术语锚点约束;代价是 120 万行要 48 小时和 3200 美元文档化,且只在 C/C++ 上验证过。

  1. GitHub Blog · AI & ML58

    GitHub 发布 AI 代码审查开放基准 ReviewBench

    GitHub 发布 ReviewBench,一个面向 AI 代码审查智能体的开放离线基准,现已开放研究预览版。基准包含 19 种语言、187 个开源仓库的 219 个 PR,其语言与仓库规模分布对齐对 103.9M 个 GitHub PR 的分析结果,PR 规模则刻意向可审查的中长尾加权。

    借鉴点

    可借鉴其多源金标集构建法:人工评审、后续提交推断、静态分析、多个前沿 LLM 汇总去重,再用统一 rubric 判分;代价是 219 条 PR 的标注与专家复核成本高,且依赖 Claude Sonnet 5 作 judge。

已经到底了