Welcome to the AI crisis in math

od Decoder with Nilay Patel