› added 5 years ago
224
TIL about the Controversy surrounding the Four Color Theorem which states that every map can be colored using only four different colors. The remarkable theorem is the first that had to be proved using computer-assistance.
