5 ms·

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

• emptyfile 11mo ago
  [dead]
• tonyhart7 11mo ago
  so human powered LLM user ??
  • freedomben 11mo ago
    For sure, I've never seen a human write a bug or make a mistake in programming
    • tonyhart7 11mo ago
      that's why we create LLM for that