Multi-agent system for automated discovery of Betti numbers and Euler characteristic from triangulated surface data. GF(2) chain-complex features + cooperative REINFORCE agents + certified Lean 4 provability oracle.
reinforcement-learning algebraic-topology formal-verification multi-agent-system betti-numbers euler-characteristic lean4 mathematical-discovery chain-complex
-
Updated
Mar 20, 2026 - Python