PersonFounderExecutive
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.
harmonicmathematical superintelligencearistotleai reasoninglean 4formal verification