human
四色定理とは何か、わかりやすく説明してください。
gpt
四色定理とは、どんな複雑な地図でも4色あれば塗分けられるというものです。

この定理は1852年に提案されてから長く数学上の難問のままでしたが、1976年にアメリカの数学者ケネス・アッペルとウォルフガング・ハーケンが初めて証明しました。彼らはコンピュータによる膨大な場合わけをしてこれを解決しました。数学では簡潔で洗練された証明が美しいとされるので、コンピュータによるこの証明方法は美しくないと言われています。