3 ms·
Because the verification would also be done by something non deterministic and then that’s a paradox.
by compounding_it 1mo ago
Because the verification would also be done by something non deterministic and then that’s a paradox.
- daishi55 1mo agoFeed the LLM output into a “deterministic” verifier, problem solved. That’s how LLMs verify their new mathematical proofs with lean.