Axiom Math logo

Axiom Math

Recent Finacing

Series A

Recent Raise

$200M

Axiom (Axiom Math) is a startup building AI systems that use formal mathematics to verify software and scientific reasoning.

California, United States
11-50
Private
axiommath.ai

Highlights

Focus Areas

Artificial Intelligence (AI)
Education
Generative AI
Information Technology

Recent Investors

Menlo Ventures logo
Greycroft logo
B Capital Group logo
Madrona Venture Group logo
Triatomic Capital logo
Toyota Ventures logo

Financials

$1.6B

Valuation as of 03/13/2026

$264M

Total Raised

2

Funding rounds

4

Investors


Team

Upgrade to view the team

See the team members at Axiom Math.