You are saying that tough problems with no applicability are useful because people that you happen to respect got good by their curiosity and pursuit of trying to solve these kinds of problems and failing, but branching off into other cognitive areas as mathematicians
Now if I know anything about math for the sake of math, and academics, these are the same people that lament the idea of intelligent people going to the finance sector or any other trade they just happen not to respect as much
The similarity being that their exact criticism of why, something they don't respect and view as having little utility, is the exact reasoning presented here now that AI can solve their pointless problems
What I'm seeing is that human mathematicians have a laundry list of problems they have failed to solve for decades, centuries, which is what they are funded and employed to do. "Computer" used to a human job title too.
This leads me to being excited about AI one-shotting these problems, let move on to something else.