undefined | Better HN

0 pointsKoshkin5y ago0 comments

> 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?

0 comments

Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.

j / k navigate · click thread line to collapse

0 pointsKoshkin5y ago0 comments

> 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?

Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.

j / k navigate · click thread line to collapse