Four Color Theorem
Famous for being the first major theorem proved using a computer.
📜
The statement of the theorem
Any map in a plane can be colored using no more than four colors such that no two adjacent regions share the same color.
Source: Wikipedia