Comment by Groxx
17 days ago
And how do you know if it has proven the property you want, instead of something that's just complicated looking but evaluates to true?
17 days ago
And how do you know if it has proven the property you want, instead of something that's just complicated looking but evaluates to true?
The AI would build a proof of correctness, which would be then verified in a proof checker (not AI).
And how do you prove that the proof of correctness is not just a proof that 1=1? LLMs "cheating" on things is rather common.