量子位· Jay·2026-11-01 16:02· 4 小时前AI 评分60

清华姚期智团队提出代数世界模型 AWM，让 AI 从观察走向形式化证明

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

AI 导读

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把游戏中的对象、关系和规则抽象成代数世界，再经探索、凝炼、证明三步形成可机器检查的数学断言。

来源：量子位 · qbitai.com

Agent 智能体推理能力数据与训练论文研究 #论文/研究 #Agent #推理 #数据/训练