Recent Financing
Recent Raise
Axiom (Axiom Math) is a startup building AI systems that use formal mathematics to verify software and scientific reasoning.
Focus Areas
Recent Investors
Valuation as of 03/13/2026
Total Raised
Funding rounds
Investors
See the team members at Axiom Math.
