Gowers, Tao, Aaronson. Are there others hyping "AI"?

All of these seem to subscribe to "inevitability", have no issues that their research relies on a handful of oligarchs and that all of their thoughts and attempts are recorded and tracked on centralized servers.

I bet mathematical research hasn't sped up one bit due to "AI".

I am another one. My work in mathematics has sped up personally due to AI.

Whenever you start to prove new results, you get a lot of small lemme that are probably true but you need to check them and find a good constant which works with them.

Checking is by theorem provers and searching is by machines. You still need to figure out what you want to prove (which results are more important).

But rest can get automated away quite quickly.