[010101010101]

If you have a mechanism that can prove arbitrary program correctness with 100% accuracy you’re sitting on something more valuable than LLMs.

[tonyhart7]

so human powered LLM user ??

[freedomben]

For sure, I've never seen a human write a bug or make a mistake in programming

[tonyhart7]

that's why we create LLM for that