清华团队称AWM通关ARC-AGI-3全部183关

清华大学姚期智、袁洋团队发表代数世界模型（AWM）论文，称其在ARC-AGI-3测试集通关全部183个关卡，得分99.9%，平均通关动作数为人类基准的43%。 AWM通过探索环境、凝炼规则并借助Lean 4形式化证明构建可推理的世界模型。在一个被修改为不可能通关的关卡中，基于Opus 5.5的AWM尝试两次后证明现有步数内无解，并指出只需多一步即可获胜。 论文称，证明仅对模型观测到的世界成立；若探索遗漏关键规则，AWM描绘的只是“局部真理”，而非完整世界。

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

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