Axiom Math
AI mathematician building autonomous theorem-proving and formally-verified mathematical reasoning
AI
📍 San Francisco, CA
Founded 2024
Current Valuation
$1.6B
as of 2026-Q1
UNICORN
Axiom Math (often just 'Axiom') builds autonomous AI for mathematics - theorem proving, formally-verified reasoning, and ultimately verified-correct code generation. Came out of stealth in October 2025 and closed a $200M Series A at $1.6B post-money in February 2026, led by Menlo Ventures. Direct competitor to Harmonic and DeepMind's AlphaProof effort.
Company Profile
Growth
pre-revenue research stage
Last Round
Series A — $200M (Feb 2026) · Lead: Menlo Ventures
Founders & Key People
Carina HongMarco Mascorro
Investors
Menlo Ventures · Sequoia Capital · Khosla Ventures
Products
- AxiomProver
- AI mathematical reasoning engine
- Lean / Coq integration
- Formal verification for code
Competitors
Harmonic · DeepMind AlphaProof · Lean community tools
AIFormal MethodsTheorem ProvingAI MathematicianVerification
Private-company numbers are not real-time. Reflects publicly disclosed valuations from press releases, news reports, and tender offers as of 2026-Q1. Refreshed quarterly.