清华姚期智团队提出代数世界模型AWM：结合形式化证明推导底层规律

清华大学姚期智与袁洋团队提出代数世界模型（AWM），通过将交互环境抽象为代数结构并结合Lean 4形式化证明，使大模型能够从观察和实验中自主推导底层规律。在ARC-AGI-3测试集上，基于Opus 5的AWM实现183个关卡全通关并取得99.9%得分，平均动作数仅为人类基准的43%，并能准确证明关卡在限制步数下的不可行性。该框架借鉴范畴论的极限工具构建抽象循环，论文共同一作为本科生潘冠成与谭淇心。