Comment by 1223197

The guest posts are from a self selecting group of course, but so far all we have is "inevitability", "adaptation", "exiting times" and, most importantly:

"We want SAIR or the EU shell out $10 billion for a gated AI for privileged academics!"

The last point is particularly troublesome, since the same people were gushing about "democratization by AI" before the N-S proof.

So the subset of mathematicians that is vocal on the internet wants their AI toys, only paid for by the state like in the best academic tradition.

None of these people cares about other professions or wants to slow down the industrialization of academia.