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

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象与规则抽象成代数世界，再形式化为Lean 4断言，使AI从试错探索走向建模与形式化推理。在ARC-AGI-3测试集上，基于Opus 5的AWM通关全部183个关卡，得分99.9%，平均通关动作数仅为人类基准的43%；面对被改成无解的关卡，基于Opus 5.5的AWM尝试两次即判断无解，并指出只多一步即可获胜。