Axiom
AX
Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs. The platform processes mathematical questions written in natural language, converts them into formal proof structures, and applies automated reasoning to generate step-by-step solutions. Its system integrates modules that translate problems into formal languages, propose intermediate lemmas, and assemble proofs that are verified through proof-checking tools.
Blended valuation$1.6B
Valuation history
Weekly blended valuation with priced funding rounds marked on the timeline.
$1.7B
blended valuationfunding round
Sep 29, 2025$196MOct 5, 2026
All rounds
2 funding rounds, newest first.
| Round | Announced | Raised | Post-money |
|---|---|---|---|
| Series A | Mar 12, 2026 | $200M | $1.6B |
| Seed | Oct 1, 2025 | $64M | $300M |
Investors
7 investors across all rounds.
- BCB Capital
- MVMenlo Ventures
- GRGreycroft
- MAMadrona
- TVToyota Ventures
- DVDNX Ventures
- TCTriatomic Capital
Invest in the private markets on Legion
Registered users see full trading activity, every investor, rankings, and live deals.
Data as of Oct 16, 2026. Valuations are estimates blended from primary and secondary-market signals — not investment advice.