alt Hacker NewsYes, what I'm saying is some of these proofs may have had essentially zero marginal human effort. Should they not be reviewed at all?
Yes, what I'm saying is some of these proofs may have had essentially zero marginal human effort. Should they not be reviewed at all?
Reviewing to make sure the proof is correct. Even the proof comes with lean, it could still proof the wrong thing.