Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software

Summation (formerly World of DaaS)

Summation (formerly World of DaaS)
Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
Mar 24, 2026

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-medal performance at the International Math Olympiad. 

In this episode of Summation, Vlad, Tudor, and Auren discuss:

  • Why AI models struggled at math for so long 
  • How Aristotle helped 10x the total corpus of formally verified Erdos problems in just a few months 
  • Why formal verification will make all software dramatically safer
  • How the first Millennium Prize problem will be solved by 2027-2028

You can find Auren Hoffman on X at @auren, Vlad Tenev on X at @vladtenev, and Tudor Achim on X at @tachim
Episode Artwork Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software 48:54 Episode Artwork Retired 4-star General John Allen on Iran, AI hyperwar, and Taiwan’s future 55:19 Episode Artwork Adrian Aoun on healthcare as a product, Apple's AI problem, and why you should have kids now 53:57 Episode Artwork Tod Sacerdoti (Flex GP and Pipedream CEO) on seed at scale and SaaS mispricing 1:02:20 Episode Artwork Nextdoor CEO Nirav Tolia on bowling alone, AI bots, and why the heartland is happier than the coasts 57:42 Episode Artwork Lt. General Mike Fenzel (Ret.) on bad data, bad experts, and why we can’t exit wars 42:25 Episode Artwork Martin Shkreli on prison, beating Bloomberg, and being hated 1:01:33 Episode Artwork World of DaaS is now Summation 1:16 Episode Artwork Turing CEO Jonathan Siddharth - The $30 Trillion Knowledge Work Market, Training Frontier AI Models and Building Stage Five Culture 41:54 Episode Artwork Chapter CEO Cobi Blumenfeld-Gantz - medicare complexity, $100B fraud and how tech can fix it 42:20 Episode Artwork Industry Ventures Founder Hans Swildens - how secondaries became the dominant path for VC exits 54:12 Episode Artwork Economist Glenn Hubbard - The Fed’s dilemma, AI productivity, and why experts lost trust 41:54 Episode Artwork Rembrand CEO Omar Tawakol - why product placement works better than traditional ads 52:32 Episode Artwork We the Builders Podcast l From LiveRamp ($RAMP) to NQB8: Auren Hoffman’s Founder Journey 1:44:14 Episode Artwork FreightWaves CEO Craig Fuller - why pricing data businesses trade at 30x EBIT despite 4% growth 51:31 Episode Artwork Wispr Flow CEO Tanay Kothari - voice AI deep dive 35:41 Episode Artwork The LM Brief: India as the Next Epicenter of AI? 12:39 Episode Artwork YipitData CEO Vin Vacanti - why hedge funds dominate data usage (and corporations don't) 52:12 Episode Artwork The LM Brief: The Syntax Illusion 15:06 Episode Artwork Patrick McGee - author of Apple in China – how Apple and China built each other 56:52 Episode Artwork Dave Morin, Offline Ventures - how venture studios work 1:01:48 Episode Artwork The LM Brief: Why Many AI Projects Fail 17:19 Episode Artwork Azeem Azhar of Exponential View - AI, hyperscalers, reshaping US GDP 52:05 Episode Artwork The LM Brief: Love Beats Hate 12:47 Episode Artwork Bolt.new CEO Eric Simons — one of the fastest growing AI companies in the world 40:20