Welcome to the AI crisis in math

de Decoder with Nilay Patel