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.

Logic is logic, you don't need a specialist's opinion on every aspect of a specialist field. I've had eye opening insights delivered to me on problems I'm working on by people who barely know how to use a computer.

On the flip side, the professional mathematician has all the incentive to pearl clutch and rent seek.