The conversation between human and AI assistant.
How was the Four Colour Theorem proved?
Was there any controversy surrounding the proof?
Yes, there was some controversy among mathematicians who questioned the validity of using a computer to prove such a complex and important theorem. However, the proof has been widely accepted and is considered to be a significant achievement in the field of mathematics.