> Only now that their job (the elites) has been automated

I’m sorry, are you seriously referring to mathematicians as elites?

> People who weren't in the club and genuinely enjoy math are having the time of their life proving results

If they couldn’t do so before and they can now, it sounds like they don’t understand what their LLMs are producing anyways. That doesn’t sound very fun to me. If they genuinely enjoyed math, maybe they would want to understand it instead of prompting an LLM to do stuff for them?