Axiom Math
PrivateLast Round
Series A
Mar 13, 2026
Est. Valuation
$1.6B
Total Funding Raised
$264M
Momentum
Top 5%
of companies Caplight tracks
Company Overview
Axiom Math operates in AI, Data & Cloud Infrastructure and is based in San Francisco, California. Its latest recorded funding round was a Series A round in March 2026.
Axiom Math is an artificial intelligence company that develops advanced mathematical reasoning systems and AI-driven tools for theorem proving and scientific discovery.
Sector
AI, Data & Cloud Infrastructure
Verticals
ML Platforms, API Management
Business Model
B2B
Customer Profile
Usage-Based SaaS, Services & Consulting
AI Layer
Foundation
Historical Pricing
Historical view of private secondary pricing and transaction trends.
Axiom Math Comparables
Compare Axiom Math with similar companies based on industry and business-model similarity.
| Company | Similarity | Market Cap |
|---|---|---|
| Harmonic | 89% | |
| Logical Intelligence | 77% | |
| Logos Research | 75% |
For institutional investors. Book with your work email.
Axiom Math Funding Rounds
Historical fundraising activity
| Round | Date | Amount Raised | Valuation | Investors | Sources |
|---|---|---|---|---|---|
| Series A | Mar 13, 2026 | ||||
| Seed | Sep 30, 2025 |
For institutional investors. Book with your work email.
Key People
Founding team and executive leadership
For institutional investors. Book with your work email.
Axiom Math Investors
Notable investors and investment history
| Investor | Rounds |
|---|---|
| B Capital Group | Series A, Seed |
| Triatomic Capital | Series A |
| Greycroft | Seed, Series A |
| Madrona Venture Group | Seed, Series A |
| Toyota Ventures | Series A |
| Menlo Ventures | Seed, Series A |
Market signals
Structured signals derived from secondary market and firmographic data.
- Nov 7, 2026
Launched verification agents to purge unchecked LLM-generated proofs.
- Jun 25, 2026
Grew 59% QoQ, from 27 to 43 employees.
For institutional investors. Book with your work email.
Recent news
Latest coverage and updates
- launchesNov 7, 2026
Axiom Math launches verification agents that purge unchecked mathematical proofs generated by general LLMs.
- launchesNov 5, 2026
Axiom Math releases a machine-checked Lean formalization of the Stacks Project, a roughly 7,500-page open-source reference for algebraic geometry.
- adopts_technologyOct 21, 2026
Axiom Math uses Tinker to train AxiomProver, which solves all 12 Putnam problems in Dec '25 with every proof verified in Lean.
- launchesAug 19, 2026
Axiom Math releases reusable components as an open library for others to inspect and build on, on Aug 19th '26.
For institutional investors. Book with your work email.
Axiom Math Filings
Explore SEC and related filing metadata, where available.
| Type | Date | Amount Offered | Amount Sold | Filing | Pages | Download |
|---|
Filing documents are not displayed on this public page. Request access to learn about available coverage.
Book a demoFor institutional investors. Book with your work email.
Frequently Asked Questions
Common questions about Axiom Math's valuation, stock price, and market status.
Is Axiom Math a public or private company?
Axiom Math is a private company.
What is the current stock price of Axiom Math?
Axiom Math is a private company, so its shares have no public market price. Caplight tracks Axiom Math's secondary market activity and provides MarketPrice™ estimates of its share price to Caplight users.
How much is Axiom Math worth (valuation)?
Axiom Math's valuation is estimated at $1.6B based on funding round data.
Can I buy Axiom Math stock?
Axiom Math shares may be available on secondary markets subject to transfer restrictions. Caplight facilitates secondary market transactions for accredited investors.
When was Axiom Math's last funding round?
Axiom Math's most recent funding round was Series A on March 13, 2026.
Who are the main investors in Axiom Math?
Key investors in Axiom Math include B Capital Group, Menlo Ventures.
Will Axiom Math IPO soon?
No public IPO plans have been announced for Axiom Math.
How can I track Axiom Math secondary market activity?
Caplight tracks bids, offers, and trades in Axiom Math's shares on secondary markets.