On: “Math 2.0” will need to value mathematical progress more holistically

[carra]

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.