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…
We score an episode from what we can actually measure — its reach and engagement, what listeners say about it, and what it covers. We don't have those signals for this one yet, so it doesn't get a number.
Buzzmeter says it's buzzing across platforms — the Hive Vote says whether the people who actually listened liked it.
Rate this episode
Add your vote to the Hive — listeners rate every episode after they finish.
- No reviews yet — be the first.
More from Summation with Auren Hoffman
See all episodes →
62%OpenAI Chief Economist Ronnie Chatterji: measuring the greatest technology of our time
61%Nir Eyal on belief, motivation, and the end of suffering
60%SecureAuth CEO Geoff Mattson on the coming fraudpocalypse and the death of the password
Similar episodes from other shows
More like Summation with Auren Hoffman →
The path to mathematical superintelligence | Tudor Achim
64%🔬Scaling Past Informal AI - Carina Hong, Axiom Math
OpenAI Researchers on the Future of Mathematical Reasoning
AI and the Future of Math, with DeepMind’s AlphaProof Team
One great episode in your inbox, daily — free.
One email a day, unsubscribe anytime. No spam, ever.