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
But someone can just prove whether its possible to 10x no?
Put out completed projects w.r.t products people are familiar with. E.g. show me that you can put out a scalable clone of IG...? Why don't these examples exist?
Like come on, I would LOVE to see that! The average person doesn't care about pet projects. Show something people are familiar with, and use on a regularly basis, that can be produced in a fraction of the resources.
