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

When ChatGPT first came onto the scene, it wowed users with its writing abilities, but drew laughs for generating images of seven-fingered hands and struggling with basic math, where 2+2 didn’t always equal 4. But more recently, things have changed: Google and OpenAI’s models bagged gold medals at the International Mathematical Olympiad last year, and now some experts say AI could pose an existential threat to the field of mathematics itself.Mathematicians Emily Riehl and Daniel Litt join Host Flora Lichtman to explore how this technology could change the way math discoveries are made—and what could be lost if things go too far.Guests:Dr. Emily Riehl is a professor of mathematics at Johns Hopkins University in Baltimore, MD.Dr. Daniel Litt is an associate professor of mathematics at the University of Toronto.Transcripts for each episode are available within 1-3 days at sciencefriday.com.Subscribe to this podcast. Plus, to stay updated on all things science, sign up for Science Friday's newsletters.