Axiom Math
The starting point for reasoning.
Palo Alto, United States · Founded 2025 · $264.0M raised
- Headquarters
- Palo Alto, California
- Employees
- 11–50
- Founded
- 2025
- Business Model
- B2B
- Website
- axiommath.ai
- Total Funding
- $264.0M
- Last Round
- $200.0M Series AMar 2026
- Rounds
- 2
About
Axiom Math is building an AI mathematician platform that generates and verifies formal mathematical proofs. Founded by Stanford dropout Carina Hong, the company raised $64M in seed funding in 2025 and $200M in a Series A in 2026.
Summary
Axiom Math is an Artificial Intelligence company based in Palo Alto, United States, founded in 2025. It has raised $264.0M in total across 2 rounds, most recently a $200.0M Series A round in Mar 2026. Investors include B Capital Group, Greycroft and Madrona Venture.
Tech & App Stack
6 technologies & apps tracked
Create a free account — 10 credits a month to unlock the full tech & app stack, funding history, and valuations.
Sign up to view the funding chart
Create a free account — you'll get 10 credits a month to unlock funding history, valuations, and tech stacks.
Funding History
Mar 2026
Sign up to see all 2 rounds
Full funding history, per-round amounts, and investor participation.
Investors
Similar Companies
OpenAI is an AI research and deployment company dedicated to ensuring that general-purpose artifi...
Anthropic is an AI research company that builds reliable, interpretable, and steerable AI systems.
xAI is an AI platform for accelerating human scientific discovery.
Waymo is an autonomous driving technology company with a mission to make it safe and easy for peo...
Databricks is the pioneer of the data lakehouse, a unified platform for data science, machine lea...
AI compute infrastructure platform backed by NVIDIA.