Boosters have posited this conjecture since the beginning: “who cares how a proof comes about, math is math, the proof is all that matters”. Regardless of math

Boosters have posited this conjecture since the beginning: “who cares how a proof comes about, math is math, the proof is all that matters”. Regardless of mathematicians stating the methods outstrip the proof’s importance, still amazing we got an explicit social counterexample as well so quickly.