AI4Math is an open-source organization focused on artificial intelligence for mathematics: formal reasoning, theorem proving, mathematical knowledge systems, and tools that make rigorous math more accessible.

"Build open resources and tools for AI-assisted mathematical reasoning."

Our mission: advance AI for mathematics through high-quality open-source resources, reproducible tooling, and practical bridges between machine learning, formal methods, and mathematical discovery.

A curated list of interactive theorem provers, proof assistants, and formal verification systems.

• Interactive theorem proving and proof assistant ecosystems.
• Formal mathematics libraries and reusable proof infrastructure.
• Deductive program verification and formal verification platforms.
• AI-assisted proof search, proof repair, and mathematical reasoning workflows.
• Curated references for researchers, students, and builders working at the intersection of AI and mathematics.

We welcome contributors, researchers, students, and builders interested in AI-assisted mathematics, formal verification, and open mathematical knowledge infrastructure.