Move over, vibe-coding. Vibe-proving is here for math
This episode of Science Friday discusses the role of AI in mathematics, featuring mathematicians Emily Riehl and Daniel Litt. They explore how AI could change mathematical discoveries and potential implications.