Welcome to the AI crisis in math

von Decoder with Nilay Patel