搜索

清华团队提出代数世界模型 AWM，探索游戏规则与形式化证明（在新窗口打开）

AWM 将交互环境中的观察写成可执行假设，再通过实验修订与 Lean 4 形式化，尝试在游戏中解释可行路径和无解条件。团队报告了 ARC-AGI-3 任务结果，同时指出证明依赖于已建模的规则，遗漏环境机制时仍需重新探索和验证。