An index of frontier and emerging AI labs.
Math
AI for formal mathematical reasoning and proof generation.
| Name | Axiom Math |
|---|---|
| Space | Math |
| Founded | 2025 |
| Latest valuation | $1.6B |
| Stage | — |
| Status | active |
| HQ | — |
| Founders | Carina Hong |
| Website | https://www.axiommath.ai |
| Careers | https://www.axiommath.ai/careers |
| — | |
| X / Twitter | — |
| Date | Round | Amount ($M) | Valuation | Confidence |
|---|---|---|---|---|
| — | — | — | $1.6B | reported |
No founders recorded yet. Submit info.
| Date | Type | Title | Source |
|---|---|---|---|
| 2026-06-03 | added | Axiom Math added to tracker Latest valuation: $1.6B. | — |
No sources cited.
| Lab | Valuation | Founded |
|---|---|---|
| Math Inc. | — | 2025 |
| Harmonic | $1.45B | 2023 |
| Numina | ~$5M | 2023 |