Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
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...
AI Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
Listen to This Episode
More from Summation with Auren Hoffman
Glenn Youngkin on governing like a CEO, the AI power crisis, and why every operator should run for office
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
Get summaries like this every morning.
Free AI-powered recaps of Summation with Auren Hoffman and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.