姚期智团队提出代数世界模型

发生了什么

姚期智和袁洋团队近期发表论文《代数世界模型：从探索走向证明》，提出“代数世界模型”（AWM）。论文称AWM可将游戏的未知规则转化为数学定理，并用Lean内核检查的封闭证明说明“不存在获胜路线”等断言。作者栏显示，姚期智与袁洋担任指导，潘冠诚与谭启新为第一作者。