清华大学姚期智和袁洋团队发表代数世界模型 AWM 论文，通过探索、凝炼和 Lean 4 形式化证明构建可推理的世界模型。在 ARC-AGI-3 测试集上，AWM 通关 183 个关卡，得分 99.9%，平均通关动作数为人类基准的 43%；在一个被修改为不可能通关的关卡中，基于 Opus 5.5 的 AWM 尝试两次后证明当前步数无解，并指出只需多一步即可获胜。
推荐理由：AWM将观察、假设、凝炼与Lean 4形式化证明串成闭环，在ARC-AGI-3任务中给出可自动检查的判断，并把平均动作数降至人类基准的43%。
REA 论文提出统一运行时，以异步方式协调基础模型驱动的审慎决策、具身路由和快速反应策略，并让运行中的策略无需等待模型决策。
推荐理由：论文把高层推理与快速控制策略的异步协同封装为统一运行时，并用控制步数、耗时与任务成功率对比呈现路由设计的收益。
Microsoft Research Focus 第 97 期汇总了 ForkPilot、CABRA、TeleTune、PBC 与 BioEmu2 等 Microsoft Research 项目进展。
推荐理由：这期内容以短篇幅串联多项研究的方向、实验结果与应用场景，可用于快速了解 Microsoft Research 的近期技术布局。
LARC 将统一多模态模型的推理从离散 token 空间转向连续隐状态，缓解 token 级瓶颈并支持测试时扩展。训练分为课程式 SFT 和信息增益 RL 两阶段，后者无需真实标签监督即可自演化潜在推理。
推荐理由：论文将推理置于连续隐状态以缓解 token 级瓶颈，并给出两阶段训练方法和 GenEval 对比，便于评估多模态推理的扩展表现。
Physical Superintelligence（PSI）称，其自研 AI 科研系统 Emmy 辅助解决了开放量子问题目录中的 5 道长期开放问题，并公开论文、Lean 形式化证明和验证代码供审查。
推荐理由：文章给出了 AI 生成假设、Lean 形式化证明与代码验证的分层流程，并附论文和代码供审查，便于读者理解科研自动化的验证路径。
研究团队有条件地肯定这一方向：在预测、筛选、执行、更新的闭环中，轻量级 System-1 评估候选交互，资源密集型 System-2 只执行获准交互，可降低计算开销。
推荐理由：论文将有用交互密度 ρ_u 与执行成本和选择遗憾关联，给出推理规模化效率的可测量坐标与理论边界。
研究团队运行原始代码，重新激活 Herbert Simon 的 Heuristic Compiler（1961）与 MIT Programmer's Apprentice 项目的 KBEmacs（1984），以比较两种编程理论。
推荐理由：论文以运行原始代码的可执行考古方法复现两套历史程序的关键输出，并比较问题求解与模式组合两种编程观。
论文提出 EvidenceConnect，通过同一图像相关区域的缩放视图合成问题，并用 RLVR 训练出 Zooming without Zooming v2（ZwZ2）。框架仅保留多个独立 VLM 达成一致的参考答案，并通过区域消融剔除移除相关区域后答案仍成立的问题。ZwZ2 改善了细粒度与空间感知，并在具身空间推理、多模态长上下文理解、多模态智能体任务和通用视觉推理上获得进一步提升。
推荐理由：论文把证据连接抽象为可合成能力，并用独立 VLM 一致性与区域消融筛选训练数据，给出可复用的多模态训练流程。
Prox 用 top-k 通道选择替代依赖离线校准数据的阈值筛选，并提出完全由模型权重构建的 reader，以加速 MoE 推理。在 13% 和 18% 读取预算下的 43 组比较中，top-k 版本有 40 组匹配或超过阈值版本，其中 23 项生成任务比较均达到或更优，并避免 Gemma 4 上阈值筛选导致的重复循环崩溃。
推荐理由：论文以 top-k 替代校准阈值，并在 3 个后训练 MoE 模型上对比读取比例、准确率与推理速度。
ThinkWorld 提出 Vision-Language-Action（VLA）学习框架，将动作推理置于世界动力学中，并通过世界想象强化学习利用无动作标注的人类视频。
推荐理由：ThinkWorld 用动作标注初始化 CoD，再以世界想象强化学习利用无动作标注的人类视频，为机器人跨本体迁移提供可复用方法。
OpenAI 宣布三项涉及数学、计算机科学和物理的 AI 生成成果，但差异化披露和专家优先获取引发研究人员不满。数学输出已经公开，计算机科学结果将由外部研究小组协助解释，物理材料则暂缓发布。受访专家称成果可能重大，AGMAI 则根据 OpenAI 的说法指出，物理结果对应的 Lean 形式化已经完成，要求立即公开相关自然语言与 Lean 输出以支持开放验证。
推荐理由：文章对比三项成果的不同披露路径，呈现专家优先获取与延迟公开的争议，以及开放验证对学界参与的影响。
Soft-MTP 通过 KL 梯度恢复移除多 Token 预测中的噪声残差，在不增加参数且无可测开销下改善困惑度、推测解码与推理表现。该方法支持 DeepSeek 和 Meta 风格的 MTP；在 167M 至 1.2B 参数规模上，相比标准 MTP 获得更低的 NTP 困惑度、更快的推测解码和更高的 zero-shot 准确率，1.2B 模型微调后的数学与代码推理也更强。
推荐理由：论文将标准 MTP 梯度拆为 KL 自蒸馏信号与噪声残差，并给出兼容现有训练内核的一行代码改法，为多 Token 训练提供低开销路径。
OpenAI 与 Anthropic 分别发布由 AI 模型给出的证明，并声称这些结果推翻了指数时间假说（ETH），相关主张正引发学界讨论。OpenAI 针对数学、计算机科学和物理学采取不同流程，数学证明先发布到 GitHub，计算机科学界成立工作组并要求公开证明，物理学界的发布方式仍待工作组决定。
推荐理由：文章梳理AI若有效推翻ETH后，可能对依赖该假说的既有论文、密码系统安全、AI证明审查方式及学界公开协作规范产生的具体影响。
OpenAI 邀请包括诺贝尔奖得主在内的外部专家，核查其 AI 在数学、计算机科学和物理领域生成的证明。OpenAI 称成果包括证明 ETH 为假、在所有维度证明局部平滑猜想，以及证明某些四维量子场论存在；数学和计算机科学证明已转为 Lean。Yang-Mills 结果仅声称解决存在问题而未证明质量间隙，物理团队暂时保留相关材料，独立核查者也明确表示参与不等于背书。
推荐理由：文章把三类证明的外部核查流程、Lean 验证边界和材料开放安排并列呈现，为理解 AI 科学发现的审查路径提供具体参照。
S3AC 提出一种稳定化的 Actor-Critic 训练方法，通过难度感知提示词采样改进大语言模型的长链式推理，并减少对分组 rollout 的依赖。训练后的 critic 提供 token 级优势和提示词特定基线，DAPS 再结合难度估计与历史结果，在生成前选择提示词，以减少 rollout 浪费且无需离线难度初始化。
推荐理由：论文将 critic 训练、token 级信用分配与难度感知采样整合，并用多规模模型和单 rollout 对比呈现方法收益。
OpenAI 公布数学、计算机科学与物理三项研究输出，分别主张证明波动方程局部平滑、否定 ETH，以及给出含规范场与费米子的四维相互作用量子场论存在性证明。数学结果使用辅助偏微分方程，并涉及 Kakeya 与 Stein 估计；计算机科学结果给出在次指数时间和多项式空间内精确计数固定宽度 CNF 公式满足赋值的确定性算法，文中称 3-SAT 情形可反驳 ETH。
推荐理由：材料不仅列出三项研究输出，还呈现外部专家引导验证的协作方式及优先获取机制引发的学术流程争议。
FrameForge 动态选择不同虚拟间隔的时序 RoPE 专家，并通过潜在中间状态建模条件到目标的变换，实现统一条件图像生成。该方法以 Mixture of Temporal Experts（MoTE）和 Chain of Temporal Reasoning（CoTR）分别建模条件与目标的时序距离及变换路径，建立在预训练视频模型之上。
推荐理由：FrameForge 将视频模型的动态时序先验用于统一条件图像生成，并用 MoTE、CoTR 和三项基准对比展示多任务表现。
论文提出 LOWN 解码方法，在无图像预测与上一次图像条件预测一致时跳过图像处理，并用经认证的 token 数量决定该步解掩码数量。该方法无需训练或调节阈值，在 10 个基准上保留 LLaDA-V 得分的 99.6%，平均使用 35.3% 的解码 FLOPs。
推荐理由：论文量化了扩散视觉语言模型重复处理图像的开销，并用证书引导路由在无需训练和阈值调节的条件下削减解码计算。
论文《Attention Is Not What You Need》提出基于Grassmann流的无注意力架构，以Causal Grassmann层将局部token对编码为二维子空间，替代L×L显式自注意力矩阵。
推荐理由：论文以同规模Transformer为对照，报告Wikitext-2困惑度、SNLI准确率及固定秩下的线性扩展特性，为评估无注意力架构提供量化依据。
SPOT通过预测扩散语言模型的token生成顺序并并行验证候选，在保持精确解码的同时最多减少6.8倍目标模型推理轮次。其0.62M参数模型仅读取目标模型的输出分布，预测顺序并提出候选续写树，由目标模型在单次推理中按状态相等性验证，共享Gumbel噪声使验证在任意温度下保持精确。
推荐理由：SPOT以0.62M参数模型预测token生成顺序并构造候选树，在保持精确解码的同时最多减少6.8倍目标模型推理轮次。