4 ms·
Same with code generation. But generating useless code, or proofs, just to discard them is hardly a consequence and externality free effort.
by yuhfdr 2y ago
Same with code generation.
But generating useless code, or proofs, just to discard them is hardly a consequence and externality free effort.
- kkzz99 2y agoBut you can far more easily scale llm generation compared to human researchers.
- yuhfdr 2y agoSloppyjoes 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 2y agoThat was funny even if I don’t agree with the sentiment.