I think it's the scientist version of "I vibecoded ten apps this weekend (at one point I'll have real users too)".
Because it's math, it's all mysterious and genuinely impressive, but in the end, if no human cares about it (apart from attention grabbing "it's so over" tweets and articles), does it really matter?
Nah, people are vibe coding lots of apps that no one cares about, but this is more like going through Stack Overflow and answering the most upvoted issues that don't have answers. These are published problems that have prior interest, for decades usually, and a few snarky internet comments don't undo that.