#

ai-assisted-mathematics

Here are 2 public repositories matching this topic...

DasBUCH-Catalia / the-book

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

shblue21 / petrunin-o3-comparison-proof-candidate

Exact computer-assisted proof candidate for octahedron comparison in geodesic CAT(0) spaces

semidefinite-programming graph-comparison computer-assisted-proof exact-computation metric-geometry cat0-geometry proof-candidate ai-assisted-mathematics

Updated Aug 3, 2026
Python

Improve this page

Add a description, image, and links to the ai-assisted-mathematics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ai-assisted-mathematics topic, visit your repo's landing page and select "manage topics."