AI crisis in math