Science Friday cover image

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

Science Friday

00:00

Formal proof assistants as checks

Emily Riehl advocates for formalized proofs and using proof assistants to verify AI outputs reliably.

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