MIT Technology Review Narrated cover image

What’s next for AI and math

MIT Technology Review Narrated

00:00

Shortening proof paths with super moves

Sergey Gukov describes RL techniques that compress long proof sequences into super moves, aiding exploration of deep conjectures.

Play episode from 09:25
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