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

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

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

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