Episode · Summation with Auren Hoffman
Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software
24 Mar 2026 · 48 min
Episode notes
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...
Podcast
Summation with Auren Hoffman
Auren Hoffman · Business · English
Non-obvious ideas that move the world. Auren Hoffman hosts leaders across tech, business, markets, and government. Summation is the permanent home for the relentlessly curious. Auren is CEO of NQB8, GP at Flex Capital, Chairman of Dialog; former CEO of SafeGraph and LiveRamp (NYSE: RAMP).
More from Summation with Auren Hoffman All episodes →
-
28 Apr 2026 · 58 min
Glenn Youngkin on governing like a CEO, the AI power crisis, and why every operator should run for office
Glenn Youngkin was the 74th Governor of Virginia. Before politics, he spent nearly 25 years at The Carlyle Group, one of the largest private equity firms in the world, where he rose to co-CEO. During his four-year term, Virginia generated $10B in surplus revenue, delivered $9B in tax relief, attracted $156B in capital investment, and became one of the first states in the country to mandate cell-phone-free classrooms. In this episode of Summation, Glenn and Auren discuss: Why every Virginia st...
-
21 Apr 2026 · 59 min
Thumbtack CEO Marco Zappacosta on why trades are AI-proof, the trillion-dollar home services market, and why software stopped being a capital asset
Marco Zappacosta is the co-founder and CEO of Thumbtack, the home services marketplace he started in 2008. Thumbtack connects homeowners to 300,000+ local service professionals, with nearly 100M projects started on the platform. In this episode of Summation, Marco and Auren discuss: Why home services is bigger than groceries but barely any is booked onlineHow AI collapsed Thumbtack's product pod sizesWhy Silicon Valley underrates leadership and overrates management The single trait...
-
14 Apr 2026 · 59 min
Eric Ries on why "bad governance" outperforms, the case against shareholder primacy, and AI's Chernobyl moment
Eric Ries created the Lean Startup methodology and authored the bestselling book of the same name, which has sold over a million copies. He's also the founder and executive chairman of the Long-Term Stock Exchange, the co-founder of Answer AI (an AI R&D lab), and the author of the upcoming book Incorruptible, releasing May 26th. In this episode of Summation, Eric and Auren discuss: why "bad governance" companies have outperformed "good governance" since 2008financial gravity - the invisib...
-
7 Apr 2026 · 1 hr 1 min
Fmr. German Defense Minister Karl-Theodor zu Guttenberg on NATO, nuclear energy, and how to disagree without blood
Karl-Theodor zu Guttenberg became Germany's youngest Minister of Defense in history, and previously served as Minister of Economics and Technology. He is the chairman and founder of Spitzberg Partners, an investment and advisory firm, a bestselling author, and co-founder of Open Minds Media, where he produces films and podcasts. He co-hosts one of Germany's most popular podcasts. In this episode of Summation, KT and Auren discuss: Why Germany's defense spending hovered at 1% of GDP for decade...
-
31 Mar 2026 · 58 min
Fmr Intel CEO Pat Gelsinger on chips, China, and lessons from Andy Grove
Pat Gelsinger is the former CEO of Intel and longtime Silicon Valley leader. He joins Auren to unpack the forces reshaping technology, geopolitics and leadership. After more than 30 years at Intel (including serving as its first CTO) and nearly a decade as CEO of VMware, Pat now sits at the intersection of deep tech and purpose-driven innovation as executive chair and head of technology at Gloo and general partner at Playground Global. In this episode of Summation, Pat and Auren discuss...
-
17 Mar 2026 · 55 min
Retired 4-star General John Allen on Iran, AI hyperwar, and Taiwan’s future
John Allen is a retired four-star Marine Corps general who commanded 150,000 US and NATO troops in Afghanistan and built a 65-nation coalition as Special Presidential Envoy to the Global Coalition Against ISIS. After retiring from the military, he led the Brookings Institution as its president. He co-invented the term "hyperwar," holds five AI patents, and co-authored Turning Point: Policymaking in the Era of Artificial Intelligence. He currently serves as a strategic advisor to Microsoft. In...
-
10 Mar 2026 · 54 min
Adrian Aoun on healthcare as a product, Apple's AI problem, and why you should have kids now
Adrian Aoun helped found Torch, a health data platform that was acquired by OpenAI earlier this year. He's also the co-founder of Seneca, which raised $60 million to build autonomous drones for wildfire suppression. Adrian previously founded Forward Health. He previously led special projects for Larry Page at Google, where he founded Sidewalk Labs and helped build Google's AI division. In this episode of Summation, Adrian and Auren discuss: Why curing all cancer adds only ~3 years of life but...
-
3 Mar 2026 · 1 hr 2 min
Tod Sacerdoti (Flex GP and Pipedream CEO) on seed at scale and SaaS mispricing
Tod Sacerdoti is the CEO and co-founder of Pipedream, which recently sold to Workday. Tod is also a general partner at Flex Capital, where he's invested in over 400 companies including Chime, Vercel, Replit, CodeRabbit, Mercury, and many others. He previously founded BrightRoll, a programmatic video advertising platform that sold to Yahoo for $640 million in 2014. In this episode of Summation, Tod and Auren discuss: Why seed investing has the highest annualized returns of any venture as...
-
24 Feb 2026 · 58 min
Nextdoor CEO Nirav Tolia on bowling alone, AI bots, and why the heartland is happier than the coasts
Nirav Tolia is the co-founder and CEO of Nextdoor (NYSE: NXDR), the neighborhood social network with over 105 million users across 350,000 communities worldwide. After stepping down as CEO in 2018, he returned to lead the company in 2024. In this episode of Summation, Nirav and Auren discuss: Why success kills innovationThe death of physical communityWhy Nextdoor had to change their stock tickerInsider vs Outsider entrepreneursYou can find Auren Hoffman on X at @auren and Nirav Tolia on X at ...
-
17 Feb 2026 · 42 min
Lt. General Mike Fenzel (Ret.) on bad data, bad experts, and why we can’t exit wars
Lieutenant General Mike Fenzel recently retired as a three-star Army General. He most recently served as the United States Security Coordinator for Israel and the Palestinian Authority, navigating one of the world’s most complex geopolitical landscapes. His career is defined by high-stakes leadership, ranging from the immediate aftermath of the September 11th attacks, where he was stationed in the bunker alongside Vice President Dick Cheney, to multiple deployments to Afghanistan, to commandi...
