AI slop isn't "new proofs of theorems", no more than Claude Code slop is "new software products".