2026-08-03 [🌿 다듬는 중 · growing] [margins] 네 색이면 충분하다 — 소설 같은 문제, 소설 같지 않은 증명 틀린 증명에서 살아남은 아이디어와 컴퓨터의 방대한 경우 검사가 124년을 버틴 지도 색칠 문제를 풀어냈다. #graph-theory #math #four-color-theorem+3태그 3개 더