It's both. Some math has applications. Some math doesn't. Many mathematicians are interested in mathematical beauty, in solving problems, and playing with puzzles.

None of the results from October 6, as far as I know, have direct real-world applications today. We can't go build a better thing, or make a faster thing, etc. I might be missing something (I'm not an expert in any of the fields). I don't think most folks would have a problem with solving a bottleneck problem that let us flux a capacitor at 2x efficiency, or whatever.

I also think this is hard for a lot of folks who are in fields that heavily apply math to come to terms with. I do not think that programming and practicing mathematics are the same: many (most?) mathematicians are closer to a composer than a programmer: all three are making things, but there is much more emphasis on elegance and cleverness in mathematics than in programming.

But again, it's not binary, and a lot of the discussion does try to take a black-or-white view of it. It's tradeoffs all the way down.

For what it's worth, I think this quote from the article sums up my position best:

"To me, someone who chooses a worthwhile problem, obtains a proof completely using AI, understands it thoroughly, and uses it to develop interesting further questions or directions has made a substantial mathematical contribution. I would give that person substantial credit even if they supplied no new ingredient in the original proof. Choosing worthwhile problems may end up mattering more than producing proofs."