清华姚期智团队提出代数世界模型，让AI像牛顿一样思考

清华大学姚期智和袁洋团队提出代数世界模型(AWM)，让AI从观察实验出发，通过代数方法提炼规律并形式化证明。在ARC-AGI-3测试中，AWM基于Opus 5模型实现183个关卡全部通关，效率达人类基准的43%，并能准确判断任务不可能性。