I feel like there first will be a lot of rationalizations, hamd-wringing, and existential tummy aches, but then the eventual resigned acknowledgment (just like in Chess), that humans do math because they like to do math, not because humans will ever again be as good as computers are at math, then come to make discernments between human math proofs, and the work of an engine, maybe they'll even start start doing proofs on short time controls and stream it on Twitch.

Because the other solutions are to a) quite literally become inhuman, with cyborg integrated TPUs running local models and networked interfaces to propierary models run in data centers, or b) assert dominance of human ignorance by burning civilization down, which doesn't sound pleasant.