undefined | Better HN

0 pointsNevermark10mo ago0 comments

But will humans understand the proofs?

Oh…

0 comments

4 comments · 2 top-level

yencabulator10mo ago· 2 in thread

The proof either passes the SAT solver in a reasonable amount of time, or it doesn't.

Somebody will have to write proof verifier, and that in many ways will be harder than writing some CRUD app that they want proof verifier to validate.

We might even end up increasing the demand and pay for devs if this happens to pass.

yencabulator10mo ago

We have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.

1 more reply

xlbuttplug210mo ago

The proofs are not meant for human consumption. It's for the AI to know to try again rather than spit out hallucinations. Of course there's a leap of faith somewhere here.

j / k navigate · click thread line to collapse