[tptacek]

I believe this too: that the current moment with LLMs is destabilizing to all sorts of knowledge work, and especially to non-bench-work sciences, but that over the long run it's just going to raise the game. I'm not a person who thinks LLMs are going to moot all human scientific endeavor. I know those people exist (both on the anti-AI and especially pro-AI side). That's not where I'm coming from.

I just think knocking out unsolved problems in mathematics is an absolute good. Imagine, in a more grounded analogy, a whole family of neo-Ramanujans discovered somewhere in Namibia, and then tearing through all the open problems, upturning a bunch of careers in the west in the process. It's hard to argue that would be a bad thing (I think we'd call it miraculous). But AI has a partisan valence that sometimes obscures what's happening.

I appreciate the generous response. My tone couldn't have been any better (and I didn't really read yours as harsh, just spirited). Way to be an excellent HN'er! :)