Don't really see much of a reason to keep going. LLMs basically have the whole mathematical corpus internalized, and can just practice endlessly through RL self play and autoformalization. Don't really see what my role would be in such a process other than passive appreciation and digestion.

yeah, I don't see how people say that but then don't understand that fighting against the system almost never goes well.

I feel like same thing is happening to software. some people saying how they barely use AI, or how you can just do 10-100x more yet nobody seems to know where that demand will come from