Davidad Dalrymple: Towards Provably Safe AI

Davidad Dalrymple: Towards Provably Safe AI

Author: Daniel Bashir September 5, 2024 Duration: 1:20:50
The Gradient: Perspectives on AI
TechnologyScience

Episode 137

I spoke with Davidad Dalrymple about:

* His perspectives on AI risk

* ARIA (the UK’s Advanced Research and Invention Agency) and its Safeguarded AI Programme

Enjoy—and let me know what you think!

Davidad is a Programme Director at ARIA. He was most recently a Research Fellow in technical AI safety at Oxford. He co-invented the top-40 cryptocurrency Filecoin, led an international neuroscience collaboration, and was a senior software engineer at Twitter and multiple startups.

Find me on Twitter for updates on new episodes, and reach me at editor@thegradient.pub for feedback, ideas, guest suggestions.

Subscribe to The Gradient Podcast:  Apple Podcasts  | Spotify | Pocket Casts | RSSFollow The Gradient on Twitter

Outline:

* (00:00) Intro

* (00:36) Calibration and optimism about breakthroughs

* (03:35) Calibration and AGI timelines, effects of AGI on humanity

* (07:10) Davidad’s thoughts on the Orthogonality Thesis

* (10:30) Understanding how our current direction relates to AGI and breakthroughs

* (13:33) What Davidad thinks is needed for AGI

* (17:00) Extracting knowledge

* (19:01) Cyber-physical systems and modeling frameworks

* (20:00) Continuities between Davidad’s earlier work and ARIA

* (22:56) Path dependence in technology, race dynamics

* (26:40) More on Davidad’s perspective on what might go wrong with AGI

* (28:57) Vulnerable world, interconnectedness of computers and control

* (34:52) Formal verification and world modeling, Open Agency Architecture

* (35:25) The Semantic Sufficiency Hypothesis

* (39:31) Challenges for modeling

* (43:44) The Deontic Sufficiency Hypothesis and mathematical formalization

* (49:25) Oversimplification and quantitative knowledge

* (53:42) Collective deliberation in expressing values for AI

* (55:56) ARIA’s Safeguarded AI Programme

* (59:40) Anthropic’s ASL levels

* (1:03:12) Guaranteed Safe AI —

* (1:03:38) AI risk and (in)accurate world models

* (1:09:59) Levels of safety specifications for world models and verifiers — steps to achieve high safety

* (1:12:00) Davidad’s portfolio research approach and funding at ARIA

* (1:15:46) Earlier concerns about ARIA — Davidad’s perspective

* (1:19:26) Where to find more information on ARIA and the Safeguarded AI Programme

* (1:20:44) Outro

Links:

* Davidad’s Twitter

* ARIA homepage

* Safeguarded AI Programme

* Papers

* Guaranteed Safe AI

* Davidad’s Open Agency Architecture for Safe Transformative AI

* Dioptics: a Common Generalization of Open Games and Gradient-Based Learners (2019)

* Asynchronous Logic Automata (2008)



Get full access to The Gradient at thegradientpub.substack.com/subscribe

Hosted by Daniel Bashir, The Gradient: Perspectives on AI moves beyond surface-level headlines to explore the intricate machinery and human ideas shaping artificial intelligence. Each episode is built on a foundation of deep research, leading to conversations that are both technically substantive and broadly accessible. You'll hear from researchers, engineers, and philosophers who are actively building and critiquing our technological future, discussing not just how AI systems work, but the larger implications of their integration into society. This isn't about speculative hype; it's a grounded examination of real progress, persistent challenges, and ethical considerations from those on the front lines. The discussions peel back layers on topics like model architecture, policy, and the fundamental science behind the algorithms becoming part of our daily lives. For anyone curious about the substance behind the buzz-whether you have a technical background or are simply keen to understand a defining technology of our age-this podcast offers a crucial and thoughtful resource. Tune in for a consistently detailed and nuanced take that treats artificial intelligence with the complexity it deserves.
Author: Language: English Episodes: 100

Official website RSS
spotify
The Gradient: Perspectives on AI
Podcast Episodes
Joon Park: Generative Agents and Human-Computer Interaction [not-audio_url] [/not-audio_url]

Duration: 2:21:25
In episode 77 of The Gradient Podcast, Daniel Bashir speaks to Joon Park.Joon is a third-year PhD student at Stanford, advised by Professors Michael Bernstein and Percy Liang. He designs, builds, and evaluates interactiv…
Christoffer Holmgård: AI for Video Games [not-audio_url] [/not-audio_url]

Duration: 1:09:06
In episode 76 of The Gradient Podcast, Andrey Kurenkov speaks to Dr Christoffer HolmgårdDr. Holmgård is a co-founder and the CEO of Modl.ai, which is building AI Engine for game development. Before starting the company,…
Riley Goodside: The Art and Craft of Prompt Engineering [not-audio_url] [/not-audio_url]

Duration: 59:42
In episode 75 of The Gradient Podcast, Daniel Bashir speaks to Riley Goodside. Riley is a Staff Prompt Engineer at Scale AI. Riley began posting GPT-3 prompt examples and screenshot demonstrations in 2022. He previously…
Talia Ringer: Formal Verification and Deep Learning [not-audio_url] [/not-audio_url]

Duration: 1:45:35
In episode 74 of The Gradient Podcast, Daniel Bashir speaks to Professor Talia Ringer.Professor Ringer is an Assistant Professor with the Programming Languages, Formal Methods, and Software Engineering group at the Unive…
Brigham Hyde: AI for Clinical Decision-Making [not-audio_url] [/not-audio_url]

Duration: 41:43
In episode 72 of The Gradient Podcast, Daniel Bashir speaks to Brigham Hyde.Brigham is Co-Founder and CEO of Atropos Health. Prior to Atropos, he served as President of Data and Analytics at Eversana, a life sciences com…
Scott Aaronson: Against AI Doomerism [not-audio_url] [/not-audio_url]

Duration: 1:09:32
In episode 72 of The Gradient Podcast, Daniel Bashir speaks to Professor Scott Aaronson. Scott is the Schlumberger Centennial Chair of Computer Science at the University of Texas at Austin and director of its Quantum Inf…
Ted Underwood: Machine Learning and the Literary Imagination [not-audio_url] [/not-audio_url]

Duration: 1:43:59
In episode 71 of The Gradient Podcast, Daniel Bashir speaks to Ted Underwood.Ted is a professor in the School of Information Sciences with an appointment in the Department of English at the University of Illinois at Urba…
Irene Solaiman: AI Policy and Social Impact [not-audio_url] [/not-audio_url]

Duration: 1:12:11
In episode 70 of The Gradient Podcast, Daniel Bashir speaks to Irene Solaiman.Irene is an expert in AI safety and policy and the Policy Director at HuggingFace, where she conducts social impact research and develops publ…
Drago Anguelov: Waymo and Autonomous Vehicles [not-audio_url] [/not-audio_url]

Duration: 1:05:23
In episode 69 of The Gradient Podcast, Daniel Bashir speaks to Drago Anguelov.Drago is currently a Distinguished Scientist and Head of Research at Waymo, where he joined in 2018. Earlier, he spent eight years at Google w…
Joanna Bryson: The Problems of Cognition [not-audio_url] [/not-audio_url]

Duration: 1:13:05
In episode 68 of The Gradient Podcast, Daniel Bashir speaks to Professor Joanna Bryson.Professor Bryson is Professor of Ethics and Technology at the Hertie School, where her research focuses on the impact of technology o…

«1...45678910»