Comment by js8 16 days ago The AI would build a proof of correctness, which would be then verified in a proof checker (not AI). 1 comment js8 Reply Groxx 16 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.
Groxx 16 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.
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.