AI mathematician building autonomous theorem-proving and formally-verified mathematical reasoning
AI📍 San Francisco, CAFounded 2024
Current Valuation
$1.6B
as of 2026-Q1
UNICORN
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.
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.
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 · 6 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-08-19. 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.