跳到正文
实时
#arXiv
11月1日周日
  1. 量子位72

    清华姚期智团队提出代数世界模型 AWM，让 AI 从现象中推导规律

    清华大学姚期智、袁洋团队提出代数世界模型（AWM），将交互环境中的对象与规则抽象为代数世界，通过探索、提炼、证明三步生成Lean 4可验证的数学断言。在ARC-AGI-3测试集上，基于Opus 5的AWM通关全部183个关卡，得分99.9%，平均通关动作数为人类基准的43%

    推荐理由: 清华团队提出代数世界模型，把游戏探索转成可机器检验的数学证明，读者可看到智能体从试错走向形式化建模的一条路径。

10月14日周三
  1. 蚂蚁 inclusionAI · Hugging Face 新模型

    inclusionAI/Ling-3.0-flash-UBTree 发布：基于 UBTree 技术的推测解码模型

    inclusionAI 发布 Ling-3-Flash-UBTree-B16 模型，结合五层 DFlash 主干和学习的 bigram 选择器，为 Ling3-Flash 提出多个候选延续用于目标模型验证，参数量 482M，在 MMLU 等基准上实现 3x+ 的 E2E 速度提升，目前 UBTree 适配尚未开源，SGLang 集成支持预计即将推出。