AI가 괴델의 낡은 노트에서 숨은 수학 발견을 찾아내요

한눈에 보기

오스트리아 출신 논리학자 쿠르트 괴델이 남긴 1,009쪽 분량의 노트를 AI 모델 클로드가 며칠 만에 정리해, 그가 수백 개의 정리를 증명했음을 보여 줬어요. 사람이 1년에 50쪽 정도 읽던 것을 AI가 훨씬 빠르게 처리했어요.

핵심만 콕콕

1. 1

   괴델은 1940년대 초에 쓴 노트 16권에 수학·논리 내용을 빽빽하게 적었어요.

2. 2

   노트 대부분은 이미 쓰이지 않는 독일어 속기법으로 쓰여 있어요.

3. 3

   헬싱키대 연구팀은 2017년부터 이 노트를 연구했지만 한 주에 한 쪽 정도밖에 진전이 없었어요.

4. 4

   9월부터 클로드를 쓰자 며칠 만에 전체 내용을 정리한 650쪽짜리 해설이 나왔어요.

왜 중요할까요?

괴델의 연구는 수학으로 증명할 수 없는 참이 있다는 것을 보여 줘 현대 컴퓨터 이론의 바탕이 됐어요. 그의 미발표 노트를 AI로 읽을 수 있게 된 것은 과학사 연구 방식이 바뀔 수 있다는 뜻이에요.