4色定理は受け入れられたのか？

4色問題
経験的事実
『平面上の地図は 4色あれば必ず塗りわけが可能である』
を証明せよ

1976 年 K.Appel と W.Haken が証明 (問題の認識から解決まで 130 年！)。

彼らはどんなふうに解決したのか
場合分けによって約2000通りの小さな計算問題に分解
　それらをコンピューターで処理した
大型コンピューターで足掛け 4 年 (CPU 時間 1000 h)