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

Highlights

Focus Areas

Artificial Intelligence (AI)

Education

Generative AI

Information Technology

Recent Investors

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.