1266: Move over, vibe-coding. Vibe-proving is here for math
This Science Friday episode features mathematicians Dr. Emily Riehl and Dr. Daniel Litt, who discuss the impact of AI on mathematical discoveries. They explore how this technology could change the field and what could be lost.