Comment by cgio
2 hours ago
I am not sure of the premise. You can have a filter which takes garbage in and outputs the clean data from the garbage, a denoiser. Also your definition of slop is not specific to slop. Any input can be garbage, including this human sourced and thought comment.
Nevertheless, the proof is valid and easy to certify