# Tudor Achim

> Tudor Achim is the cofounder and CEO of Harmonic, the Palo Alto AI lab he started in 2023 with Robinhood founder Vlad Tenev to build what they call Mathematical Superintelligence. Harmonic's system Aristotle reached gold-medal performance on the 2025 International Math Olympiad while formally verifying every proof in Lean 4, a feat that put a roughly 40-person startup alongside OpenAI and Google DeepMind. A former competitive pianist turned machine-learning researcher, Achim previously cofounded the self-driving company Helm.ai and worked on ranking at Quora. He argues that mathematics is the route to AI that does not hallucinate.

- **Role:** Cofounder & CEO at Harmonic
- **Organizations:** Harmonic, Helm.ai, Quora, Stanford University, Carnegie Mellon University
- **Education:** B.S. in Computer Science (also attended its music preparatory school as a pianist), Carnegie Mellon University, Ph.D. Candidate, Computer Science (did not complete), Stanford University
- **Known for:** Cofounded and leads Harmonic, building Mathematical Superintelligence, Built Aristotle, which achieved formally verified gold-medal-level performance at the 2025 International Mathematical Olympiad, Raised roughly $295M total across Series A (Sequoia, Index Ventures), Series B ($100M) and Series C

## Career timeline

- **2014** — Co-authored BigBIRD, a large-scale 3D database of object instances (ICRA 2014)
- **2016** — Published machine-learning research with Stefano Ermon's group at Stanford (ICML, AISTATS)
- **Early career** — Led machine learning work at Quora, including news feed ranking and recommendations
- **2016-2023** — Cofounder and CTO of Helm.ai, an autonomous driving software company
- **2023** — Cofounded Harmonic with Vlad Tenev to build Mathematical Superintelligence
- **2024-07** — Harmonic reached gold-medal-level IMO performance with formally verified proofs
- **2025-07** — Harmonic announced Aristotle, the first consumer MSI app, and raised a $100M Series B
- **2025-11** — Closed a Series C reportedly bringing total funding to roughly $295M

## Achievements

- Cofounded and leads Harmonic, building Mathematical Superintelligence
- Built Aristotle, which achieved formally verified gold-medal-level performance at the 2025 International Mathematical Olympiad
- Raised roughly $295M total across Series A (Sequoia, Index Ventures), Series B ($100M) and Series C
- Previously cofounded Helm.ai, a self-driving software company
- Published peer-reviewed ML research at ICML, AISTATS, NIPS and ICRA

## Latest updates

- **2025-07** — Harmonic announced Aristotle and a $100M Series B for mathematical superintelligence.
- **2025-11** — Harmonic raised a Series C, reportedly pushing total funding near $295M.

## Links

- Website: https://harmonic.fun
- LinkedIn: https://www.linkedin.com/in/tudorachim/
- Twitter/X: https://x.com/tachim
- GitHub: https://github.com/tachim

---

Profile page: https://yespress.io/tudor-achim
Published by YesPress — https://yespress.io
Last updated: 2026-06-04