清华团队提出代数世界模型AWM

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象、关系和规则抽象成代数结构，通过探索、凝炼、证明三步，将观察到的现象用Python假设表达，再形式化为Lean 4可自动检查的数学断言。 在ARC-AGI-3测试集上，AWM用Opus 5模型183个关卡全部通关，得分99.9%，平均通关动作数为人类基准的43%；面对一个无解关卡，基于Opus 5.5的AWM尝试两次即可证明该关在当前步数下无解，且再多一步就能获胜。团队指出，其证明基于「观测到的世界」成立，若探索不全面、遗漏关键规则，模型描绘的只是「局部真理」而非完整世界。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。