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

清华大学姚期智和袁洋团队推出了代数世界模型（AWM），旨在让AI从观察和实验出发，通过探索、凝炼和证明三步走，将游戏或任务中的规则转化为形式化的数学断言。该模型在ARC-AGI-3测试中结合Opus 5模型实现了全部关卡通关，并能有效证明任务在当前条件下的不可行性。

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

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