[lazyasciiart]

But that’s trivially false. There is an entire category of work where it is hard to come up with an answer and easy to verify the answer, which means that if you verified everything there would still be a large time savings.

[ethbr1]

I would question whether that holds in the practical LLM automation space.

Can you think of any real life examples where an LLM is likely to be used?

I think in practice what you're saying is there are problems where there exist efficient deterministic verification methods, and I'm sure that's true.

But that's not the bulk of everyday work LLMs are being asked to do nowadays across industry.