Summation (formerly World of DaaS)

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

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 this episode of Summation, John and Auren discuss:
Why Ukraine's battlefield is accelerating the autonomous weapons timeline faster than any defense department predicted
The single assumption that doomed Afghanistan and why 2,500 troops could have changed everything
What nobody is asking about the US operation in Iran 
How China's one-child military could be the most underappreciated deterrent against a Taiwan invasion
You can find Auren Hoffman on X at @auren and John R. Allen on LinkedIn

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 internet access for a billion people is massively more impactful
How AI is turning healthcare from a service into a product -- and why the AMA is the new taxi medallion lobby
The expert investor paradox: why deep expertise makes you a worse angel investor
Why GLP-1s are the closest thing to a miracle drug in our lifetime
You can find Auren Hoffman on X at @auren and Adrian Aoun on X at @adrianaoun

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 asset class
First-gen AI companies being the most vulnerable to AI disruption
QSBS and why it's the most important tax benefit nobody talks about
The founder code and what happens when people break it
You can find Auren Hoffman on X at @auren and Tod Sacerdoti on X at @tod

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 innovation
The death of physical community
Why Nextdoor had to change their stock ticker
Insider vs Outsider entrepreneurs
You can find Auren Hoffman on X at @auren and Nirav Tolia on X at @niravtolia.