Algebraic World Model: From Exploration to Proofs
AI has made remarkable progress in mathematics, solving challenging problems with machine-checkable proofs in Lean, yet typically relying on predefined mathematical definitions and formal specifications. This raises a natural question: can it reason rigorously about an unknown world? We introduce the Algebraic World Mo...
Guan-Cheng Pan, Qi-Xin Tan, Yang Yuan et al.
· 0 citations