Fundraising

$264M raised across two rounds since emerging from stealth in October 2025.

March 2026

Series A –  $200M

$1.6B + post-money valuation, Verified AI

Following a perfect 12/12 score on the Putnam Competition and the resolution of a 20-year-old open conjecture in number theory, Axiom raised to extend its lead in formal mathematics into Verified AI — applying provable correctness to code, cryptography, and quantitative finance.

Investors

• Menlo Ventures
• Greycroft
• Madrona
• B Capital
• Toyota Ventures
• Triatomic Capital

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.
Valued at $1.6 billion, a tiny start-up called Axiom is building A.I. systems that can check for mistakes.
new york times

AI Will Write All the Code. Mathematics Will Prove It Works.
AI Will Write All the Code. Mathematics Will Prove It Works.
Menlo ventures

October 2025

Seed –  $64M

$300M valuation,  Emerged from stealth

Axiom emerged from stealth with a foundational team assembled across Meta FAIR, Google Brain, and DeepMind – and the conviction that mathematics is the right substrate for building systems that reason.

Investors

• B Capital
• Greycroft
• Madrona
• Menlo Ventures

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.
Forbes

Toward Mathematical Superintelligence: Why We Invested in Axiom
Why we invested in Axiom
b capital

AXIOM launch!! - YouTube

AXIOM launch!!

AxiomMath233 subscribers