History teaches us that understanding deep problems in mathematics finds natural applications elsewhere. So, either AI completely solves mathematics (unlikely for the moment), or we use marginal amount of funding to keep the mathematical communities alive.

I have never been paid to do what I love. Well, I got couple of art grants some years ago.