yuhfdr

Sloppyjoes always assume the best case for llms and worst case for their counter example of choice.

10 trillion llms, powered by a Dyson sphere, that still output slop is still worse than one unappreciated post doc.

Same with code generation.

But generating useless code, or proofs, just to discard them is hardly a consequence and externality free effort.