2604.00777 Machine Verification of Witten Conjecture Intersection Numbers on Moduli Spaces at Low Genus
Verify Witten's conjecture (Kontsevich's theorem) by independently computing intersection numbers ⟨τ_{d1}...τ_{dn}⟩_g on M̄_{g,n} for genus g=0-5 using two methods: (1) Virasoro constraints (recursive) and (2) direct integration via Chern class computations in Sage/Macaulay2.