AI mathematician building autonomous theorem-proving and formally-verified mathematical reasoning
Axiom Math (often just 'Axiom') builds autonomous AI for mathematics - theorem proving, formally-verified reasoning, and ultimately verified-correct code generation. Came out of stealth in October 2025 and closed a $200M Series A at $1.6B post-money in February 2026, led by Menlo Ventures. Direct competitor to Harmonic and DeepMind's AlphaProof effort.
AI📍 San Francisco, CAFounded 2024
Current Valuation
$1.6B
as of 2026-Q1
UNICORN
QL Price
$1.6B
0% vs last round
QuantLogix's current estimate for Axiom Math, published 2026-09-11 — in line with the last disclosed round of $1.6B (2026-Q1).
Confidence
low
Basis
round anchored
What backs this price
Last disclosed round
$1.6B
2026-Q1
weight 0.73
How this price has held up
No round has priced for Axiom Math since QuantLogix began publishing a price for it, so there is nothing to grade yet. The claim above is on the record from 2026-09-11 and will be graded against the next priced round. See the full accuracy record →
Which publicly-traded funds already hold it, what $10,000 buys, and whether any route is open to you.
Cite this price as QuantLogix QL Price, Axiom Math, 2026-09-11 (9b1568f632874164).
The id pins this exact claim, so a citation stays checkable after the price moves.
Model estimate for research — not a quote, target price, or investment advice.
IPO Outlookprivate
Is Axiom Math going public?
No. Axiom Math is private and has not filed to go public. There is no S-1 on file.
What is Axiom Math's valuation in 2026?
Axiom Math is valued at $1.6B as of 2026-Q1, set by its Series A ($200M, Feb 2026). That is the last confirmed mark, not a live price — private shares do not trade continuously.
Has Axiom Math filed an S-1?
No public S-1 is on file for Axiom Math.
Who are Axiom Math's investors?
Axiom Math's investors include Menlo Ventures, Sequoia Capital, Khosla Ventures.
Answers are derived from the roster record shown on this page — filing status, last round and confirmed marks. Where the record is silent, the answer says so rather than guessing.
Company Profile
CEO
Carina Hong
Founded
2024
HQ
San Francisco, CA
Employees
~25
Total Raised
$225M
Growth
pre-revenue research stage
Last Round
Series A — $200M (Feb 2026) · Lead: Menlo Ventures
IPO Status
private
Fundraising Status
Series A · $200M · 7 mo ago
privateTotal raised $225M
Latest Funding Round
Round
Amount
Date
Lead Investor
Post-Money
Series A
$200M
Feb 2026
Menlo Ventures
—
Vertical Intelligence — AI / ML
Open models
0
Downloads (30d)
0
across all models
Followers
1
Attributed to Hugging Face organization "Axiom Math AI" as of 2026-09-11. Open-weights footprint only — closed-model usage is not publicly measurable. Verify on Hugging Face ↗
Talent Signal
Hiring trend
● First snapshot
trend accrues with monthly sweeps
Open roles
1
via ashby
Product-build share
0%
engineering, research, product, design
Trajectory
steady
go-to-market push — Only 0% of open roles build product — hiring is concentrated in sales/marketing/ops (1 of 1 open roles are other).
Actively hiring with no tracked executive churn.
Open roles by month
Open roles by function
■ product-building ■ go-to-market / G&A
Member of Technical Staff
Counted from Axiom Math's live job board as of 2026-08-17; role functions classified from posting titles. Open-role counts are an activity signal, not headcount. Refreshed monthly.
Founders & Key People
Carina HongMarco Mascorro
Investors
Menlo Ventures · Sequoia Capital · Khosla Ventures
Products
AxiomProver
AI mathematical reasoning engine
Lean / Coq integration
Formal verification for code
Competitors
Harmonic · DeepMind AlphaProof · Lean community tools
Private-company numbers are not real-time. Reflects publicly disclosed valuations from press releases, news reports, and tender offers as of 2026-Q1. Refreshed quarterly.