Dwarkesh Podcast cover image

Adam Marblestone – AI is missing something fundamental about the brain

Dwarkesh Podcast

00:00

Automating math with formal proof systems

Adam explains Lean, RL for theorem search, limits around conjecturing, and applications to provable software.

Play episode from 01:23:18
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