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

清华大学姚期智和袁洋团队推出了代数世界模型（AWM），旨在让 AI 从观察和实验出发，通过探索、凝炼和使用 Lean 4 进行形式化证明，像牛顿一样从现象中提炼数学规律。AWM 结合了范畴论的投射极限与归纳极限，在 ARC-AGI-3 测试集上实现了高效率和高通关率，并能准确判断任务在当前条件下的不可行性。论文共同第一作者为潘冠成和谭淇心。