Welcome to the AI crisis in math

- Decoder with Nilay Patel