2 ms·AI slop isn't "new proofs of theorems", no more than Claude Code slop is "new software products".by otabdeveloper4 8d agoAI slop isn't "new proofs of theorems", no more than Claude Code slop is "new software products".