arXiv · cs.AI · Guancheng Pan, Qixin Tan, Yang Yuan, Andrew Chi-Chih Yao · 10 小时前模型评分64
代数世界模型 AWM 提出：把陌生环境交互转成可证明的数学模型
Algebraic World Model: From Exploration to Proofs
导读
论文提出代数世界模型（AWM，Algebraic World Model），把与陌生环境的交互转化为可形式化推理的显式数学模型。AWM 先探索环境并生成可执行的 Python 假设，再按观测不断测试和修正，随后把假设整理成带类型的对象与共享规则，用范畴论引导的变换简化结构，最终在 Lean 4 中形式化以证明可达性与不可达性。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：研究发布
证据摘录
- “We introduce the Algebraic World Model (AWM), a framework that turns interaction with unfamiliar environments into explicit mathematical models supporting formal reasoning.”
来源：arXiv · cs.AI · arxiv.org