#computer-proof

네 색이면 충분하다 — 소설이 쓸 수 없는 방식으로 풀린 문제

1852년 지도 색칠에서 시작해 124년을 버틴 문제가 1,200시간짜리 기계 검사로 끝난 경위와, 손으로 증명한다는 말에 붙는 오해들을 정리했다.