AI 연구

AI가 괴델 미공개 노트 해독, 정리 수백 개 발견

GeekNews·2026-11-13

요약

핀란드 헬싱키대 Jan von Plato 교수가 Claude를 이용해 쿠르트 괴델의 미공개 수학·논리학 노트 1,009쪽을 분석했어요. 연구팀이 옮겨 적은 노트와 관련 문헌을 넣자 Claude는 며칠 만에 650쪽짜리 해설을 만들어냈는데, 기존에는 사람이 주당 한 쪽 정도밖에 분석하지 못했던 작업이에요. 다만 결과는 페이지별로 사람이 다시 검토해야 했어요. 증명이나 증명 개요, 아이디어가 담긴 정리 663개를 뽑아 Coq라는 증명 검증 프로그램으로 확인한 결과 약 400개는 그대로 맞았고, 약 200개는 수정이 필요했고, 약 50개는 틀린 것으로 나타났어요.

큐레이터 노트

원문에 없는 맥락입니다

AI가 사람이 몇 주씩 걸릴 분석을 며칠로 줄여준 건 맞지만, 663개 중 약 250개는 틀리거나 손봐야 했다는 점에서 전문가의 검증 없이는 아직 쓰기 어렵다는 걸 보여준 사례예요.

깊이 읽기

이 기사 한 건이 아니라, 같은 사안을 다룬 이 사이트의 기록을 근거로 정리했습니다

이 일이 어디서 왔나

같은 날 가디언도 괴델의 속기 노트를 AI로 해독해 숨은 증명을 찾아낸 사실을 보도했는데, 이번 기사는 그 작업의 구체적 수치—650쪽 해설, 정리 663개 중 검증 결과—를 담고 있다. 10월 말 오픈AI가 AI가 생성한 수학·물리 난제 증명을 '연구 원자료'로 규정하며 전문가 검토를 전제로 공개한 것과 비슷한 흐름으로, AI의 수학적 결과물을 곧바로 신뢰하지 않고 검증 절차를 거치는 사례가 이어지고 있다.

짚어야 할 점

  • Claude가 만든 663개 정리 중 그대로 맞은 것은 약 400개(60%)에 그쳐, 속도가 빨라진 만큼 검증 부담이 그대로 남았다는 점을 봐야 한다.
  • 오픈AI가 AI 증명을 '연구 원자료'로 못 박은 것처럼, 이번 사례도 Coq라는 별도 검증 프로그램과 사람의 페이지별 재검토가 있었기에 결과를 신뢰할 수 있었다.
  • 사람이 주당 한 쪽 분석하던 일을 며칠로 줄였다는 성과와, 약 50개 정리가 틀렸다는 한계가 같은 사례에 함께 나타난다는 점이 중요하다.

아직 확인되지 않은 것

  • 약 200개 정리를 수정해야 했다는데, 수정에 들어간 사람의 작업 시간이나 난이도는 나오지 않았다.
  • 틀린 것으로 판명된 약 50개 정리가 어떤 유형의 오류였는지는 확인되지 않았다.
  • 이번 분석에 쓰인 Claude의 구체적 모델명은 언급되지 않았다.

다른 매체는 이렇게 썼다

같은 사안을 다룬 다른 곳의 보도입니다

AI가 괴델의 속기 노트서 숨은 수학 증명 찾아내
The Guardian AI · 2026-11-13

오스트리아 수학자 쿠르트 괴델은 1931년 불완전성 정리를 발표해 수학과 디지털 시대에 큰 영향을 미쳤어요. 그 이후 괴델은 논문을 거의 내지 않았지만, 공개되지 않은 글이 수만 쪽에 달해요. 그중 1,009쪽은 지금은 거의 쓰지 않는 속기로 빽빽하게 쓰여 있었는데, AI의 도움으로 이…

네이버, 피그마→안드로이드 변환 AI 스킬 노하우 공개
NAVER D2 · 2026-11-10

네이버 개발자가 디자인 도구 피그마의 화면을 안드로이드 앱 코드로 자동 변환해 주는 AI 스킬(반복 작업 지침을 모아 둔 폴더)을 만들고, 그 과정에서 얻은 10가지 원칙을 글로 공개했습니다. 스킬은 Claude의 '에이전트 스킬' 기능을 활용해 매번 프롬프트에 같은 설명을 반복하지 않…

올트먼, 수학자들에 공감하지만 AI 수학 결과 공개는 계속
The Verge AI · 2026-10-30

OpenAI CEO 샘 올트먼이 팟캐스트 '치키 파인트'에서, 자사 AI가 쏟아낸 수학 연구 결과들로 어려움을 겪는 수학자들에게 공감한다고 밝혔다. 그는 '세상은 우주가 어떻게 작동하는지 이해할 자격이 있다'면서도 '그 방식에는 공감한다'고 말했다. 다만 결과물 공개를 멈추지 않을 것이…

이 사안의 흐름

같은 주제를 다룬 이 사이트의 기록 — 최신순

이 페이지는 원문을 요약·재서술하고 이 사이트가 쌓은 기록을 덧붙인 큐레이션입니다. 원문 본문은 싣지 않으며, 수치와 표기는 원문 기준을 유지했습니다. 이 글은 AI의 도움을 받아 작성했습니다.

GeekNews 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →