An index of frontier and emerging AI labs.
Math
Mathematical reasoning AI; building a model capable of formal mathematical proof. Founded by Robinhood co-founder Vlad Tenev.
| Name | Harmonic |
|---|---|
| Space | Math |
| Founded | 2023 |
| Latest valuation | $1.45B |
| Stage | — |
| Status | active |
| HQ | Palo Alto |
| Founders | Vlad Tenev, Tudor Achim |
| Website | https://harmonic.fun |
| Careers | https://harmonic.fun/careers |
| — | |
| X / Twitter | — |
| Date | Round | Amount ($M) | Valuation | Confidence |
|---|---|---|---|---|
| — | — | — | $1.45B | reported |
No founders recorded yet. Submit info.
| Date | Type | Title | Source |
|---|---|---|---|
| 2026-06-03 | added | Harmonic added to tracker Latest valuation: $1.45B. | — |
No sources cited.
| Lab | Valuation | Founded |
|---|---|---|
| Math Inc. | — | 2025 |
| Axiom Math | $1.6B | 2025 |
| Numina | ~$5M | 2023 |