算法论文8

清华姚期智团队发布代数世界模型

机器学习算法与自然语言处理2026-11-02

AI 摘要

清华大学姚期智团队提出代数世界模型（AWM），将环境规则提炼并形式化为数学证明，在未知规则游戏集 ARC-AGI-3 中以人类 43% 的步数通关全部关卡。

工作机制：写代码提出假设后提炼并用Lean 4完成逻辑证明

因果推理：面对无解关卡能直接证明不可能并算出还差几步

作者阵容：浙大潘冠成与清华谭淇心两位本科生为共同一作

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

中科大团队造溯因世界模型获千万融资

本文报道中科大团队创办的白泽通境，推出具备溯因能力的世界模型AWM，自研端侧推理引擎BAIZ-RUN，可将世界模型压缩部署到机器人端侧，已完成多个工业场景验证，公司成立三月即获数千万首轮融资。

本文探讨世界模型的范式变革，介绍Aether AI推出的引入因果思维链的具身世界模型CausalWM，该模型在多项公开评测中取得领先成绩，分析因果推理对具身智能落地的核心价值，展望其在多领域的应用前景。

OpenAI宣称其下一代AI模型推翻了Connes刚性猜想，第二天堪萨斯大学的J. L. Nielsen就发文回应，指出AI构造的群不满足附加条件，还逐行核对代码指出‘要证什么’有问题，强调人类审查对AI科研结果很关键。

Aether AI 定义技术路线为「因果世界模型」，关注模型识别影响结果的变量、理解因果结构、模拟干预后果。它从预测未来的局限切入，介绍了因果能力的三类核心问题及研究成果，还用四层架构实现能力落地。创始人黄碧薇看好当下时机，从 Physical AI 切入创业。