An index of frontier and emerging AI labs.
Math
Founded by ex-xAI/Google Christian Szegedy. Builds Gauss autoformalization agent.
| Name | Math Inc. |
|---|---|
| Space | Math |
| Founded | 2025 |
| Latest valuation | — |
| Stage | — |
| Status | active |
| HQ | Palo Alto |
| Founders | Christian Szegedy |
| Website | https://math.inc |
| Careers | — |
| — | |
| X / Twitter | — |
No funding events recorded.
No founders recorded yet. Submit info.
| Date | Type | Title | Source |
|---|---|---|---|
| 2026-06-03 | added | Math Inc. added to tracker | — |
No sources cited.
| Lab | Valuation | Founded |
|---|---|---|
| Axiom Math | $1.6B | 2025 |
| Harmonic | $1.45B | 2023 |
| Numina | ~$5M | 2023 |