recently a bunch of four mathematicians re-proved the theorem

That you need four mathematicians for an efficient proof of the four-colour theorem sounds like a corollary of Conway's Law...

Either that or you need Fred Brooks to explain why eight mathematicians couldn't have proven it in half the time.