There's no way of knowing this - I see articles fairly often on HN of mathematicians (sometimes grad students or younger) solving problems where progress previously had stalled.
What I meant was not that these problems wouldn't get solved for decades, but that few years ago (before advent of LLMs) if you've asked average researcher how far away are we from AI solving unsolved math problems, the median answer would be that we are far, far away from that.
If that's how your comment was meant, it seems an odd reply to the parent comment, which is firmly critical of AI's impact on society, not really debating about the progress of the technology.
Sure, but 1) they're clearly being quite facetious with the above, and 2) it is also pretty clearly contextualised by the rest of what they said, which is making an equally sarcastic comment about how much AI is costing society.
The overall template is "look at how much we're giving away, but hey guess it's worth it for <insert stupid reasons here>".
Instead of immediately listing off whatever instance AI has shown some value in isolation, it might be worth considering its net effect on society as a whole. IMO that picture is not so rosy.