Claude가 헬싱키의 논리학자가 괴델의 속기 노트를 읽도록 도와 수백 개의 정리를 찾아내다

The Guardian에 따르면, 2017년부터 쿠르트 괴델의 1940년대 초 ‘노트’ 16권(총 1,009쪽, 그중 상당 부분은 현재 쓰이지 않는 가벨스베르거 속기로 작성됨)을 다루는 헬싱키대학교 프로젝트를 이끌어 온 얀 폰 플라토는 9월에 Claude에 자신이 작성한 판독본과 괴델에 관한 이전 저서, 2차 문헌을 제공했다. 폰 플라토에 따르면 Claude는 며칠 만에 노트에 대한 650쪽 분량의 설명을 작성했으며, 이를 한 쪽씩 검토해야 했다고 한다.

폰 플라토가 발견했다고 말한 내용. 노트에 선택 공리가 독립적이라는 증명이 있는지 묻자, Claude는 폰 플라토가 “거의” 완성됐다고 평가한 증명을 재구성했다. 다만 정의 하나가 틀렸는데, 괴델은 2년 전에는 올바른 정의를 제시했었다고 한다. 그는 재구성된 증명이 Coq 증명 보조기의 검증을 통과했다고 밝혔다. 괴델이 증명했거나, 개요를 그렸거나, 아이디어를 냈던 모든 정리를 추출하라고 하자 Claude는 663개를 나열했다. 폰 플라토는 이 가운데 약 400개는 Coq에서 제시된 대로 검증됐고, 약 200개는 수정이 필요했으며, 약 50개는 거짓이었다고 말했다. 또한 Claude가 아직 연구되지 않은 논리학 주제를 12개 넘게 찾아냈다고 밝혔다.

주의할 점. 재구성 결과를 보지 못한 노터데임대학교의 조엘 데이비드 햄킨스는 The Guardian에, 결과가 타당하다면 “놀랍고 역사적으로 흥미롭다”고 말했다. 하지만 그중 Claude의 몫이 얼마나 되고 괴델의 몫이 얼마나 되는지는 역사가들이 판단할 문제이며, 코언의 증명과 유사하다고 해서 괴델이 그 증명을 갖고 있었다는 뜻은 아니라고 덧붙였다.