基于 papers.cool/arxiv/cs.AI 2026-07-13 发布论文整理，聚焦 Agent 相关研究。
今日 Agent 核心趋势
趋势一：结构化状态管理成为长程 Agent 的关键突破口
长程任务中 Agent 的”遗忘”和”迷失”问题，正在从 prompt engineering 转向架构级解决方案。
- StructAgent (#14) 提出统一因果状态表示，将 Agent 的进度显式结构化为可验证的 state，配合 verifier-backed 的状态转移机制。在 OSWorld-Verified 上将 Qwen3.5-9B 从 27.0% 提升到 46.9%，MiniMax-M3 达到 78.9% SOTA，且框架可泛化到 Minecraft。
- OpsMem (#15) 引入双记忆架构：短期记忆跟踪当前诊断状态，长期记忆存储可复用的运维经验，通过”跨记忆共振”机制激活相关知识。在华为微服务故障诊断数据集上，Match 指标提升最高 46.88%。
- Compile, Then Page (#17) 将 SOP 约束编译为可执行伪代码，用栈机分页管理活跃帧，LLM 仅执行语义部分。关键发现：运行时引导的效果与模型能力相关（capability-gated），强模型受益而弱模型反而受损。
趋势解读：Agent 的状态管理正在从”塞进 prompt”走向”结构化状态 + 验证驱动转移”，这是 Agent 可靠性工程的重要方向。
趋势二：证据状态追踪重塑多模态 Agent 的决策流程
多模态 Agent 不再满足于把工具调用结果丢进 scratchpad，而是开始维护结构化的”证据账本”。
- Omni-Decision (#13) 为全模态 QA 设计了 training-free 的证据状态系统，维护已确认证据、未解决冲突、依赖关系和待查需求。在 OmniGAIA 上 45.6%（+27.3），WorldSense 上 58.3%（+30.2），提升幅度惊人。
- Interaction Scaling (#6) 提出 test-time compute 的第三轴——交互（interaction），核心变量是”grounding”：反馈和评分都必须来自真实观测而非模型自评。在编程任务上达到 100% pass rate，而 reasoning-only 和 best-of-N 均已饱和。
趋势解读：Agent 的”知道什么 vs 不知道什么”正在被形式化，从隐式的上下文累积转向显式的证据状态机。
趋势三：异构 Agent 协作与安全约束的深度融合
安全不再是 Agent 的事后约束，而是内置在协作架构中。
- Heterogeneous Agent Cohots (#24) 将角色分离为 Disrupter（生成非常规方案）、Validator（在工具网关执行硬性检查）、Broker（引入远距离类比），失败经验通过 MCTS 编译为”Scars”约束补丁，被未来 cohort 继承。Scars 减少 15.1% token 消耗，信用制通信分配减少 55.9% token 成本。
- ToMap (#21) 在多 Agent 证明形式化中做瓶颈分析，发现 Decomposer 是关键瓶颈，因此只对它做 test-time 优化，Formalizer 和 Prover 作为下游执行器。在 ProofFlowBench 上提升 19.0%，且 test-time 成本更低。
趋势解读：不是所有 Agent 都需要等权优化——瓶颈分析 + 角色特化的协作模式正在成为新的设计范式。
趋势四：推理效率与交互式验证的统一
- Hourglass Reasoning (#2) 通过强制上下文隔离来提升归纳推理，信息只能以压缩的符号状态 (φ, T) 在阶段间传递。在 ARC-AGI-2 上提升 14 个百分点，ChipBench 上 Verilog 综合精度翻倍（31%→58%）。
- Valid ≠ Necessary (#22) 指出 CoT 中的”有效但冗余”步骤被现有评估器忽视，提出 CAID 指标识别低效用步骤，配合 PACE 压缩策略在保持精度的同时减少 31-53% token 消耗。
- AutoVSR (#18) 将电路图视觉理解转化为可执行中间表示，planning agent 配备符号工具库进行多步推导，精度提升 30-59%。
趋势解读：推理不仅需要更深，更需要更精——信息瓶颈和交互验证正在重新定义”好的推理”。
本日 Agent 论文速览
| # | 论文 | 核心贡献 | 关键数字 |
|---|---|---|---|
| 6 | Interaction Scaling | 交互作为 test-time compute 第三轴 | 编程任务 100% pass |
| 13 | Omni-Decision | 全模态证据状态系统 | OmniGAIA +27.3pp |
| 14 | StructAgent | 统一因果状态的长程 Agent | OSWorld 78.9% SOTA |
| 15 | OpsMem | 双记忆跨共振故障诊断 | Match +46.88% |
| 17 | Compile, Then Page | SOP 编译 + 能力门控运行时 | Bank 92.8%, 100% 拒绝正确 |
| 18 | AutoVSR | 视觉→符号 planning agent | 精度 +30~59% |
| 21 | ToMap | 瓶颈驱动的多 Agent 优化 | ProofFlowBench +19.0% |
| 24 | Heterogeneous Agent Cohorts | 异构角色 + Scars 约束继承 | token 成本 -55.9% |
一句话总结
今天的 Agent 研究在回答一个核心问题：**如何让 Agent 不只是”能做”，而是”可靠地知道做到了哪、还缺什么、出了什么错”**——结构化状态、证据追踪和瓶颈驱动的协作，正是这个方向的三把钥匙。