Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
About this episode
Vlad Tenev and Tudor Achim discuss their work on mathematical superintelligence and the development of the Aristotle model.
Vlad Tenev (Robinhood co-founder/CEO) and Tudor Achim (former helm.ai CTO) are the founders of Harmonic, an AI lab pioneering the path toward mathematical superintelligence. Together, they developed Aristotle, a model that eliminates hallucinations by reasoning in Lean code rather than natural language. By shifting from probabilistic guesses to formal logic, Aristotle produces 100% verified mathematical outputs. The model recently demonstrated its breakthrough capabilities by achieving gold-m...
People in this episode
Host: Auren Hoffman
Guests: Vlad Tenev, Tudor Achim
Topics covered
- mathematical superintelligence
- AI
- formal logic
- software development
- machine learning
Keywords
- mathematical superintelligence
- AI lab
- Aristotle model
- Lean code
- buggy software
Mentioned in this episode
Organizations: Harmonic, Robinhood, helm.ai
Products: Aristotle
Places: Lean
More episodes of Summation with Auren Hoffman
- Thumbtack CEO Marco Zappacosta on why trades are AI-proof, the trillion-dollar home services market, and why software stopped being a capital asset
- Eric Ries on why "bad governance" outperforms, the case against shareholder primacy, and AI's Chernobyl moment
- Fmr. German Defense Minister Karl-Theodor zu Guttenberg on NATO, nuclear energy, and how to disagree without blood
- Fmr Intel CEO Pat Gelsinger on chips, China, and lessons from Andy Grove
- Retired 4-star General John Allen on Iran, AI hyperwar, and Taiwan’s future
- Adrian Aoun on healthcare as a product, Apple's AI problem, and why you should have kids now
Explore listener stats, chart rankings, contacts and more on the Summation with Auren Hoffman podcast page.