COMPANY PROFILE · /axiom
A
Axiom
Axiom builds an AI reasoning engine for autonomous mathematical discovery, theorem proving, and formal verification using the Lean proof assistant. The company develops verified AI systems that generate formally proven code by combining AI with mathematical certainty. Axiom achieved a perfect 120/120 Putnam 2025 competition score—unprecedented for AI.
Fresh · 9d ago
Latest valuation
$1.6B
Annual Recurring Revenue
—
Headcount
30+
Funding total
$264M
OVERVIEW
Series A $200M (March 2026, led by Menlo Ventures) at $1.6B valuation. AXLE infrastructure released publicly March 2026 for scalable Lean proof verification. Expanded from pure math into verified code generation.
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 · 0 key people
No people linked.
SOURCES · 0 cited
No citations stored yet. Run the research agent to attach per-claim sources.