Future of Life Institute Podcast

Listen, download, subscribe

Apple Podcasts

Spotify

David Dalrymple on Safeguarded, Transformative AI

David "davidad" Dalrymple joins the podcast to explore Safeguarded AI — an approach to ensuring the safety of highly advanced AI systems. We discuss the structure and layers of Safeguarded AI, how to formalize more aspects of the world, and how to build safety into computer hardware.   You can learn more about David's work at ARIA here:    https://www.aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/    Timestamps:   00:00 What is Safeguarded AI?   16:28 Implementing Safeguarded AI  22:58 Can we trust Safeguarded AIs?   31:00 Formalizing more of the world   37:34 The performance cost of verified AI   47:58 Changing attitudes towards AI   52:39 Flexible‬‭ Hardware-Enabled‬‭ Guarantees  01:24:15 Mind uploading   01:36:14 Lessons from David's early life

• 

  Why OpenAI Is Trying to Silence Its Critics (with Tyler Johnston)

• 

  We're Not Ready for AGI (with Will MacAskill)

• 

  What Happens When Insiders Sound the Alarm on AI? (with Karl Koch)

• 

  Can Machines Be Truly Creative? (with Maya Ackerman)

• 

  From Research Labs to Product Companies: AI's Transformation (with Parmy O…

• 

  Can Defense in Depth Work for AI? (with Adam Gleave)

• 

  How We Keep Humans in Control of AI (with Beatrice Erkers)

• 

  Why Building Superintelligence Means Human Extinction (with Nate Soares)

• 

  Breaking the Intelligence Curse (with Luke Drago)

• 

  What Markets Tell Us About AI Timelines (with Basil Halperin)

• 

  AGI Security: How We Defend the Future (with Esben Kran)

• 

  Reasoning, Robots, and How to Prepare for AGI (with Benjamin Todd)

• 

  From Peak Horse to Peak Human: How AI Could Replace Us (with Calum Chace)

• 

  How AI Could Help Overthrow Governments (with Tom Davidson)

• 

  What Happens After Superintelligence? (with Anders Sandberg)

• 

  Why the AI Race Ends in Disaster (with Daniel Kokotajlo)