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.