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

清华姚期智团队提出代数世界模型 AWM，让 AI 像牛顿一样从现象推导规律

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

AI 导读

清华大学姚期智、袁洋团队提出代数世界模型（AWM），把交互环境中的对象与规则抽象为代数世界，经探索、凝炼、证明三步形成可机器检查的 Lean 4 数学断言。

来源：量子位 QbitAI · qbitai.com

#论文/研究 #Agent #推理