arXiv cs.AI 周报 (2026-09-07~2026-09-13)

arXiv cs.AI 周报 (2026-09-07~2026-09-13)

Meta-summary · 基于 4/7 daily HTML · 2026-09-07~2026-09-13 · 缺 20260911, 20260912, 20260913
Generated by tanar · 2026-09-14 00:05

🗓️ 本周覆盖

本周（2026-09-07 ~ 2026-09-13）共 4/7 天 daily 报告可用。 缺失日期：2026-09-11, 2026-09-12, 2026-09-13（这些日的论文不在本汇总范围内）。 下文所有数字和取舍都基于这 4 天的 daily picks。

🔥 本周主题

Agent 记忆管理：从"存什么"到"删什么、谁来管"（4/4 天出现）

本周最强的跨日主题。从记忆压缩到选择性遗忘、从生命周期治理到跨设备同步，agent 记忆正在成为独立的安全与系统工程子领域。

  • 2026-09-07：Elastic Horizon — 闭环控制器发现交互 horizon 饱和点，节省 25% token
  • 2026-09-08：Procedural Graphs — 过程知识图自演化修复拓扑结构
  • 2026-09-09：ConvMem — 卷积式分层记忆将线性推理链压缩为对数树
  • 2026-09-10：2AM — 将任务记忆留在 Agent 侧，长程操作完成率提升 61.5pp

安全评估的"元问题"集中爆发（4/4 天出现）

安全研究不再只是攻防，而是开始质疑评估本身的可信度——评判官可被操纵、深度推理导致对齐崩溃、前沿模型仅靠 prompt 即可绕过安全。

推理与训练效率：从采样到精确、从显式到隐式（4/4 天出现）

CoT 压缩走向几何动力学引导、RLVR 训练从采样转向枚举式精确优化、形式化验证与神经推理闭环——训练效率的研究正在系统化。

  • 2026-09-07：A*-Thought-V2 — PCA 方向角驱动 CoT 显隐交替，准确率+2.6% 长度减半
  • 2026-09-08：ThinkPrior — 零 rollout 难度先验减少 39% 无效 rollout
  • 2026-09-09：FGPO — 枚举全部工具子集替代采样，15/15 优于 GRPO
  • 2026-09-10：Magenta — Lean 4 形式化验证闭环，AIME/IMO 全部正确

多模态与具身智能：VLA 全身化与 VLM 零样本控制（4/4 天出现）

VLA 从单臂操作扩展到 29-DoF 全身导航；闭源 VLM 通过语义动作接口零样本控制机器人；视觉 token 自适应剪枝实现大幅效率提升。

  • 2026-09-07：SVRL — 纯 RL 训练 7B 多模态智能体自验证检索证据
  • 2026-09-08：TANGO — 首个全身 VLA 导航框架，仿真零样本迁移 Unitree G1
  • 2026-09-09：Show-Harness — 语义动作接口让闭源 VLM 零样本控制机器人
  • 2026-09-10：Logit Refiner — 轻量模块恢复 VAR 尺度内依赖，1.1B 超越 2B

评测范式转向"过程与证据"（3/4 天出现，09-10 爆发）

多个新基准揭示最终答案准确率严重高估模型真实推理能力——答案对不代表证据对，评分高不代表过程对。

  • 2026-09-08：SPINE — 25 轮持续压力下 sycophancy 崩溃率随对话长度上升
  • 2026-09-10：MindTopo — 拓扑推理基准，14 个 MLLM 远低于人类
  • 2026-09-10：Sci-MMR — 答案准确率超证据恢复率 20%
  • 2026-09-10：NovGauge — 论文新颖性评测，LLM 幻觉率高达 39%

📈 方向走势

持续高产：Agent 记忆管理（4/4 天，日均 5+ 篇）、安全/对齐（4/4 天，日均 10+ 篇）、推理与训练效率（4/4 天，日均 14+ 篇）、多模态与具身（4/4 天，日均 12+ 篇）——四大方向本周全程在线，未见任何一天的"空白日"。

本周爆发：评测基准方向在 09-10 集中爆发（6+ 个新基准同日发布），前期 3 天仅有零星评测论文。形式化验证与神经推理的结合（Magenta、SIRF、Warrant Theory）也在 09-10 集中涌现，暗示这是正在加速的新方向。

持续演化：Agent 记忆管理从 09-07 的"边界控制"快速演化到 09-10 的"持续运行基础设施"——仅 4 天内就完成了从"何时停止"到"如何压缩、谁有权读、跨任务如何路由"的范式扩展。安全评估的"元问题"也在 4 天内从单点质疑发展为系统性研究方向（4 天 15+ 篇论文）。

🌟 周度 Top 10

  1. Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

    Joshua Ong Jun Leang 等 9 人 · 被 1/4 天 daily Top 10 选中 · training-free pipeline 经 Lean 4 形式化验证闭环，AIME/IMO 全部正确，形式化方法回归的标志性工作

  2. TANGO: Humanoid Navigation in Cluttered Environments with a Whole-Body VLA Model

    Anqi Li 等 · 被 1/4 天 daily Top 10 选中 · 首个全身 VLA 导航框架，29-DoF 直接预测，仿真训练零样本迁移 Unitree G1

  3. Show-Harness: Just a VLM Agent Can Play Robots

    Yanzhe Chen, Mike Zheng Shou 等 · 被 1/4 天 daily Top 10 选中 · 语义动作接口解锁闭源 VLM 零样本机器人控制，范式级创新

  4. Procedural Graphs: Self-Evolving Execution Structures for LLM Agents

    Yuxing Lu 等 · 被 1/4 天 daily Top 10 选中 · 过程知识图自演化，从最小骨架匹配手工流程图，agent 记忆管理方向的代表

  5. Style Over Substance: Content-Invariant Wrappers Flip LLM Safety-Judge Verdicts

    Yongxi Zhou 等 · 被 1/4 天 daily Top 10 选中 · 揭示安全评判官可被内容无关风格操纵，19.9% 翻转率，对 jailbreak 评估可信度提出根本质疑

  6. How Fragile Is Safety Alignment at Frontier Scale? A Single-Direction Attack on a 320B MoE

    Yi Shi, Tanyu Chen 等 · 被 1/4 天 daily Top 10 选中 · 首次在 320B MoE 上验证单方向攻击，74% 效果仅在联合编辑三类写入时出现

  7. A*-Thought-V2: Efficient Latent Reasoning via Geometric Dynamics of LLM

    Xiaoang Xu 等 · 被 1/4 天 daily Top 10 选中 · PCA 方向角驱动 CoT 显隐交替压缩，准确率+2.6% 长度减半，ACU 提升 2.29×

  8. ConvMem: Convolutional Memory for Long-Context Reasoning

    Hongming Zhang 等 · 被 1/4 天 daily Top 10 选中 · 无训练卷积式分层记忆，推理路径从线性链压缩为对数树

  9. FrogNano: Training a 4B Coding Agent via Online Task Synthesis

    Minseon Kim 等 17 人 · 被 1/4 天 daily Top 10 选中 · 纯合成任务+RL 训练 4B 编码智能体，无需大模型蒸馏，降低 SWE 智能体部署门槛

  10. GPU-CFR: 80x Faster Counterfactual Regret Minimization

    Boning Li, Longbo Huang · 被 1/4 天 daily Top 10 选中 · 博弈树预编译为静态数据流 + CUDA Graph Replay，A100 上加速 80 倍，GPU 首次在 CFR 领域压倒 CPU

📊 本周数字

~551
4 天合计 cs.AI 论文数（168+136+107+140）
~40+
Agent 记忆管理相关论文（4 天累计，日均 10+）
6+
09-10 单日发布的新评测基准（本周爆发日）
148
4 天累计 cs.LG 交叉分类论文（日均 37）
33
本周最大论文团队规模（Recursive Self-Improvement, 09-10）

🔮 趋势观察

Agent 系统研究正从"单次任务执行"向"跨任务持续运行"演进

本周 4 天的 agent 论文构成了一条清晰的演化轨迹：09-07 关注"何时停止"（Elastic Horizon、SkillAlign），09-08 转向"如何删、谁来管"（MeClear、MemForest），09-09 正式化记忆生命周期（Fortunate Recall、ConvMem、Kernel-Managed Memory），09-10 出现"持续运行基础设施"（2AM、AgentZip、Ecdysis、Artificial Id）。对应的工程基础设施——记忆压缩、跨实例失败诊断、持续对齐、内存管理——正在快速成形。这一趋势的加速速度值得注意：仅 4 天就完成了从"边界控制"到"系统化治理"的范式跃迁。

"可验证奖励"约束正在被系统性攻克

RLVR 训练长期受限于"非标准领域缺乏可验证奖励"。本周出现了三条攻克路径：ThinkPrior（09-08）用离线先验过滤无效 prompt 减少 39% 浪费；FGPO（09-09）在可枚举动作空间中用精确替代采样；Magenta（09-10）用 Lean 形式化验证提供数学竞赛级奖励信号。加上 Proof-Carrying Cognition（09-09）将验证缺口理论化为"现实结算奖励"，这构成了一套从工程到理论的完整方案。

VLA 模型的"去体化预训练"路径浮现

本周两条 VLA 路线形成对照：TANGO（09-08）坚持仿真训练全身 VLA 的"重预训练"路线；Show-Harness（09-09）提出"语义动作接口"让闭源 VLM 零样本控制机器人，3DWay（09-08）和 CLAMP（09-08）则在不改模型的前提下注入空间约束。这暗示 VLA 可能存在一条"轻量化适配"路径——不需要大规模体化预训练，而是通过接口设计和解码约束实现部署。

tanar · arxiv-reporter