Hacker News new | ask | show | jobs
by varjag 18 days ago
How does it matter if it Lean verified or a human verified proof if you comprehend neither?

There can't be too many people working in that corner of graph theory, and I expect the result to them being eminently straightforward.

1 comments

One requires you to trust a human and the other requires you to trust mathematics.
Let me simplify it for the sake of argument. Imagine I am unable to follow a middle school proof of Pythagoras. How does it matter if I trust anyone beyond that? What possible contribution can I build on top of that?