Welcome to the AI crisis in math

af Decoder with Nilay Patel