Hacker News Reader

If you're confident about your proof checker being correct, then why would you not be confident about the validity of a proof that your proof checker says is correct?

View on HN

They're not even touching that but it's possible. The issue is you can still write proofs that appear correct, but really, they aren't.

Reply on news.ycombinator.com