COMPANY PROFILE · /axiom-math
A
Axiom Math
AI mathematician and theorem prover developing verified AI systems for autonomous mathematical discovery and formal proof verification using the Lean proof assistant. Raised $200M Series A (March 2026) at $1.6B valuation after $64M seed (October 2025). Achieved perfect score on Putnam 2025 competition.
Fresh · 9d ago
Latest valuation
$1.6B
Annual Recurring Revenue
—
Headcount
30+
Funding total
$264M
OVERVIEW
Launched AXLE public API (March 2026). Strong traction in verified code generation and formal verification. Only 7 months from seed to $1.6B valuation.
Status
active
Tier
master-list
Profitability
—
Pricing
enterprise
FUNDING HISTORY · 0
No funding rounds on file.
PRODUCTS · 0
No products catalogued yet. Press Refresh above to ask the research agent.
TEAM · 1 key people
TALENT FLOW · shares people with 1 companies
People who hold a role here and at another AI company. See the full graph →
SOURCES · 0 cited
No citations stored yet. Run the research agent to attach per-claim sources.