It's also known as "commodification of labour", and AI is just the latest and greatest tool to do it.
replyLuddites complained that the trajectory of technology was to allow less skilled workers to mass produce goods via machines owned by factory owners, as opposed to helping skilled workers build up and use their skills while passing them on.
Now we have a lot of money and time focused on LLMs owned by a few companies, making it easier for them to monetize low skill labour(prompting versus art/research/artisanry)
Let's take your argument one step further.
replySuppose that tomorrow we learn that AI just exploited a bug in Lean and the proof is, in fact, bullshit. Or suppose it is the case, but we never learn that.
Where are "ends" and where are "means" here?
Well, given a proof of something then a system can be built that relies upon the inviolability of that thing.
replyShould the proof turn out to be bullshit, then that system will be revealed to be unreliable. Maybe.