3 ms·
Can AI even verify proofs now? Say it's presented with a solution, can it check for the internal consistency.
by bigpumpkin 6y ago
Can AI even verify proofs now? Say it's presented with a solution, can it check for the internal consistency.
- pmiller2 6y agoDepending on what you call "AI" and "proofs," the answer is that you might be describing what's called a "proof assistant."
- YetAnotherNick 6y agoThat's why formal logic was invented(started by Aristotle!). There are computerized rules for checking that the formula is valid given proof.