AI, Gödel의 노트북에서 수백 개의 미공개 정리 발견
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
20세기 최고의 논리학자 Kurt Gödel이 1940년대에 남긴 1,009페이지 분량의 노트북이 AI 모델 Claude의 도움으로 해독되었다. 핀란드의 논리학자 Jan von Plato가 이끄는 연구팀은 2017년부터 독일 속기법으로 쓰인 이 노트북을 연구해왔으나 진전이 더뎠다. Claude는 이틀 만에 전체 내용을 요약했고, Gödel이 수백 개의 정리를 증명했으며 선택 공리의 독립성 증명도 거의 완성했음을 밝혀냈다. 이는 Gödel이 1966년 Paul Cohen의 필즈상 수상 당시 자신이 이미 증명했다고 주장한 것이 사실에 가까웠음을 시사한다.
“나는 깜짝 놀랐다. 이 노트북에는 70년대와 80년대까지 알려지지 않았던 결과들에 대한 수십 가지 예견이 담겨 있을 뿐 아니라, 아직 추구되지 않은 14개의 논리 주제도 포함되어 있다. Gödel은 자신의 시대보다 훨씬 앞서 있었다.”
HN 토론
92- iltennico
과학사학자들이 말하는 바로는, Gödel은 어쨌든 대부분 반박 불가능한 연구만 발표한 철저한 완벽주의자였습니다. 그의 방대한 노트에는 분명 매우 예리한 통찰이 담겨 있었겠지만, 그가 우연히 그리고 자신도 깨닫지 못한 채 새로운 정리를 명확하고 결정적으로 만들어냈을 가능성은 낮습니다. 그는 자신의 작업에 매우 가혹한 비평가였습니다.
- hobo123
Gabelsberger 속기에 관한 내용은 제게는 터무니없게 들립니다. 제 아버지는 2020년 돌아가실 때까지 그것의 맞춤형 버전으로 노트를 쓰셨습니다.
공식적으로(즉, 속기를 가르치던 학교에서는 예전에) 그것은 오래전에 "통일 독일 속기"(Deutsche Einheitskurzschrift, 기억이 맞다면)로 대체되었지만, 아버지는 항상 Gabelsberger가 더 우수하다고 여기셨습니다.
글쎄요, 아마 그도 세상에서 그것을 읽을 수 있는 6명 중 한 명이었을지도 모르죠(아니면, 네, 그건 과장이었을 수도 있고요, 확실하지 않습니다) :D
- agnosticmantis
AI는 노트의 일관성이나 완전성에 대해 언급하지 않았습니다.
- imbiased
정확한 인용문은 기억나지 않지만, Gödel이 (Princeton에서의 산책 중에) Einstein에게 자신의 작업이 잊힐까 봐 깊이 걱정한다고 털어놓았다는 글을 읽은 것 같습니다. 그가 알기만 했더라면.
- ducttapecrown
Gödel이 추구했던 이 새로운 14가지 논리 주제에 대해 듣는 것은 흥미로울 것입니다!