Reasoning, math & verification · Palo Alto, US · founded 2023
Harmonic: who founded it, who funds it
Harmonic is a Palo Alto AI reasoning lab founded in 2023 by Tudor Achim and Vlad Tenev, who came from Helm.ai and Robinhood. What it is building: mathematical superintelligence: Aristotle, a formally verified reasoning engine (90% on MiniF2F). It has raised $295M in disclosed rounds, most recently a Series C of $120M at a $1.45B valuation in November 2025, led by Ribbit Capital. It sells access through an API.
- Founders
- Tudor Achim (ex-Helm.ai), Vlad Tenev (ex-Robinhood)
- Founders from
- ex-Helm.ai, ex-Robinhood
- Location
- Palo Alto, US (North America)
- Valuation
- $1.45B set by the last priced round
- Raised
- $295M disclosed
- Investors
- Sequoia lead, Kleiner Perkins lead, Ribbit Capital lead
- What ships
- API
Rounds
| Date | Round | Amount | Valuation | Lead | Source |
|---|---|---|---|---|---|
| Nov 25, 2025 | Series C | $120M | $1.45B | Ribbit Capital | neolabs.fyi |
| Jul 1, 2025 | Series B | $100M | $875M | Kleiner Perkins | neolabs.fyi |
| Sep 1, 2024 | Series A | $75M | $325M | Sequoia | neolabs.fyi |
Sources
- NEA neolab market nea.com
News
- Nov 25, 2025
- Jul 15, 2025
-
Jul 10, 2025
Investors who back other labs here
- Sequoia also: Safe Superintelligence, Reflection AI, Skild AI, Physical Intelligence
- Kleiner Perkins also: Mirendil, Cartesia
- Ribbit Capital also: Enigma
Same research area
- Axiom Math $1.6B · Palo Alto, US
- Logical Intelligence · · San Francisco, US
- Math Inc · · Palo Alto, US
- Ndea · · San Francisco, US
- Symbolica · · San Francisco, US