Summation with Auren Hoffman

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 decades and what finally forced a change
The nuclear exit decision that was driven by a single state election and backfired spectacularly
How Rheinmetall surpassed Volkswagen in market cap and what it signals about Europe's industrial reorientation
Why Germany's total stock market cap is less than a single US company like Nvidia
You can find Auren Hoffman on X at @auren and Karl-Theodor zu Guttenberg on Linkedin.

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:
Why the US now imports more from Taiwan than from China -- and what that means for national security
The case for a U.S. sovereign wealth fund to counter China’s tech investments in semiconductors, energy, and rare earth minerals
What happened when Intel gave $70B back to shareholders instead of building fabs, and why tech companies need technologist CEOs
Andy Grove's 35-year mentoring relationship with Pat, starting with a cold call that changed his career
You can find Auren Hoffman on X at @auren and Pat Gelsinger on X at @PGelsinger

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