Machine-verified contributions to open problems in mathematics. Headline result: the strong Molluzzo problem for modulus 6 (balanced Steinhaus triangles over Z/6Z) — resolved, formalized in Lean 4, replayed by CI. Don't trust — verify. AI-assisted. Sponsor: Catalia.
theorem-proving mathematics proof-assistant combinatorics formal-verification number-theory open-problems mathlib lean4 ai-assisted-mathematics steinhaus-triangle molluzzo-problem
-
Updated
Aug 8, 2026 - Lean