› added 23 minutes ago
TIL that according to the four color theorem, only four colors are needed to make any map where no adjacent regions have the same color. It was the first major theorem to be proved using a computer, which attracted some initial skepticism.