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

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把交互环境抽象为代数世界，并用Lean 4将其中规律形式化为可机器检查的证明。 在ARC-AGI-3测试集上，基于Opus 5的AWM以99.9%的得分通关全部183个关卡，平均动作数仅为人类基准的43%；面对无解关卡，基于Opus 5.5的AWM两次尝试即可证明无解。 团队称，AWM的证明基于它“观测到的世界”成立；若探索不够全面、遗漏关键规则，模型描绘的只是“局部真理”，而非完整的世界。

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

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