The idea is that people liked recreational math and enjoyed practicing it. AI bros with little interest in math showed up for marketing reasons or to "show" the nerds. Some mathematicians joined them too. One of the nerds is now saying "I don't find it fun anymore". That's really it. I wouldn't look for hidden meaning when it's spelled out pretty clearly.
> One of the nerds is now saying "I don't find it fun anymore".
To be fair, it isn't just "one of the nerds", it is the nerd that was hosting the party that all the AI bros were gatecrashing. He's not saying the competitive AI-powered and reputation-seeking performative math problem solving shouldn't happen, he's just saying you don't get to do it in the little corner of the internet that he runs any more, showing off to all his friends. Go find some other website where the owner enjoys that, or build your own and create your own community and friends.
The same happened in FOSS. I have little interest to contribute nowadays, when GitHub is full of vibe coders naming themselves engineers.