清华姚期智团队提出代数世界模型，助AI推导规律

清华大学姚期智和袁洋团队提出代数世界模型（AWM），通过探索、凝炼和形式化证明三步，让AI从观察中理解世界本质。基于Opus 5模型的AWM在ARC-AGI-3测试集全部通关，平均动作数仅为人类基准的43%，并能准确判断无解关卡。