The World cover image

Iran employs disruptive maritime tactics in response to strikes

The World

00:00

When AI might do autonomous math research

Daniel Litt discusses timelines, reliability, and human verification needs for AI-generated mathematical proofs.

Play episode from 28:10
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