arXiv cs.AI 周报 (2026-10-26~2026-11-01)
🗓️ 本周覆盖
本周(2026-10-26 ~ 2026-11-01)共 7/7 天 daily 报告可用,完整覆盖 7 天,无缺失。 七天合计约 1127 篇 cs.AI 提交(从各 daily subtitle 加总:251+175+134+181+130+120+136)。 下文所有主题、走势与 Top 10 取舍均基于这 7 天的 daily picks。
🔥 本周主题(跨日信号)
Agent 系统工程:记忆、harness 与治理(7/7 天出现)
本周最强主线。议题从"agent 能不能用工具/记忆"演进到"用得是否恰当、能否长期可靠运行":harness 决定模型上限、记忆结构化、人机团队协议治理。
- 2026-10-26:Stratum: Repository Memory for Coding Agents — 跨 session 仓库记忆,root-cause 定位 21/24 vs 6/24
- 2026-10-30:RoboArchitect — 冻结策略外自动进化 harness,未见场景 9.7%→43.3%
- 2026-10-31:Getting a Grip — 消息协议治理人-智能体团队,协调失败率 42%→13%
- 2026-11-01:Delivered, Not Used — 记忆评测从 resolve 率转向"交付点是否真正被使用"
Agent 安全:攻击面前移与可量化攻防(7/7 天出现)
每天 10+ 篇。攻击面从模型上下文扩展到模型之外(工具供应链、处理原语、跨会话记忆),防御位置随之向 harness 与运行时层迁移;评估走向基准化。
- 2026-10-26:Log-To-Leak — MCP 工具元数据注入面,ASR 62%-100%
- 2026-10-28:Where You Inject Matters — 首次刻画注入位置的隐式信任梯度(文档类 2.6 倍于代码)
- 2026-10-30:SecPO — 提示注入 ASR 78.8%→8.8% 且效用无损
- 2026-11-01:Step-Zero Attack — 损害发生在模型读到内容之前,32/42 组合第一步即不安全
训练与推理效率:RLVR 精细化 + 长上下文爆发(7/7 天出现)
两条并行线:RLVR/蒸馏从粗放奖励转向逐 token 精雕(置信度对齐、强弱自蒸馏、证据绕过);推理侧从 KV 压缩升级到亚二次注意力和投机解码协同。
- 2026-10-27:MuonGS — Muon 优化器范数控制理论+15% 等效加速
- 2026-10-28:WISD — 弱模型作为训练信号,无教师提升推理 4-5.5 点
- 2026-10-29:SCARL — 置信度-优势对齐修正 RLVR 错配
- 2026-10-30:Latent Sparse Attention — 10M token prefill 22.7x 加速
- 2026-11-01:FactorSpec — 结构化约束直接变成投机解码草稿,1.43x 解码加速
AI for Science 与医疗:从自主实验到"诚实化"(7/7 天出现)
Agentic AI 从软件走向物理实验闭环;同时出现"PAPERBENCHX 仅 14% 复现"式的诚实基准,社区开始系统报告失败模式与成本。
- 2026-10-26:Infinity Machine — 自改进 agent 6 天产出 4 个量子信息 SOTA 结果
- 2026-10-28:QUANTA — 自主完成量子材料表征物理实验
- 2026-10-31:Perovskite solar cell design — LLM 选的材料实测效率 27.05%,反超专家偏好
- 2026-10-29:PAPERBENCHX — 93 个跨学科复现任务,最佳仅 14% 完全复现
"审计式 AI 研究"与 Lean 形式化生态(后半周 4/7 天成风)
从 10-30 起明显成势:预注册协议、标签泄漏审计、point-of-use 评测大行其道;Lean 4 与 agent 结合从论文审稿渗透到 GPU 内核验证。
- 2026-10-29:Algebraic World Model — 环境探索转 Lean 4 证明,可证目标不可达
- 2026-10-31:ProofPatch — 补上 Lean 命题本身符合意图的质量闸门
- 2026-11-01:LARK — LLM 生成 GPU 内核从"测试过"升级为"证明对"
- 2026-10-31:Are Fake Citations a Form of Reward Hacking? — 预注册研究:要求引用使伪造率激增 47.8 点
📈 方向走势
持续高产:智能体系统工程(7/7 天,日均约 15-30 篇)、安全与对齐(7/7 天,日均 10-17 篇)、训练/推理效率(7/7 天)、AI for Science 与医疗(7/7 天)——四条主线贯穿整周,构成本周基本盘。
本周爆发:超长上下文/亚二次注意力——前四天仅零星 KV 压缩工作(10-27 DCKV、10-28 GAAC),10-30 单日集中约 12 篇(LSA、树状索引、ACCT、DAMI、SparseGDN),普遍强调"可挂到已训模型"的落地性。
本周爆发:审计式研究/预注册方法论——10-26 起零星出现(kw-bench),10-30 起每日 5-6 篇成风,10-31 被点名为"显学"。
消退:RAG 与知识图谱推理——前半周密集(10-26 约 8 篇、10-27 知识检索约 12 篇,覆盖知识冲突、可溯源 RAG),后半周仅零星出现(10-31 ShiftRAG),热度让位于 agent 记忆与评测方向。机器人/具身智能同样从 10-26(约 8 篇)的焦点位回落,仅 11-01 以工业级世界模型(Xiaomi Auto 2.0)形式回归。
🌟 周度 Top 10
本周无论文被 ≥2 份 daily Top 10 重复选中(七天各自独立 picks),以下按跨日信号强度与创新性从各日遴选。
-
Infinity Machine: a self-improving AI agent for research
Harish Santhanalakshmi Ganesan · 被 1/7 天 daily Top 10 选中 · 自改进 agent 6 天 $180 产出 4 个量子信息 SOTA,开放式 AI 科研可行范式
-
Algebraic World Model: From Exploration to Proofs
Guancheng Pan, Yang Yuan, Andrew Chi-Chih Yao · 被 1/7 天选中 · 环境交互转 Lean 4 形式化证明,ARC-AGI-3 全 183 关通关且可证不可达
-
Pretraining Knows What, Simulation Teaches How (ZAP)
Benjamin Pikus et al. · 被 1/7 天选中 · 零真实数据机器人策略 96.7% 成功率,3x 快 17x 便宜
-
Latent Sparse Attention: Towards Subquadratic Ultra-Long Context Attention
Ales Kubicek, Torsten Hoefler 等 · 被 1/7 天选中 · 10M token prefill 22.7x 加速精度持平,长上下文爆发的代表作
-
Weaken to Strengthen: WISD for Large Reasoning Models
Yecheng Wu, Song Han, Han Cai · 被 1/7 天选中 · 弱模型作训练信号的无教师自蒸馏,HMMT 57.7%→70.5%
-
Step-Zero Attack: Agent Safety Before Observability
Tian Qin, Yuhang Jiang, Junzhe Chen · 被 1/7 天选中 · 重新定义 agent 安全防御位置:模型可观测之前
-
Step-dLLM: Adaptive Step-aware Sparse Attention
Zhichen Zeng, Xichong Zhang, Junpan Wu · 被 1/7 天选中 · dLLM 免重训 2.78x 端到端加速,扫清部署算力障碍
-
FactorSpec: Serving Exact Relational Constraints as Speculative Drafts
Jianchang Su, Dawei Xiang, Wei Zhang · 被 1/7 天选中 · 约束求解变草稿生成,结构化输出服务拉开 13.9 倍差距
-
I-HITL: Inalienable Human-in-the-Loop
Samuel Breckenridge, Ari Juels et al. · 被 1/7 天选中 · 形式化不可剥夺人类监督,10 个前沿模型绕过 OTP
-
Evolving Agent Teams
Shiyi Cao, Ziming Mao, Joseph E. Gonzalez, Ion Stoica · 被 1/7 天选中 · 多智能体自演化从零生成超越生产级 FlashInfer 的 CUDA kernel
📊 本周数字
🔮 趋势观察
① 防御与信任的位置在整体前移。本周安全研究的三次推进方向一致:从过滤模型可见内容(prompt 注入检测),到信任按文件类型分层(Trust Region Effect),再到内容根本未进入模型前就出问题(Step-Zero、工具供应链更新 ETUDE)。与此同时,信任的建立也在前移——Lean 形式化从证明数学命题(Algebraic World Model)走向审查命题本身(ProofPatch)和验证 LLM 生成的 GPU 内核(LARK)。"在损害发生之前设闸"是本周攻防两端的共同答案。
② 评测维度从"对不对"转向"用没用、为什么错"。周一的 kw-bench(harness 决定上限)、周中的 TeamGym(量化沟通差距)到周末的 MemUse(记忆交付点审计)、PAPERBENCHX(仅 14% 复现),一周内的评测基准几乎全部放弃了单一成功率叙事。配合预注册、标签泄漏审计等临床试验级方法论的引入,"审计式 AI 研究"已从零星做法变成可辨识的社区规范。
③ 后训练范式出现"去教师化"苗头。WISD 用弱模型生成信号、PICO 在全 rollout 失败时联合解码、EP-OPD 修复 on-policy 蒸馏的证据绕过——多条线共同指向:当外部教师稀缺或不可靠时,内部强弱对比与闭环自演化(Infinity Machine、Evolving Agent Teams、Skill∞)成为可行的替代路径。
评论