arXiv Artificial Intelligence· Guancheng Pan, Qixin Tan, Yang Yuan, Andrew Chi-Chih Yao·· 17 小时前AI 评分58
Algebraic World Model：从探索到 Lean 4 形式化证明
Algebraic World Model: From Exploration to Proofs
AI 导读
作者提出 Algebraic World Model（AWM）框架，把与陌生环境的交互转化为可执行 Python 假设，再经范畴论引导的结构化简，最终在 Lean 4 中形式化并证明可达性与不可达性。
来源：arXiv Artificial Intelligence · arxiv.org