But generating useless code, or proofs, just to discard them is hardly a consequence and externality free effort.
10 trillion llms, powered by a Dyson sphere, that still output slop is still worse than one unappreciated post doc.