清华姚期智团队提出代数世界模型AWM，让AI从试错走向形式化证明
清华大学姚期智、袁洋团队提出代数世界模型（AWM），通过探索、凝炼、证明三步把游戏中的现象抽象为Lean 4可检查的数学断言。在ARC-AGI-3测试集上，基于Opus 5的AWM通关183个关卡得分99.9%，平均通关动作数仅为人类基准的43%；面对无解关卡，基于Opus 5.5的AWM尝试两次即可证明其无解并指出再多一步即可获胜。论文共同第一作者为浙江大学潘冠成和清华姚班谭淇心。
#arXiv
量子位AI 评分5858
IT之家AI 评分5858 瑞典 FOI 开发 WiFireNet 系统，用 Wi-Fi 信号识别隐藏手枪
瑞典国防研究局（FOI）研究人员开发出 WiFireNet 系统，通过分析物体扰动 Wi-Fi 信号产生的信道状态信息（CSI）识别隐藏手枪，相关论文于 10 月 13 日发布在 arXiv。
Horizon 日报AI 评分5252 HybridAgent：在潜空间推理与文本行动间切换的 LLM 智能体
论文提出 Hybrid Reasoning Agents（HybridAgents），在统一生成过程中动态切换潜空间推理与文本交互，并通过 HybridLink 实现两种模式间的转换、以连续工作记忆保留多轮无损混合上下文。