Welcome to the AI crisis in math

by Decoder with Nilay Patel