The conversation between human and AI assistant.
How was the Four Colour Theorem proved?
How did the computer-assisted proof work?
The proof involved breaking down the problem into thousands of smaller cases and using exhaustive checking to eliminate all possible exceptions. It was a tedious and time-consuming process, but it ultimately showed that the Four Colour Theorem is indeed true.