After a $64M seed and four verified proofs, Axiom Math aims to scale AI-driven formal mathematics
Axiom Math surfaced from stealth in 2024 with a $64 million seed round led by B Capital and a roughly $300 million valuation. Its headline claim: an AI — AxiomProver — that doesn’t only suggest answers but generates step-by-step, machine-checked proofs using proof assistants such as Lean and Coq. Funding milestone and the verified breakthroughs […]