AI가 괴델 비밀 노트 수백 정리 발굴
원제: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
왜 중요한가
AI가 수십 년간 미해독된 역사적 수학 문서를 단기간에 해석하면서, 학술 연구 가속화 도구로서의 가능성을 실증한 사례다.
핀란드 논리학자 Jan von Plato가 이끄는 Helsinki University 연구팀이 AI 모델 Claude를 활용해 Kurt Gödel의 1940년대 노트 16권(총 1,009페이지)을 분석한 결과, 기존에 알려지지 않은 수백 개의 증명된 정리를 발견했다고 2026년 11월 13일 가디언이 보도했다.
오스트리아 출신 논리학자 Kurt Gödel은 1931년 불완전성 정리로 수학의 흐름을 바꾼 20세기 최고의 사상가 중 한 명이다. 그러나 그가 1940년대 초 작성한 16권의 '워크북'은 오랫동안 미해독 상태로 남아 있었다. 이 1,009페이지 분량의 노트 대부분이 Gödel 당시에도 이미 사용이 줄어들던 독일어 속기법 Gabelsberger로 쓰여 있었기 때문이다.
2017년부터 Helsinki University에서 이 노트 해독 프로젝트를 이끌어온 Jan von Plato는 수년간 주당 약 한 페이지 속도로 겨우 진행해왔다. 그러다 2026년 9월, Anthropic의 AI 모델 Claude를 투입하자 단 이틀 만에 전체 자료의 종합 요약이 완성됐다. 그 결과, Gödel이 수백 개의 정리를 이미 증명해 놓았으나 세상에 발표하지 않았음이 드러났다.
von Plato는 "충격적이었다"고 말했다. 그는 "워크북에는 1970~80년대에야 알려진 결과들을 수십 개 앞서 도출한 내용뿐 아니라, 아직까지도 본격적으로 연구되지 않은 논리학의 14가지 주제가 담겨 있다"며 "Gödel은 시대를 훨씬 앞서 있었다"고 밝혔다. Gödel의 연구는 Alan Turing에게 영감을 주었고, 디지털 시대의 토대를 마련한 것으로 평가받는다.