The Four Colour Theorem
historic
Four colours suffice for any map. The first major theorem proved by a computer — and the first mathematical controversy about what a proof is.