The MAD Podcast with Matt Turck cover image

AI is Already Building AI | Google DeepMind’s Mostafa Dehghani

The MAD Podcast with Matt Turck

00:00

Role of formal verification

Mostafa sees formal verification as powerful for math and code domains but limited for messy real-world tasks without tight feedback loops.

Play episode from 12:52
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