그래서 아직도 당시의 상황이 꼭 어제처럼 생생하게 기억이 되살 이

“그런데 제가 알기로는 수학 문제 SPO] 맞는지 들렸 사하는 것 또한 시간이 많이 걸리던데요. 거의 몇 년 걸리는 것도 있다면서요?”

그래, 맞단다. 우리의 작업이 진정 맞았는지를 검증하는 작업 이 있었지. 그 와중에 컴퓨터 프로그램에서 몇 가지 오류도 있었 단다. 하지만 사소한 부분으로 간주되어 금방 오류를 수정했단 다. 결국에는 다른 연구팀들이 프로그램과 컴퓨터의 증명 체크한 후 이상이 없다는 것을 증명해 주었단다, 이제 정발로 증 명이 끝났지.

“그런데 증명을 확인한 사람들이 수학자만 있었던 건 아니었겠

그 때문에 수학자들 내부에서는 아직도 4색 정리를 새롭게 증

#7 증명히 왔는데 말이에요.

증명은 하나만 있는 Al 아니란다. 너희들이 잘 알고 있는 피타