Google DeepMind: The Podcast cover image

10 Years of AlphaGo: The Turning Point for AI | Thore Graepel & Pushmeet Kohli

Google DeepMind: The Podcast

00:00

AI-Assisted Mathematics and Proofs

Pushmeet highlights AlphaProof producing verifiable proofs and the need to frame problems precisely.

Play episode from 46:14
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