清华姚期智团队新作代数世界模型AWM,让AI像牛顿一样思考
清华大学姚期智、袁洋团队发布论文,提出代数世界模型AWM,让AI从观察和实验出发,把零散假设凝炼成可用Lean 4语言机器验证的规律。论文称AWM基于Opus 5通关ARC-AGI-3全部183关、得分99.9%,平均通关动作数仅为人类基准的43%;面对被改为无解的关卡,基于Opus 5.5的AWM尝试两次即判定无解且只差一步即可获胜。
用可机器验证的数学建模替代直觉试错,直指智能体误判任务可行性的幻觉问题,成果目前来自游戏环境。
- 影响对部署智能体的企业,可行性判断能否给出可核验依据,直接影响任务误判的代价;该方法依托大模型数学能力与Lean 4,落地门槛和探索成本尚无公开数据;团队自认探索不全时只能得到局部结论。
- 参考采购或自建智能体时,可考虑在验收里加一项让系统解释为何任务不可行;对形式化验证这类方法,值得先在单一内部场景小规模复现后再评估投入。