Sure, or you can think for yourself for five minutes on the implications of a general proof machine, and whether it's likely to continue producing proofs.

If you've forgotten how to think for yourself, you can also ask an LLM.

The host of the blog, Tao, was an early booster. He didn't think through the implications, and seems to have expected it to remain unable to do interesting work. Today he's on a "war footing".

I don't think mathematics are uniquely skilled at predicting the future, and the impacts of AI on their profession.