Claude가 괴델의 1,009페이지 분량 속기 노트를 며칠 만에 분석해 663개의 정리를 추출함; 그중 약 400개는 Coq에서 검증 완료
Claude digested Gödel's 1,009 pages of shorthand notebooks in days, extracting 663 theorems; about 400 checked out in Coq as stated
핵심 요약
Claude가 괴델의 방대한 속기 노트를 분석해 수백 개의 정리를 추출하고 검증한 사례가 AI 연구 활용의 새로운 가능성을 보여줍니다.
- 연구 효율성 — 인간이 수년 걸릴 방대한 분량의 노트를 AI가 며칠 만에 분석함
- 정리 검증 — 추출된 663개의 정리 중 약 400개가 Coq를 통해 수학적으로 검증됨
- AI의 역할 — 새로운 수학적 발견보다는 기존 자료의 대규모 해석 및 정리 작업에 탁월함
- 역사적 가치 — 괴델의 미공개 연구를 AI를 통해 체계적으로 정리하고 학술적 가치를 재발견함
가디언 보도에 따르면 헬싱키 대학의 얀 폰 플라토(Jan von Plato) 교수가 2017년부터 괴델의 1940년대 연구 노트를 분석해 왔다고 함. 이게 대부분 지금은 아무도 안 쓰는 가벨스베르거 속기(Gabelsberger shorthand)로 적혀 있어서 일주일에 겨우 한 페이지씩밖에 못 읽었다네. 그러다 9월에 자기가 필사한 내용이랑 괴델 관련 저서들을 클로드(Claude)한테 던져줬더니, 며칠 만에 650페이지짜리 요약본을 뱉어냈다는 거임. 물론 본인 말로는 여전히 페이지마다 일일이 검증해야 했다고는 함.
클로드가 정리한 괴델의 정리만 663개임. 증명했거나, 대략적인 구상을 했거나, 아니면 아이디어만 냈던 것들까지 싹 다 긁어모은 거지. 이걸 Coq로 돌려보니까 약 400개는 그대로 검증 완료, 200개 정도는 수정(가정 추가나 명제 정밀화)이 필요했고, 50개는 아예 틀린 거였음. 괴델 본인도 여백에 가끔 "falsch!(틀림!)"라고 적어놨다니까 뭐 놀랍지도 않음.
내가 제일 마음에 드는 건 조엘 데이비드 햄킨스(Joel David Hamkins)의 경고임. 어디까지가 클로드의 몫이고 어디까지가 괴델의 몫인지 가려내는 건 이제 역사학자들의 몫이고, 무엇보다 "아무한테도 말 안 한 연구는 인정받을 수 없다"는 말이 핵심이지.
이게 지금까지 나온 '연구용 AI' 사례 중 가장 설득력 있는 거 아니냐? 새로운 수학을 발견한 건 아니지만, 인간 팀으로는 도저히 감당 안 되는 규모의 자료를 읽어냈다는 점에서 의미가 크지.
