4가지 색으로 이웃한 곳은 서로 다른 색이 되도록 색칠할 수 있을까요? 4색 문제(Four color problem) '서로 인접한 두 나라를 다른 색으로 칠할 때 모든 지도는 4색으로 칠하여 구분할 수 있다.' 이를 수학적으로 증명하는 문제를 '4색정리'라고 합니다. 미국 일리노이 대학교의 케네스 아펠(Kenneth Appel, 1932~ )과 볼프강 하 켄(Wolfgan Haken, 1928~ )교수에 의해 해결되었습니다. 그들은 지도를 특징에 따라 약 1936개의 경우로 분류하고 각각의 경우가 4색으로 구분될 수 있다는 것을 슈퍼 컴퓨터를 써서 증명하였습니다. 이를 증명하기 위해 슈퍼 컴퓨터를 1200시간이나 썼다고 합니다. 4색 문제 가 인간의 머리가 아닌 컴퓨터의 힘을 빌려 해결되었다는 것은 수 학의 발전 과정에서 특이한 일로 평가됩니다.