Reasoning, math & verification · Palo Alto, US · founded 2025
Math Inc: who founded it, who funds it
Math Inc is a Palo Alto AI reasoning lab founded in 2025 by Christian Szegedy and Jesse Michael Han, who came from xAI and OpenAI. What it is building: verified superintelligence via autoformalisation: Gauss, an agent that formalised the prime number theorem in three weeks. No funding round has been disclosed. It has not released anything outsiders can use yet.
- Founders
- Christian Szegedy (ex-xAI), Jesse Michael Han (ex-OpenAI)
- Founders from
- ex-xAI, ex-OpenAI
- Location
- Palo Alto, US (North America)
- Valuation
- ·
- Raised
- · disclosed
- Investors
- ·
- What ships
- Research only
Sources
- neolabs.fyi neolabs.fyi
News
- Jun 19, 2026
- Jan 24, 2024
Same research area
- Harmonic $1.45B · Palo Alto, US
- Axiom Math $1.6B · Palo Alto, US
- Logical Intelligence · · San Francisco, US
- Ndea · · San Francisco, US
- Symbolica · · San Francisco, US