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…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.