기술 트렌드
괴델의 노트를 읽은 클로드, ‘수백 개 정리’보다 중요한 검증의 분업
글 · 정우석
AI가 괴델의 미공개 노트에서 수백 개의 수학적 성과를 찾아냈다는 소식이 나왔다. 2026년 11월 13일 가디언 보도의 핵심은 지식 발굴이다.
헬싱키대 논리학자 얀 폰 플라토가 이끈 연구진은 2017년부터 괴델이 남긴 노트 16권, 1,009쪽을 연구해 왔다. 오래된 독일어 속기와 난해한 수학이 겹친 탓에, 내용을 이해하는 속도는 일주일에 한 쪽 정도였다고 한다. 전환점은 올해 9월, 연구자가 전사한 텍스트와 관련 문헌을 앤트로픽의 클로드에 제공하면서 찾아왔다. 연구자 설명에 따르면 클로드는 며칠 만에 650쪽 분량의 해설을 만들었지만, 결과는 쪽마다 확인해야 했다.
여기서 ‘AI가 노트를 해독했다’는 표현을 정확히 읽어야 한다. 사람이 이미 옮겨 적은 자료를 바탕으로 흩어진 논증을 연결하고 정리한 것이므로, 필기 인식부터 수학 연구까지 전부 자동화한 사례로 받아들이면 곤란하다.
- 입력: 전문가가 마련한 전사본과 문헌이 분석의 출발점이었다.
- 추출: 663개 항목에는 완성된 증명뿐 아니라 증명 초안과 아이디어도 포함됐다.
- 검증: 연구자는 Coq로 약 400개를 그대로 확인했고, 약 200개는 수정했으며, 약 50개는 거짓이었다고 설명했다.
인사이트
AI가 묻혀 있던 지식을 연구 가능한 후보로 바꿀 때, 전문가의 자료 정리와 독립적인 검증 도구의 가치도 커진다. 연구용 AI의 성과는 생성한 주장 수보다 원문부터 최종 증명까지 얼마나 추적 가능한지로 평가해야 한다.
자주 묻는 질문
- 클로드가 괴델의 악필을 직접 읽은 거야?
- 보도된 작업에서는 연구자가 마련한 전사본과 관련 문헌을 클로드에 제공했다. 핵심은 손글씨 자체의 자동 해독보다, 옮겨 적은 자료를 분석하고 논증 사이의 연결을 찾는 작업이었다.
- 그럼 새로운 정리 663개가 확정된 거야?
- 663개는 증명과 초안, 아이디어를 포함한 추출 항목 수다. 연구자가 보고한 검증 결과에도 수정이 필요한 항목과 거짓인 항목이 포함돼 있어, 모두 완성된 새 정리라고 부를 수 없다.
- 검증 프로그램을 통과하면 AI 환각 걱정은 끝이야?
- 형식 검증은 입력된 가정과 정의 아래에서 증명이 규칙을 따르는지 확인한다. 그 가정과 정의가 괴델의 원문을 충실하게 반영하는지, 결과의 역사적 공로가 누구에게 있는지는 별도로 검토해야 한다.
이 기사 어땠어요?
피드백을 남겨주시면 더 나은 맞춤 추천을 만듭니다.