It’s a bit tautological since we are defining interesting as what human mathematicians work on. Perhaps if computers ran the show they wouldn’t agree with our definition.
Ultimately though this is all funded by, in the end, the belief that they’ll be able to dumb down the good stuff for us scientists, engineers, and other folks who build actual physical things when we hit the point that we need it. (Of course it is an exploration process so not everything needs to be directly applicable).
If computers ran the show, we would probably stop plugging them in if they used more power than their theories saved us, or whatever.
Don't necessarily see a tautology here.