Axiom

Private

Builds verified AI systems that use formal mathematics to prove the correctness of AI-generated code, scoring a perfect 12/12 on the Putnam Competition in December 2025

Founders Carina Hong

CEO Carina Hong

Company

Founded

2025

Headquarters

San Francisco, United States

Financials

Total Funding

$264M

Last Valuation

$1.6B

Sectors

Artificial Intelligence Developer Tools

axiommath.ai Twitter

Funding History

2 rounds

Series A Mar 12, 2026

$200M

Valuation: $1.6B

Menlo Ventures (Lead) Madrona Greycroft B Capital Group Toyota Ventures Triatomic Capital

Seed Oct 2, 2025

$64M

Valuation: $300M

B Capital Group (Lead) Greycroft Madrona Menlo Ventures

Funding data is compiled from multiple independent sources including company announcements, press coverage, and regulatory filings. While we strive for accuracy, amounts and dates may reflect reported figures at time of announcement.