research in graph theory prove that all maps could be colored using only four colors

Much research in graph theory was motivated by attempts to prove that all maps, like this one, could be colored using only four colors so that no areas of the same color touched. Kenneth Appel and Wolfgang Haken proved this in 1976.^[5]