3 ms·
> automated proofs You've got a point, but in this case you are barking at the wrong tree. Aren't they talking about automated proof-checking?
by Koshkin 6y ago
> automated proofs
You've got a point, but in this case you are barking at the wrong tree. Aren't they talking about automated proof-checking?
- Smaug123 6y agoYes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.