Fundraising

Series A — $200M

$1.6B+ post-money valuation

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.

Led by

  • Menlo Ventures

With participation from

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

Seed — $64M

$300M valuation

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.

Watch the announcement

Led by

  • B Capital

With participation from

  • Greycroft
  • Madrona
  • Menlo Ventures
View all press