We have to accept the possibility that all mathematics could fall to AI within some months, however unsettling that might ...