Reasoning, math & verification · Palo Alto, US · founded 2025
Axiom Math: who founded it, who funds it
Axiom Math is a Palo Alto AI reasoning lab founded in 2025 by Carina Hong and Shubho Sengupta, who came from Stanford and Meta. What it is building: axiomProver: AI trained on formal Lean proofs for math, quant finance and software verification. No funding round has been disclosed. It has not released anything outsiders can use yet.
- Founders
- Carina Hong (ex-Stanford), Shubho Sengupta (ex-Meta)
- Founders from
- ex-Stanford, ex-Meta
- Location
- Palo Alto, US (North America)
- Valuation
- $1.6B estimate, per source
- Raised
- · disclosed
- Investors
- ·
- What ships
- Research only
Sources
- neolabs.fyi neolabs.fyi
News
-
Sep 9, 2026
+1 more coverage
- Unite.AI Axiom Math’s AI Verifies the 246 Prime-Gaps Theorem in Lean
- Jun 1, 2026
- Apr 14, 2026
-
Mar 12, 2026
Same research area
- Harmonic $1.45B · Palo Alto, US
- Logical Intelligence · · San Francisco, US
- Math Inc · · Palo Alto, US
- Ndea · · San Francisco, US
- Symbolica · · San Francisco, US