I would argue the problem is not AI, but putting value on proofs by mathematics community. They're not fully to blame, part of it is need of billionaires (and other elites) to appear educated, and the general status culture that sees mathematics as something that needs to be socially justified.

Grigori Perelman warned about this when he refused the Millenium problem prize. He understood mathematics should be a journey, not a destination.