Dwarkesh Podcast cover image

Adam Marblestone – AI is missing something fundamental about the brain

Dwarkesh Podcast

00:00

Formal methods, specs, and provable software

Discussion of specification challenges, verified code, and how LLMs could accelerate formal verification adoption.

Play episode from 01:29:43
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app