Decoder podcast explores how AI is provoking an existential crisis in mathematics. OpenAI published solutions to longstanding math problems, sparking heated debate among leading mathematicians. Robert Hart interviews them about whether frontier models will make human mathematical research obsolete—or whether the hype is just marketing.
Opening Kapyn…