Welcome to the AI crisis in math

Today on Decoder, I’m talking with Robert Hart, The Verge’s Londonbased AI reporter, about what AI is doing to the field of mathematics and the existential crisis many lead mathematicians are having about it.