COMPANY PROFILE · /axiom-quant-inc
A
Axiom Quant Inc.
Axiom develops verified artificial intelligence systems using formal mathematics and proof assistants (Lean). The company builds autonomous mathematicians for code verification, finance, and chip design, generating formally verified outputs that eliminate hallucinations through machine-checkable proofs.
Fresh · 9d ago
Latest valuation
$1.6B
Annual Recurring Revenue
—
Headcount
—
Funding total
$264M
OVERVIEW
Perfect score on 2025 Putnam Competition. Series A March 2026 led by Menlo Ventures at $1.6B post-money. Public release of AXLE infrastructure March 2026. Positioned at intersection of formal math and frontier AI.
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.