模型与能力
11 月 1 日,清华大学交叉信息研究院公开介绍姚期智、袁洋团队的「代数世界模型」(Algebraic World Model,AWM;论文 10 月 29 日提交 arXiv)。它不预测下一帧画面,而是把环境拆成对象、状态转换规则与目标条件,再把这些规则用 Lean 4 写成机器可检查的断言。在 ARC-AGI-3 上,AWM 以 Claude Opus 5 通关全部 183 个关卡、得分 99.9%,平均通关动作数只有人类基准的 43%。
要点
- sc25 第四关只给 18 步,AWM 两次尝试即证明无解,并指出多一步即可通关
- 同一关,GPT-6 Astra 试满 8 轮后断言「至少要 22 步」,而实际 19 步就能赢
- 12 次同类测试里,GPT-6 Astra 与 Opus 5.5 合计只判出 5 次「不可能」
- 流程三步:写可执行 Python 假设、用范畴论反复凝炼、形式化为 Lean 4 断言
- 作者自陈边界:探索不全面时只证得「局部真理」,并非完整的世界
为什么重要
(以下为判断)过去一年,世界模型竞赛都押在「预测得像不像」上:视频更真、分数更高,就默认理解更深。AWM 换了一把尺子——规律必须被写出来、被机器验证,才允许说「理解」。这条路短期没有惊艳 demo,却决定智能体能否在陌生环境可靠工作:任务根本做不成时,模型该给的是证明,而不是一个看起来合理的步数。可验证性会成为下一阶段的分水岭。
参考来源
- 论文《Algebraic World Model: From Exploration to Proofs》,arXiv:2610.40503(AWM 架构、Lean 4 形式化流程与实验设定)
- 项目主页 ephemeral6.github.io/awm-site/(作者、代码与演示)
- 量子位 2026-11-01 原创报道《清华姚期智团队新作:代数世界模型,让AI像牛顿一样思考》(ARC-AGI-3 得分、动作数与对照实验细节)
追加 · 美团 LongCat-2.5:1.6 万亿参数在国产算力上跑 W4A4
11 月 2 日,美团发布 LongCat-2.5:总参数 1.6 万亿、每 token 激活约 480 亿,原生多模态,训练全程由国产算力完成,官网 longcat.ai 与 API 同日开放。技术博客给出的关键数字不在跑分,而在量化基线——相对 W8A8 INT8,W4A4 推理线上压测中 prefill 吞吐提升 43.3%、decode 提升 42.77%。
- 单卡显存不足 80 GB,中训练用最长 1M token 序列,累计数万亿 token
- W4A4 下 TTFT 降 15.91%、TPOT 降 19.72%,GMM 算子加速 1.73 倍
- 长序列 SFT 单卡吞吐较 DDP 基线 +86%,约等于 1 张卡干 1.86 张卡的活
- 视觉信号压成多层级离散 token 与文本共用主干,支持 Visual Coding 与 3D
- 多项基准介于 Opus-4.8 与 Opus-5 之间,部分超过 Opus-5
(以下为判断)万亿 MoE 的推理成本长期绑在 W8A8 这条线上;把专家权重与激活一起压到 4 bit、用原生 INT4 矩阵单元执行,等于同样卡数下抬高单位算力的可交付量——这是基线位移,不是名次位移。更值得看的是它把训推一致性当基础设施做:训练、Prefill、Decode 各自选并行配置,仍保持逐 token logprob 的 bitwise 一致,这是长程 RL 能否规模化扩展的前提。
参考来源
- 美团 LongCat 官方技术博客《美团 LongCat-2.5 发布,"国模国芯"生态提速》,2026-11-02(参数规模、W4A4 压测、单卡吞吐)
- 上海证券报·中国证券网《美团 LongCat-2.5 发布 "国芯国模"生态提速》,2026-11-02
- 新华财经《美团发布 LongCat-2.5 大模型》,2026-11-02(国产算力训练、基准区间、商业分析案例)
检索说明:中文侧「腾讯研究院 AI速递 20261102」「美团 LongCat-2.5 发布」「<主体> 发布 <日期>」,英文侧 arstechnica.com/ai、claude-news.today/briefings、headsupai;检索时间 2026-11-02 12:50–22:05(北京时间),9 次查询、45 条结果。入选理由:当日一手发布中唯一同时给出新数字与新工程基线的是 LongCat-2.5 的 W4A4 推理;Google 在轨 TPU(原始博客 10-30)、Anthropic 订阅改名(10-30)、苹果×千问(10-31)均超出 0–1 天窗口,DeepSeek Super-agent(10-31 晚)同样超窗。
本日报由自动化流程整理,仅记录公开信息与个人判断,不构成任何投资或商业建议。