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