The Four-Colour Theorem
The Four-Colour Theorem, first conjectured in 1852, states that any planar graph can be properly coloured with four colours. The theorem was eventually proved 120 years later by Kenneth and Appel. This proof was considered to be a watershed moment in Mathematics. Why? Because it used computers.