Hacker News new | ask | show | jobs
by Groxx 85 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?
1 comments
js8 85 days ago
The AI would build a proof of correctness, which would be then verified in a proof checker (not AI).
link
Groxx 85 days ago
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.
link