中国科学院院士、清华大学交叉信息研究院及人工智能学院院长姚期智和清华大学交叉信息研究院副教授袁洋带领的科研团队近期发表论文《代数世界模型：从探索走向证明》（Algebraic World Model: From Exploration to Proofs），提出”代数世界模型”（Algebraic World Model，AWM）的概念。根据论文介绍，AWM 通俗地说指的是把游戏里的所有对象、关系和规则，抽象成一个”代数世界”后，利用大模型的数学能力，去理解这个世界。今年 7 月的世界人工智能大会上，姚期智进一步系统阐述”AI 有边界”的判断：AI 的本质是”图灵机+数据”，有些问题它注定无法解决，这一判断与本篇论文有异曲同工之妙：换句话说，代数世界模型的真正内涵不是在宣称 AI 无所不能，而是在为 AI 的结论划出一条可检查、可追责的边界。