I don't think a comment on HN has ever made me as viscerally upset as this one.

It's just the epitome of hubris. People have been trying to find counterexamples since at least the 19th century, without success, and now that a formal proof has come around, none of the thousands of professional research mathematicians alive has found any flaw with it.

But no, they must all be wrong, because of your (trivial and very easy to come up with) counterexample! Nope, the counterexample was shown wrong in minutes.

The worst part isn't that you didn't see how your example could be 4-colored. That's fine, everyone makes mistakes in mathematics. The worst part is that you have such a low opinion of everyone else's intellectual abilities that instead of asking "am I understanding the problem statement wrong?" or "what's the four-coloring of this graph that I'm missing?" you simply assert that you're right and the entire field of specialist mathematicians is wrong. Do you really think your counterexample is so shockingly clever that you're the only person capable of coming up with it in 150 years?