네 가지 색이면 충분하다 아이도 아는 이 문장을 인류는 174년째 손으로 증명하

#4색정리 #수학난제 #컴퓨터증명 #수학사 #과학다큐 1852년 한 학생이 잉글랜드 지도를 칠하다 물었습니다. 맞닿은 지역끼리 색이 겹치지 않게 칠하려면 네 가지 색으로 충분한가. 아이도 이해할 수 있는 이 한 문장이 174년을 버텼습니다. 1879년 런던의 법정 변호사 앨프리드 켐페가 증명을 발표해 왕립학회 펠로우까지 됐지만, 11년 뒤 퍼시 히우드가 그 증명의 결함을 찾아냈습니다. 켐페 본인도 1891년 런던 수학회에서 오류를 인정하고 고칠 수 없다고 밝혔습니다. 남은 것은 넷과 다섯 사이 딱 한 칸이었습니다. 그 한 칸을 메우는 데 86년이 더 걸렸고, 끝낸 것은 사람이 아니었습니다. 1976년 일리노이대의 케네스 아펠과 볼프강 하켄이 천사백여든두 가지 경우를 컴퓨터에 천이백 시간 돌려 답을 얻었습니다. 그런데 축하는 오지 않았습니다. 뉴욕타임스는 처음에 보도를 거부했고, 수학계는 사람이 검산할 수 없는 증명을 증명이라 부를 수 있는지를 두고 갈렸습니다. 그리고 2026년 3월, 일본과 덴마크와 캐나다의 여섯 사람이 새 증명을 내놓았습니다. 목록은 줄어드는 대신 팔천이백이 개로 늘었고, 여전히 컴퓨터가 필요했습니다. ⏱ 타임스탬프 00:00 지도를 칠하다 센 네 가지 색 01:01 드모르간이 그날 쓴 편지 02:20 27년 만에 나타난 변호사 04:04 11년 뒤 발견된 결함 06:02 사람이 감당할 수 없는 목록 08:12 천이백 시간, 그리고 침묵 09:18 2015년 덴마크의 해변 10:18 174년째 비어 있는 한 칸 🔗 주요 출처 Quanta Magazine — The Four-Color Theorem Gets a Rare New Proof (2026년 9월) arXiv — The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring (2026년 3월) MacTutor 수학사 아카이브 — The four colour theorem (세인트앤드루스대) 🔔 과학사의 결정적 순간을 한 편의 다큐로 만들어 올립니다. 다음 이야기도 함께 보고 싶으시면 채널을 구독해 주세요. #4색정리 #사색정리 #수학난제 #수학사 #컴퓨터증명 #아펠하켄 #켐페 #히우드 #그래프이론 #과학다큐 #수학다큐 #과학사 #인공지능과수학 #난제 #증명