EvoUndo: Recoverability-Constrained Self-Evolution for LLM Agent Harnesses 精读
精读独立研究者团队的 EvoUndo。论文直面 LLM Agent 自进化的安全盲区:能提升能力的变异未必能被安全撤销,正确恢复往往依赖变异前状态。EvoUndo 把自变异表示为四元组(前向变异+见证捕获+恢复程序+效果契约),在反事实状态上做往返验证。600 个任务中 197 个能力正向但恢复失败的变异构成失败库:原始语言下常规修复 0/197;oracle 审计分解出双瓶颈——S0 层是 grounding 瓶颈(精确地址后 0/48→38/48),S1 层是表达力瓶颈(扩展语言后 142/143),组合修复 180/197。另发现丰富语言加精确诊断反而降效。把能改与改回去拆开的开创工作。