Software engineers are primarily outcome-oriented.

Mathematicians are primarily understanding-oriented.

Leveraging AI to tackle new frontiers without true understanding converts mathematicians to engineers.

Well at the end of the day, the point of trying to understand the universe is to achieve specific goals leveraging that understanding.

It seems to me that all of these hundreds of proofs we've seen recently are glorified academic exercises, whose purpose is curiosity for its own sake without any practical application, or we'd already hear about at least one of them being implemented to some gain somewhere. Mathematicians are just sad they lost their pet problems and have to start working on something more real.

Actually both are outcome oriented and both can use AI to compress decades of progress. One camp accepts this naturally. Other camp is making their profession to be mysterious and spiritual to run away from the implications of AI