Science Friday cover image

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

Science Friday

00:00

Worry: AI proofs humans can't understand

They consider Steve Strogatz's warning and debate whether AI-generated proofs could become unintelligible to humans.

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