Harmonic
$1.45B
Reported valuation
Co-founded by Robinhood's Vlad Tenev (chairman) and CEO Tudor Achim, building formally verified mathematical superintelligence (the Aristotle model).
- Founded
- 2023
- Research area
- AI for math & science — Math
- Headquarters
- Palo Alto, United States
Founders
- Tudor Achim — previously Helm.ai, Stanford, Quora
- Vlad Tenev — previously Other startups, Stanford