New comment by 1223197 in "If math is more than proof, we need to better celebrate the rest of it"

1223197 — Sat, 19 Sep 2026 11:42:38 +0000

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.

Hacker News: 1223197

New comment by 1223197 in "If math is more than proof, we need to better celebrate the rest of it"