[yuhfdr]

Same with code generation.

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

[kkzz99]

But you can far more easily scale llm generation compared to human researchers.

[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.

[bluechair]

That was funny even if I don’t agree with the sentiment.