Whether the proliferation of AI is needed and welcome in any particular domain is kind of irrelevant. We are, to some extent, hounds leashed to an accelerating cart with no say in our combined forward motion.
But what benefits some areas of our discipline may be ill-suited to others. It is entirely legitimate to ask whether we truly need and should really welcome the rapid proliferation of AI generated proofs in mathematics.