기계한테 수학 실력으로 처음 참교육당했던 1976년 수학계 대참사 ㅋㅋㅋ

요약 1976년 7월, 100년 넘게 수학자들을 괴롭혀 온 난제 '4색 정리(어떤 지도라도 인접한 구역이 같은 색이 되지 않게 칠하는 데는 4가지 색이면 충분하다는 정리)'가 마침내 해결되었습니다. 하지만 해결자인 케네스 아펠(Kenneth Appel)과 볼프강 하켄(Wolfgang Haken) 뒤에는 아주 이례적인 조력자가 있었습니다. 바로 1,200시간의 연산과 10배억 회에 달하는 결정을 대신 처리해 준 컴퓨터였습니다. 프로그래머 존 코흐의 도움을 받아 완성된 이 시스템은 인간 창작자에게도 예상 밖의 진행 방식을 가르쳐 주며 특정 지적 영역에서 인간을 앞서기 시작했습니다. 이 소식이 전해지자마자 수학계는 환호 대신 거센 반발과 신념의 충돌에 휩싸였습니다. 인간의 이성과 우아한 논리를 중시하던 수학자들에게 사람이 직접 검증할 수 없는 기계식 증명은 이단처럼 느껴졌기 때문입니다. 펜실베이니아대의 허버트 윌프는 "신은 이렇게 끔찍한 방법으로 정리가 풀리도록 내버려 두지 않았을 것"이라고 한탄했고, 수학자 폴 할모스는 "오라클(신탁)에 의존한 증명은 수학이 아니다"라며 기계의 개입을 맹비난했습니다. 심지어 어떤 학과장은 이 방식이 우아한 검증 유인을 없앴다며 대학원생들과 연구자들의 만남을 금지하기까지 했습니다. 흥미롭게도 컴퓨터 증명을 받아들이는 태도는 세대에 따라 확연히 갈렸습니다. 연구자 하켄의 아들이 증명을 발표했을 당시, 40대 이상 수학자들은 "컴퓨터가 한 증명을 어떻게 믿느냐"며 불신한 반면, 40대 이하 세대는 오히려 "사람이 손으로 계산한 700쪽짜리 증명을 어떻게 믿느냐"며 컴퓨터의 손을 들어준 것입니다. 초기에는 뉴욕타임스가 오보를 우려해 보도를 거부하는 해프닝도 있었지만, 빌 투트 등 저명한 수학자들의 지지와 철학자들의 논쟁을 거치며 컴퓨터 보조 증명은 점차 자리를 잡았습니다. "인간은 피로해지고 주의력이 흐트러지기 쉽지만 컴퓨터는 지치지 않는다"는 테드 스워트의 반론처럼, 1976년의 4색 정리는 기계가 처음으로 인간 수학자들의 자존심을 꺾고 인공지능 시대를 예고한 상징적인 사건으로 남았습니다.