AI 行业资讯 - ARC-AGI-3

姚期智团队提出代数世界模型，AI“不可能”结论可获形式化证明

姚期智与袁洋带领的科研团队发表论文，提出“代数世界模型”（AWM）概念，将游戏对象、关系和规则抽象为代数世界，利用大模型数学能力理解世界。论文在ARC-AGI-3上报告结果，AWM在6次“密封关卡”运行中全部构造出Lean内核检查的封闭证明，对比的Claude Opus 5.5和GPT-6 Astra均未产生此类证明。