I don't think the slop analogy is that valid here. Sloppy pictures may be of little value, but a "sloppy" proof of a conjecture does still prove it.