David Dalrymple on Safeguarded, Transformative AI 6d3r4s

David "davidad" Dalrymple s the podcast to explore Safeguarded AI — an approach to...

David "davidad" Dalrymple s 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 ing  
01:36:14 Lessons from David's early life

Michael Baggot on Superintelligence and Transhumanism from a Catholic Perspective 4 meses 01:25:56 Ann Pace on using Biobanking and Genomic Sequencing to Converse Biodiversity 4 meses 46:09 Why AIs Misbehave and How We Could Lose Control (with Jeffrey Ladish) 3 meses 01:22:33 We Created AI. Why Don't We Understand It? (with Samir Varma) 3 meses 01:16:15 Keep the Future Human (with Anthony Aguirre) 3 meses 01:21:03 Ver más en APP Comentarios del episodio 4q431w