The four color theorem states that any map can be colored using only four colors so that no two neighboring regions share the same color. It was famously the first major theorem proven with the help of a computer, in 1976.