Four Colour Theorem
- It is desired to colour a political map on a plane so that countries sharing a common boundary are coloured differently. Experience of map-makers has shown that four colours suffice. This assertion in its precise formulation was an unsolved problem in mathematics for over a hundred years. It has now been "proved" with the assistance of a computer.