To use a metaanalogy from chess (once again), mathematicians play the opening game, and builders play the end game. AI is sort of a middleman connecting human understanding to applications.

I think there's a Technical argument to be made that openAI is a threat to the game itself. For example, could it have produced the navier-stokes counterexample without human inputs? since it seemed to have used the much gossiped research strategy "C" and "D", you can't absolutely be certain that Son of Astra (son of altman?) was magicking an unknown unknown from nothing (sorry to cue Rumsfeld). You have got to wait for the other five problems to be solved after general boycott

Subpar PR engine of the OpenAI leadership might kill the pipeline of inputs that they won't admit they still need in this dreamtime before "recursive self-improvement". You can call that emotional. Personally I would rather accuse mathematicians of "preferring local models that believe in the usefulness of unidentifiable individual contributors, and the uselessness of named generalist managers (ie the prompt writers at oAI)"

Big man tlb likes to say that science might be dead but engineering is just getting started. Navier-Stokes is the hammer of the nail in the science coffin. It kills science by killing the prestige of science. The engineers have to imagine that it's likely they will now get all their design ideas from the hypothetical future datacenters.