4색 정리 편집하기 (부분)

==역사==
4색 정리는 1852년 프랜시스 거스리(Francis Guthrie)가 제기한 문제에서 출발했다. 이후 수십 년간 수많은 수학자들이 시도했으며, 1976년 케네스 아펠(Kenneth Appel)과 볼프강 하켄(Wolfgang Haken)이 컴퓨터 보조 증명을 통해 정리를 증명하였다. 이는 수학 역사상 최초로 대규모 계산이 증명의 핵심 도구로 사용된 사례로 주목받았다.