존 매카시: 인공지능이라는 이름을 만든 사람
1956년 여름, 젊은 다트머스 대학의 수학 교수는 자신이 전년도에 공동 집필한 제안서에 따라 두 달간의 워크숍을 위해 소수의 연구자 그룹을 모았고, 그 행사를 위해 자신이 직접 만든 용어인 "인공지능(artificial intelligence)"을 처음으로 인쇄물에 사용했습니다. 다트머스 하계 연구 프로젝트(Dartmouth Summer Research Project)는 현재 이 분야를 독자적인 학문으로 시작시킨 것으로 평가받으며, 존 매카시는 이후 50년간 이 용어가 약속하는 바를 실현하기 위해 노력했습니다.
대공황 시절의 어린 시절과 가속화된 교육
1927년 9월 4일 보스턴에서 아일랜드계 이민자 아버지 존 패트릭 매카시(John Patrick McCarthy)와 리투아니아계 유대인 어머니 이다 글랫 매카시(Ida Glatt McCarthy) 사이에서 태어난 매카시의 가족은 1930년대 공산당원이었으며, 대공황기에 아버지가 일자리를 찾아 헤매면서 여러 번 이사했고 결국 로스앤젤레스에 정착하여 아버지는 산별산업노조(Amalgamated Clothing Workers)에서 활동했습니다. 매카시는 벨몬트 고등학교(Belmont High School)를 2년 일찍 졸업했는데, 입학하기 전부터 이미 칼텍(Caltech) 교과서로 대학 수준의 수학을 독학했습니다. 그의 정규 교육은 칼텍에서 체육 수업 결석을 이유로 정학을 당하며 중단되었으나, 미 육군에서 복무한 뒤 돌아와 1948년 수학 학사 학위를 마쳤습니다. 칼텍에서 들은 존 폰 노이만(John von Neumann)의 강의는 그에게 큰 영향을 주었으며, 매카시는 1951년 프린스턴 대학교(Princeton)에서 도널드 C. 스펜서(Donald C. Spencer) 지도하에 편미분 방정식에 관한 논문으로 수학 박사 학위를 받았습니다.
분야의 명명과 창립
1955년 다트머스 대학의 조교수로서 매카시는 마빈 민스키(Marvin Minsky), 너새니얼 로체스터(Nathaniel Rochester), 클로드 섀넌(Claude Shannon)과 함께 1956년 다트머스 하계 연구 프로젝트가 된 제안서를 공동 집필했습니다. 계산 역사학자들은 이 모임을 인공지능의 창립 행사이자 이 분야의 이름이 탄생한 계기로 다룹니다. 매카시는 민스키, 앨런 뉴얼(Allen Newell), 허버트 사이먼(Herbert Simon)과 함께 AI의 창립 아버지들 중 한 명으로 꼽힙니다. 그는 1956년 MIT로 자리를 옮겨 연구원이 되었고, 1958년 최초의 AI 연구 프로젝트 설립을 도왔으며, 1962년 스탠퍼드 대학교(Stanford) 정교수가 되어 2000년 은퇴할 때까지 스탠퍼드 인공지능 연구소(Stanford Artificial Intelligence Laboratory)를 건설하고 이끌며 MIT와 견줄 만한 연구 센터로 만들었습니다.
LISP와 기호 컴퓨팅의 메커니즘
매카시의 가장 중요한 기술적 발명은 LISP인데, 이는 원시 재귀 함수의 수학이 단순한 숫자가 아닌 기호 표현을 조작하는 데 확장될 수 있음을 인식한 후 1950년대 후반에 그가 개발한 프로그래밍 언어입니다. 1960년의 중요한 논문에서 발표된 LISP는 코드와 데이터를 상호 교환 가능한 것으로 취급하고 초기 AI 작업이 의존했던 기호적 추론을 지원한다는 점 때문에 수십 년 동안 AI 연구의 기본 언어가 되었습니다. LISP가 야기한 기술적 문제인 데이터 구조를 즉석에서 생성하는 프로그램을 위한 메모리 관리를 해결하면서, 매카시는 1959년경 자동 가비지 컬렉션(automatic garbage collection)도 발명했으며, 이 기술은 현재 AI를 훨씬 넘어서는 대부분의 현대 프로그래밍 언어에 내장되어 있습니다.
시분할과 네트워크 컴퓨팅의 뿌리
컴퓨팅 파워가 전기나 물처럼 접근 가능해야 한다고 믿었던 매카시는 1961년 컴퓨팅이 공공재처럼 판매될 수 있다고 제안했습니다. 그는 호환 시분할 시스템(Compatible Time-Sharing System), BBN 시분할 시스템, 다트머스 시분할 시스템을 포함하여 최초의 시분할 시스템 중 일부를 구축하는 데 중추적인 역할을 했으며, 이를 통해 여러 사용자가 단일 작업을 대기하는 대신 단일 컴퓨터의 처리 능력을 대화형으로 공유할 수 있게 했습니다. 그의 동료 레스터 어니스트(Lester Earnest)는 나중에 그 중요성을 분명히 했습니다: "존이 시분할 시스템 개발을 시작하지 않았다면 인터넷은 지금처럼 빨리 발생하지 않았을 것입니다." 그는 또한 ALGOL 60을 설계한 ACM 위원회에서 활동하며 현대 프로그래밍 언어의 표준 기능이 된 재귀와 조건식을 제안했습니다.
상식, 논리, 그리고 회의론자와의 논쟁
인프라를 넘어 매카시는 AI의 더 깊은 문제로 여겼던 것, 즉 기계에 인간의 상식과 같은 것을 부여하는 일을 추구했습니다. 그의 1958년 "Advice Taker" 제안서는 논리를 사용하여 세계에 대해 추론할 수 있는 프로그램을 개략적으로 설명했으며, 이후 그는 시스템이 불완전한 정보로부터 합리적인 기본 결론을 도출할 수 있게 하는 비단조 추론 방법인 서컴스크립션(circumscription)을 개발했습니다. 그는 스스로를 "인간 지능의 모든 측면이 기계에 프로그래밍될 수 있을 만큼 충분히 정확하게 형식화될 수 있다"고 믿는 AI 낙관론자로 묘사했으며, 이러한 확신은 인간의 추론이 논리로 완전히 환원될 수 있는지에 대해 철학자 휴버트 드레이퍼스(Hubert Dreyfus)와 오랫동안 공개적인 논쟁을 벌이게 했습니다.
개인적인 삶과 정치
매카시는 세 번 결혼했습니다. 두 번째 아내이자 산악인 겸 컴퓨터 과학자인 베라 왓슨(Vera Watson)은 1978년 안나푸르나 I 중앙봉을 등반하던 중 사망했고, 나중에 컴퓨터 과학자 캐롤린 탤콧(Carolyn Talcott)과 결혼했습니다. 러시아어에 능통하고 소련을 자주 방문했던 매카시는 1968년 소련의 체코슬로바키아 침공을 목격한 후 환멸을 느꼈고, 부모의 공산당원 활동과는 정반대인 스스로를 보수적인 공화당원으로 규정했습니다. 그는 스탠퍼드 메모리얼 교회(Memorial Church)에서 열린 연설에서 스스로 무신론자임을 밝혔고, 초기 인터넷 포럼에서 컴퓨터 과학과 함께 세계 정세와 지속 가능성에 대해 토론하는 적극적이고 의견이 뚜렷한 존재로 남았습니다.
왜 존이 천재라 불리는가
그가 받은 가장 높은 영예 중 하나인 교토상(Kyoto Prize)은 매카시를 "인공지능의 아버지"로 직접 지칭하며, 그가 창립 이래 이 분야의 "근본적인 문제들에 도전"했고 50년간 "끊임없이 새로운 이론을 제시"했다는 점을 공로로 인정했습니다. 이는 단일 발명이 아니라 전체 학문의 기술적 어휘를 명명하고 창립하며 재창립한 지속적인 기록입니다. 이는 지적 성취가 허용하는 한 천재성에 대한 구체적인 근거입니다. 매카시는 기존 도구를 새로운 문제에 적용했을 뿐만 아니라, 도구를 만들고, 분야의 이름을 지었으며, 초기 연구의 대부분이 실행된 언어를 작성했고, 컴퓨터가 공유될 수 있도록 하는 시스템 아키텍처를 제안했습니다. 솔직한 복잡성은 논리 기반의 기호 AI가 인간 수준의 추론으로 확장될 수 있다는 매카시의 중심적인 낙관론이 수십 년 후 그가 회의적이었던 통계 및 신경망 접근 방식에 의해 크게 대체되었다는 점이며, 이는 그가 경력을 바쳐 옹호한 특정 연구 프로그램 자체가 그가 명명한 분야와 관련된 돌파구를 마련하지는 못했다는 것을 의미합니다. 그의 천재성은 그 이론에 답할 것이라 믿었던 특정 지능 이론보다는 올바른 질문을 구성하고 LISP, 가비지 컬렉션, 시분할과 같은 지속 가능한 인프라를 구축하는 데 있었습니다.
유산
매카시는 1971년 튜링상(Turing Award), 1988년 교토상, 1990년 국가 과학 메달(National Medal of Science) 등을 수상하고 경력 기간 동안 약 30명의 박사 과정 학생을 지도한 후, 2011년 10월 24일 84세의 나이로 스탠퍼드 자택에서 사망했습니다. 그는 명칭이자 선언문인 "인공지능"이라는 문구와 LISP부터 시분할에 이르기까지 오늘날에도 컴퓨팅이 조용히 작동하는 인프라를 남겼습니다.
