Hacker News new | past | comments | ask | show | jobs | submit
smy20011 | on: No AI Slop: A Manifesto
Only human can publish the slop, which mean if Tao release something without reviewing, it will be called slop.
seizethecheese | parent
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?
smy20011 | root | parent
Reviewing to make sure the proof is correct. Even the proof comes with lean, it could still proof the wrong thing.