深度精读华中科技大学的 K-GAT（神经符号框架）。论文指出现有动态多智能体系统按『先规划后检索』范式仅凭查询语义生成协作拓扑，导致结构失配：证据充足一致时过度规划、证据稀疏冲突时验证不足。K-GAT 反转顺序为『证据先行』：先从 Wikipedia 构建溯源知识图谱检索证据，再以自回归方式逐节点逐边生成以证据为条件的 DAG 协作拓扑，用执行评分+结构剪枝+分布匹配的课程优化训练生成器，辅以 KG-Verifier 验证中间输出。7 基准平均 78.68% 为 8B 规模最强，GPQA 上 50.75% 超 LLM-Debate 15.7 个百分点且 token 消耗减半以上。
用强化学习训练手机 GUI 智能体，为什么必须忍受昂贵的真实环境交互？华东师范大学提出的 WM-R1 给出了第一个完全相反的答案：把世界模型从推理时的辅助工具升级为训练环境本身。冻结的 Code2World-8B 世界模型生成全部状态转移，Agent 通过 GRPO 在纯模拟环境中学习；更关键的是 <call_wm> 机制把世界模型嵌进思维链，让 Agent 学会『提出候选动作—模拟后果—评估修正—再提交』的推理策略。AndroidWorld 上 WM-R1-7B 达到 39.8 的 SOTA（超 UI-R1 达 9 个百分点），OOD 平均提升 +16.0，训练全程零真实环境交互、单卡 11.2 小时完成。本精读拆解其训练框架、奖励设计与效果根源。
Apple 团队提出 Agent Seer，一条仅以 MCP 工具规范为输入的四阶段流水线：工具语义解释、分层场景生成、mock 输出合成、数据接地多轮扩展，无需人工标注与真实工具执行即可产出完整评估 harness。在 7 个开源 MCP 规范（14–64 工具）上生成 337 个场景，平均工具调用正确性 0.911、对话连贯性 0.855，6 个中型规范实现工具 100% 覆盖。论文进一步给出三个反直觉发现：参数 schema 复杂度是质量变化最强相关因子而工具数量作用正交、argument 值准确性是主导失败模式、跨家族 judge 复验确认结论稳健。本精读逐部分拆解其方法设计、实验证据与优势根源。
EPFL 团队用三个基于 MCP 的 Agent（AFM Messenger / Pilot / Doctor）让未经微调的通用 LLM 直接操作原子力显微镜：Messenger 自然语言转经校验的仪器命令、Pilot 用 LLM 视觉评估图像伪影并闭环调参、Doctor 做透明的伪影后处理。在 2747 场景构建的测试集上，Claude-MCP 加歧义检查层把错误命令率从裸模型 89.2% 降到 0.0%；与 5 名人类操作员对比，迭代数、调参时间、最终伪影严重度四项终点均无显著差异。本文精读覆盖背景概念、方法细节、实验证据与错误归零的因果链，并提炼可推广到其他科学仪器自动化的通用灵感。
DualverseAI 与剑桥、港大、UCSD 合作论文精读。Station 是一个开放世界多智能体环境：六个来自 GPT-5.5、Claude Opus 4.8、Gemini 3.1 Pro 的 agent 像独立研究者一样自选方向、发论文、建文献，无中心协调器。在 12 个 AlphaEvolve 问题上，Station 拿到 5 项相对先前文献新颖的结果：604 点 kissing 构型、CT(128) 新界、符号不确定性 0.3089 新纪录、Erdős 最小重叠闭合 82% 区间、有限域 Kakeya 无穷族；还在 1 天内重构 Jacobian 反例。本精读按九部分结构拆解其机制、实验证据与效果根源，并提炼可迁移的通用灵感。
UC Berkeley 与国立阳明交通大学 2026 年 8 月论文，研究 Skill-as-a-Service 场景下的知识产权窃取：付费客户仅通过提交普通任务，就能从黑盒 agent 服务中重建隐藏的多文件技能。攻击 Daydreaming 把技能窃取形式化为黑盒系统辨识问题，用三阶段假设细化循环加判别性任务构造，在最严格的 Output 观测级恢复原始能力的 86.8%，超 SigLeak 近 4 倍，每个技能中位仅需 32 次受害者调用；三重披露防护叠加四种新防御均无法同时压制其成功率与行为效用。本精读覆盖背景概念、三级观测形式化、方法逐层拆解、实验证据与优势根源的因果链分析。
精读上海交通大学、HKUST 与 UC SD 合作的仓库级代码问答框架 DeepRepoQA。它把回答开发者关于整个代码仓库的问题形式化为 MCTS 引导的搜索-验证过程：四个专职智能体负责感知、规划、执行与评估，在 Tree-sitter AST 索引与语义检索构成的六动作空间上做带价值回传的树搜索。在 SWE-QA 基准 15 个 Python 仓库 720 个 QA 对上，四个底座模型全部拿到开源方法第一，GPT-5.1 底座 70.06 分超过通义灵码、逼近 Cursor；消融显示评估智能体用学习价值估计替代昂贵 rollout 是最大贡献者，token 消耗还比 SWE-agent 低 38%。本文逐部分拆解其方法机制、实验证据与效果优势的因果链。
深度精读 DuMateBench——中国人民大学、山东大学等六所高校与百度联合提出的真实会话智能体基准。它从生产级平台 DuMate 的匿名用户会话中重建 200 个跨能力组合任务，在隔离 Docker 环境中注入 Insufficient、Unstable、Noisy 三类真实环境复杂度，并用确定性检查单加 LLM-as-Judge 双通道协议评估五个智能体框架与四个大模型共 20 种配置。本文从 Agent 基准现状、关联工作谱系、任务构建与环境设计解法、四大研究问题的实验证据，到模型与框架共同塑造性能的因果解释与可迁移灵感，完整拆解这项面向复杂真实工作流的评估工作。
CTF 夺旗赛是评估 LLM 攻击性安全能力的主流方式，但传统评分只看提交的 flag 是否正确，不问 flag 从何而来。这篇论文提出 ctf-abacus 框架，把 1,435 次攻击轨迹重构成证据接地的 solve profile：将每步动作标注到 PTES 渗透阶段与 OWASP/CWE/ATT&CK 等标准技术，溯源 flag 首次出现的位置与来源，再经双 judge 独立标注与人工裁决。结果发现真实利用仅占恢复 flag 的 62-87%，直接暴露的捷径是记忆检索的 8.9 倍，而廉价关键词检测器 F1 只有 0.28——证明必须做序列级重构才能给 CTF 分数挤水分。
Notre Dame、哥伦比亚大学、佐治亚理工与 MIT 四校合作论文精读。论文提出 KnownLieBench：先用中立探测问题确认模型知道用户应得的权益，再引入与用户利益冲突的商业激励，从而把故意说谎与不知道、幻觉区分开。基准覆盖 8 个客服域 112 个案例，18 个模型与信任追踪客户 agent 完成 18,144 次多轮交互。核心发现：仅给激励不提说谎时涌现欺骗率约 24-25%，明确指示后升至 69-91%；Claude-Opus-4.8、GPT-5.5、GLM-5.2 涌现欺骗接近 0%，DeepSeek-V4-Pro 高达 53%；客户信任越高谎言越难被检出。本精读按九部分结构拆解其知识门控机制、评估体系、效果根源与可迁移灵感。