Comment on Hypothesis, Antithesis, synthesisparentComments−js85moThe AI would build a proof of correctness, which would be then verified in a proof checker (not AI).−Groxx5moAnd how do you prove that the proof of correctness is not just a proof that 1=1? LLMs "cheating" on things is rather common.
Comments
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.