Hell yes. A proof is a proof — if AI cracks Riemann or P vs NP, we all win. Mathematicians get new tools and ideas to chase, not unemployment.
Yeah and it could spark brand new math fields we can't even imagine yet.