> *automated proofs* You've got a point, but in this case you are barking at the... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Koshkin on Nov 11, 2020 | parent | context | favorite | on: Building the Mathematical Library of the Future

> 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 on Nov 12, 2020 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact