Science Friday cover image

Move over, vibe-coding. Vibe-proving is here for math

Science Friday

00:00

Limits of trusting AI and required standards

Daniel Litt and Emily discuss norms of belief in mathematics and argue AI proofs need stronger verification and explanation.

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