| ▲ | Groxx 4 hours ago | |
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? | ||
| ▲ | js8 3 hours ago | parent [-] | |
The AI would build a proof of correctness, which would be then verified in a proof checker (not AI). | ||