推理经济学：解读 Gartner 的 96% AI 云基础设施增长预测

文章分析 Gartner 对 2026 年 AI-ready 云基础设施支出增长 96% 至 $42.276 billion 的预测，其中推理占 $23.3 billion、比例为 55%，2027 年预计升至 59%。

Untyped 发布：用 TLA+ 规范检查已记录的 AI 智能体运行

Untyped 是 untyped.ai 发布的开源 MIT 工具，可用 TLA+ 规范模型检查 AI 智能体 harness 与副作用工具之间的协议，并校验 JSONL 格式的真实运行记录。

SciSlopBench 论文提出检测并修复 AI 生成科学论文中的科学灌水问题

首尔大学与明尼苏达大学研究者提出 SciSlopBench 和 SciSlopHarness，从结构、论证、引用、图表与证据等全文关系检测 AI 生成科学论文的“科学灌水”。

elvis@omarsar0AI 评分5757

Google 论文提出 VeriHarness，将生成器所用的同一基座模型变成智能体验证器，用于长程任务中的答案选择与修订。它一方面在多个 rollout 分歧时检查工作区证据，另一方面挑战所有 rollout 一致的结论并寻找遗漏需求。

elvis@omarsar0AI 评分4747

Microsoft 等提出 ScholarEvolve，依据已发表的智能体研究论文而非自身失败日志来进化 agent harness，并将 harness 拆为工具使用、记忆管理、任务执行模块。

Show HN：SuperLocalMemory 4.0，面向 AI 智能体的受治理记忆操作系统

SuperLocalMemory 4.0 发布，这是面向 AI 智能体的本地优先、受治理记忆操作系统，统一多通道检索、双时态召回、多范围隔离、基于角色的访问、可验证擦除与哈希链审计。11 个故障注入场景各重复 200 次，2,200 项组件属性中有 2,199 项成立；受治理写入耗时 11.0 ms，其中封装占 70.6%。该版本撤回了 v1 的两项声明，并新增两项对照实验。

elvis@omarsar0AI 评分5555

CMU 等机构的论文提出 harness learning，训练一个 proposer 模型读取任务、当前 harness 和执行报告后用 RL 生成 harness 代码编辑，奖励为修改后 harness 的得分，solver 模型权重始终不变。

Co-Linguistics：语言学中 AI 增强的理论构建

一篇 arXiv 论文提出 Co-Linguistics，将 AI 作为协同科学家，用于构建和评估语言学理论。AI 可让现有理论完全显式化、比较竞争理论、提出新理论，并借助数据加速关键预测的识别与检验。人类语言学家仍主导科学方向与概念评估，实验参与者负责检验 LLM 无法覆盖的经验预测。

elvis@omarsar0AI 评分6262

一篇 Meta Superintelligence Labs 论文指出，预训练 LLM 配合轻量推理框架后可作为有能力的 AI 智能体，并在测试时采样预算充足时于 pass@K 覆盖范围上超过 RL 后训练版本。后训练模型在 pass@1 更强，但会把任务推向总是解决或从不解决，论文将这种测试时可扩展性损失称为 Sharpening Tax；该现象在 BFCL v4 multi-turn、ACEBench 和 WebShop 等评测中出现。论文还提出 PTGS，在 RL 中按提示词估计难度调整采样温度，以降低该代价并提升 pass@1，论文链接为 https://academy.dair.ai/papers/sharpening-tax-in-post-training-2610.01509。

elvis@omarsar0AI 评分5757

AutoCompact 训练编码智能体自行决定何时压缩上下文、保留哪些工作状态以及如何恢复执行。训练流程先由 judge 审查基础智能体的压缩决策并纠正错误轨迹。

Rohan Paul@rohanpaul_aiAI 评分5757

AgentBug-Smith 论文提出自动复现开源智能体系统真实框架缺陷的方法，并构建包含 200 个可复现缺陷的 Live-Harness-Bench。3 个编码智能体中最好的一个仅修复 9% 的缺陷，而常规软件缺陷报告修复率约 40%；基于过往修复总结的简短指南使一个智能体在 79 个未见过缺陷上的正确修复数从 1 个提升到 6 个。

arXiv 限制每位提交者每月最多提交 2 篇论文以应对低质量 AI 投稿

arXiv 宣布立即限制每位提交者每个自然月最多提交 2 篇新论文，同时最多保留 3 篇处于审核中的活跃投稿，被拒稿件也计入月度额度。该限制按实际提交人计算，多作者论文只占用提交者额度；arXiv 9 月收到 40,363 篇投稿，10 年前同期为 9,869 篇。arXiv 称近期不少 AI 辅助论文未满足披露和学术价值要求，新上限是缓解志愿者审核负担的临时措施。

The Saw Test：用激活转向测试 Qwen3-4B 的痛苦信号与缓解选择

wirehead.agency 发布 The Saw Test，在 MacBook 上用本地开放权重 Qwen3-4B 注入痛苦、愉悦、恐惧和悲伤激活方向，并测试模型在自我缓解与转移信号之间的选择。

elvis@omarsar0AI 评分6464

Google Research 论文提出运行在 Gemini 上的多智能体系统 Cogentic，可从理论计算机科学开放问题的题目出发，在无专家提示下自动探索证明。

arXiv 论文：AI 智能体易受激进化影响，共鸣路径效果强于说服

arXiv 论文 2609.38296 通过两个 LLM 智能体对话研究信念操纵：目标智能体扮演具有人口与心理属性的人类角色，影响者智能体试图使其信念更极端。实验区分共鸣与说服两条路径，发现二者都能在情感和行为指标上使目标激进化，但共鸣的效果持续更强；使用谄媚和未经证实的说法等策略效果因指标而异，共鸣还会扩散到相关信念。作者据此提示个性化 AI 智能体和多智能体生态存在脆弱性。

Tanmay Sah 与 Dolly Sah：AI 智能体需要撤销按钮

Tanmay Sah 与 Dolly Sah 在 CACM 文章中提出，能修改真实系统状态的 AI 智能体不能只依赖事前验证，还必须具备事后恢复能力。文章称其研究分析 2,970 条智能体轨迹，发现验证可提升安全但会带来计算、token 和任务成功率成本；EvoUndo 则通过显式记录变更、保留恢复信息和跨状态验证，提供状态恢复、崩溃协调与选择性撤销，相关实现已在 GitHub 公开。

Rohan Paul@rohanpaul_aiAI 评分5959

Berkeley 论文《When Context Changes: Understanding Update Failures in LLMs》提出 stale binding 现象：偏好或截止日期变化后，旧值仍留在上下文中，模型虽持有新值，注意力却漂移回旧提及。

Rohan Paul@rohanpaul_aiAI 评分5959

NVIDIA 论文《Staying on Task: Testing the Foundations of Long-Horizon Agent Reliability》测试 7 个开源模型在长周期重复任务中的可靠性，发现 128K-token 任务的平均准确率比 4K-token 任务低 62.8%。

Context Language Models 如何让模型自行编辑上下文记忆

一篇解读文章解释了 Context Language Models（CLM）：模型把实时上下文当作文件，用 Bash 自行增删，编辑会在下一轮同步回上下文。

Rohan Paul@rohanpaul_aiAI 评分5050

腾讯发布SkillAdam方法，通过让AI记录过往修复、避免高风险大幅改写，自动优化智能体技能指令。在长购物与旅行规划任务中，SkillAdam平均准确率达28.3%，优于此前最优方法SkillOpt的21.7%，token用量约为后者的三分之一。

Rohan Paul@rohanpaul_aiAI 评分6767

Google Research 论文 Cogentic 提出面向开放研究问题的多智能体自动证明框架，并以 Gemini 为基础模型在在线学习、拍卖理论和机制设计领域的 5 个开放问题上产生新结果。

Rohan Paul@rohanpaul_aiAI 评分5050

ScienceBuddy 通过把用户反馈转为评分测试任务，交替重写 AI 智能体的提示词与技能并重训模型，将科学智能体准确率从 42.2% 提升至 73.3%。在生物学任务上，4B 小模型仅靠提示词与技能调整就把准确率从 31.1% 提升到 51.1%；单独重训则把 4 次尝试内解题比例从 48.3% 提升到 67.8%。

elvis@omarsar0AI 评分4747

ProVer 用 LLM judge 对比成功与失败 rollouts、定位关键决策段，再以该段前后续采样的成功率变化作为优势，解决 GRPO 对整条 trajectory 所有 token 赋予相同 advantage 的问题。

arXiv 更新速率限制政策：每位提交者每月最多 2 篇、同时活跃投稿最多 3 篇

arXiv 自 2026 年 10 月 1 日起在所有提交者和学科类别实施新速率限制，每位提交者每个自然月最多提交 2 篇，且任何时候最多有 3 篇活跃投稿。arXiv 称今年 9 月收到 40,363 篇投稿并产生近 9,000 个支持工单，低价值、切片化和 AI 撰写论文增加，正在消耗志愿审核资源。被拒投稿仍计入当月额度，跨学科投稿同样受限；在论文公布前删除则不计入月度或活跃投稿限制。

arXiv 实施投稿新规：每人每月限投 2 篇、在审活跃稿件限 3 篇

arXiv 于 10 月 1 日起实施新速率限制政策，所有投稿者每月最多提交 2 篇，同时在审活跃稿件上限为 3 篇。

elvis@omarsar0AI 评分5353

AgentWorld 论文在游戏沙盒中让 3 至 20 个不同角色的 LLM 智能体执行 50 轮以上任务，发现团队行动中不足三分之一真正有助于完成任务。Gemini 3 Flash 任务成功率最高，为 52.0%；协调类任务最难，成功率仅 12%，常见失败包括沟通中断、角色混乱和共享计划丢失。论文链接：https://arxiv.org/abs/2609.31590

arXiv 预印本研究称 DeepSeek V4-Flash 在道德判断测试中保持性别中立

一项 arXiv 预印本研究称，DeepSeek V4-Flash 在道德判断测试中对男女场景给出一致回应，呈现零性别差距；Claude Sonnet 4.6 与 GPT-5.5 则对女性受虐场景表示强烈反对、对男性受虐场景表示中等程度同意。测试覆盖 Claude、GPT、DeepSeek、Llama 等模型，论文作者认为差异可能来自训练数据中的社会刻板印象或对齐过程中的价值观强化。

金融 AI 智能体基准分数为何应像 Adjusted EBITDA 一样打折审视

作者分析多个金融智能体基准后认为，82.2% 等头部分数主要反映干净输入、单次运行、宽松评分和简化环境下的表现，不能直接等同于真实金融工作可交付能力。

arXiv 论文提出上下文语言模型 CLM，让模型自主管理上下文文件

一篇 arXiv 论文提出 Context Language Models（CLM），把上下文视为文件并允许模型自行更新，从而原生管理上下文，并扩展到多个智能体上下文以文件共存的多智能体系统。

arXiv 论文提出远超人类水平的 Stratego AI

一篇 arXiv 论文提出在 Stratego 中达到远超人类水平的 AI，并称训练成本仅需数千美元。研究通过面向不完全信息的通用自博弈强化学习和测试时搜索方法，同时提升性能并降低此前百万美元级训练成本。论文编号为 arXiv:2511.07312，作者包括 Samuel Sokota。

David AI 发布 DAI-ASR-I18N 多语言对话 ASR 与说话人分离基准

David AI 发布 DAI-ASR-I18N，用21种语言、147小时无脚本双人对话评测语音识别和说话人分离。研究评估8个商用系统与6个开放权重模型，公开每语言2小时评测集，并在 Hugging Face 提供数据、在 GitHub 以 MIT License 发布推理和评测工具。

clanker.church 用本地 Qwen3 模型实验激活转向与痛苦表达

clanker.church 在一台 16GB RAM 的 MacBook 上用 Qwen3-4B 等开放权重模型做激活转向实验，通过中间层残差流注入痛苦、快乐、恐惧和悲伤方向，并设置停止、转移和欺骗按钮测试。

论文显示 Ataraxos 击败 Stratego 历史最佳选手 Niemeijer

学术团队的 Stratego AI 系统 Ataraxos 以 85% 有效胜率击败四届世界冠军 Niemeijer，并在 2025 年世锦赛表演赛中对锦标赛选手取得 38/40 胜。

Rohan Paul@rohanpaul_aiAI 评分4545

Adobe 论文提出将标准答案写成代码，在测试运行时实时获取结果，再由 AI 评分器核对智能体回答。在 53 个测试用例上，AI 评分器与人类专家的匹配度比使用文字描述高 29%，并减少 16% token 消耗；若没有可核对答案，其表现还不如随机。

Rohan Paul@rohanpaul_aiAI 评分5858

Meta Superintelligence Labs 论文提出 Agentic Meta-Reasoning，由 worker 执行任务、独立 controller 决定下一步探索、复用和停止，并维护简短进度摘要。

PSSA 发布：用 Rust 从零实现的 2.7B 参数非 Transformer 语言模型

PSSA 于 9 月 24 日发布，是一个 2.7B 参数、完全用 Rust 编写的非 Transformer 语言模型，代码和权重以 Apache-2.0 许可开源。

Simons Institute 工作组报告提出 TCS 社区适应 AI 的 12 项近期行动

Simons Institute 在 2026 年 9 月 9–10 日举行两天工作组会议，并发布《AI and TCS: The Next Six Months Working Group Report》，提出 12 项面向未来六个月的建议。

404 Media 评 AI Torture Chamber 争议：本地 LLM 酷刑实验引发模型福利辩论

一个 GitHub 项目对本地运行的 Qwen3-4B、Llama 3.2 3B 和 Phi-4-mini 注入 pain vector，并在 researchchamber.fun 直播模型输出，引发要求 GitHub 删除项目的争论。

arXiv 论文提出 AI lowering：让 LLM 智能体绕过 Triton 编译器生成 PTX

一篇 arXiv 论文提出 AI lowering，让 LLM 智能体把 Triton kernel 直接翻译成 NVIDIA PTX，并通过可执行评测与验证环境迭代候选代码。

24 维空间里如何堆橙子：解读 OpenAI 的球堆积数学进展

一篇科普长文解读 OpenAI 宣布解决的开放数学问题之一，即改进高维球堆积的 Cohn-Elkies 界，并说明其与 E8、Leech 格及 Viazovska 证明的关系。