undefined | Better HN

0 pointsjs81mo ago0 comments

The AI would build a proof of correctness, which would be then verified in a proof checker (not AI).

0 comments

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.

j / k navigate · click thread line to collapse

Groxx1mo 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.

j / k navigate · click thread line to collapse