Artwork

Innhold levert av Gus Docker and Future of Life Institute. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Gus Docker and Future of Life Institute eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.
Player FM - Podcast-app
Gå frakoblet med Player FM -appen!

David Dalrymple on Safeguarded, Transformative AI

1:40:06
 
Del
 

Manage episode 460215694 series 1334308
Innhold levert av Gus Docker and Future of Life Institute. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Gus Docker and Future of Life Institute eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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

  continue reading

221 episoder

Artwork
iconDel
 
Manage episode 460215694 series 1334308
Innhold levert av Gus Docker and Future of Life Institute. Alt podcastinnhold, inkludert episoder, grafikk og podcastbeskrivelser, lastes opp og leveres direkte av Gus Docker and Future of Life Institute eller deres podcastplattformpartner. Hvis du tror at noen bruker det opphavsrettsbeskyttede verket ditt uten din tillatelse, kan du følge prosessen skissert her https://no.player.fm/legal.

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

  continue reading

221 episoder

Alle episoder

×
 
Loading …

Velkommen til Player FM!

Player FM scanner netter for høykvalitets podcaster som du kan nyte nå. Det er den beste podcastappen og fungerer på Android, iPhone og internett. Registrer deg for å synkronisere abonnement på flere enheter.

 

Hurtigreferanseguide

Copyright 2025 | Sitemap | Personvern | Vilkår for bruk | | opphavsrett
Lytt til dette showet mens du utforsker
Spill