The conversation between human and AI assistant.
How was the Four Colour Theorem proved?
How was this theorem proved?
The theorem was first conjectured by Francis Guthrie in the 1850s and was later proved by Kenneth Appel and Wolfgang Haken in 1976, using a computer-assisted proof.