Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on AI is forcing us to pay off 40 years of technical debt. Parent comment
The quote captured the fact that a human reviewed proof could have mistakes in it. This is very different from a Lean verified proof.
There are no comments on this comment yet.
The quote captured the fact that a human reviewed proof could have mistakes in it. This is very different from a Lean verified proof.