alt Hacker NewsAnd how do you know if it has proven the property you want, instead of something that's just complicated looking but evaluates to true?
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?
The AI would build a proof of correctness, which would be then verified in a proof checker (not AI).