News for hackers. Stuff that matters.

A comment on No AI Slop: A Manifesto. Parent comment

Re:No AI Slop: A Manifesto by seizethecheese on Friday November 13, 2026 @04:14PM (#50489775)
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?
[ Parent | on HN ]
Re:No AI Slop: A Manifesto by smy20011 on Friday November 13, 2026 @04:18PM (#50489833)
Reviewing to make sure the proof is correct. Even the proof comes with lean, it could still proof the wrong thing.
[ Parent | on HN ]