괴델 속기 노트 1,009쪽, 클로드가 이틀 만에 풀어 미공개 정리 수백 개 확인

IPO 타이밍이 기가 막히네. 17일 엔비디아 실적 발표 전에 딱 맞춰 나온 기사 같고. 그리고 클로드는 1920년대 학교에서 배운 가벨스베르거 속기 필사본으로 이미 학습했을 텐데, 그걸 두고 '구식'이라고 하는 건 좀 과장이고.

첫 문단은 폰 플라토가 앤스로픽 홍보나 하는 사람이라는 근거 없는 암시인데, 그럼 그가 결과를 다 지어냈다는 거야? 모델이 몇 개 예시로 일반화하는 건 오히려 장점인데 말이지.

그 14개 논리학 주제가 뭔지가 제일 궁금함.

노트를 그냥 공개해줬으면 좋겠어. 그러면 내 클로드한테 설명해달라고 할 수 있잖아.

폰 플라토가 흥분했다면 이건 진짜 큰일임. 괴델 필체를 읽는 사람이 다섯 손가락 안에 들고, 그 사람들이 다 그의 연구팀 소속이니까.

발표 슬라이드 링크 있음. aitp-conference.org/2026/slides/JvP.pdf 이고, 연구그룹 사이트는 helsinki.fi/en/researchgroups/godel-enigma 임.

이건 AI 때문에 스스로 필요 없어진 사례가 아니라, AI로 정년 위기를 넘긴 사례 아니냐.

AI가 ERC 250만 유로 과제 PI를 따오는 날이 오면 알려줘.

공개 안 한 작업은 인정 못 받는다는 문제는 뉴턴이 라이프니츠랑 미적분 두고 싸울 때도 있었지. 이제 영지식 증명으로 '이 시점에 이 문서 갖고 있었다'만 증명하는 방식이 나올지도 모르겠음.

가벨스베르거 속기 얘기는 좀 과장 같음. 우리 아버지도 2020년 돌아가실 때까지 그 속기 변형을 쓰셨는데, 학교에서는 이미 통일 독일 속기로 바뀐 뒤였어.

6명이라는 건 속기 읽는 사람이 아니라, 속기를 읽으면서 수리논리학까지 아는 사람이 6명이라는 뜻일 거야.

전문가 없이 범용 모델이 한 방에 번역할 수 있었는지 궁금함. 수십 년 된 OCR 알고리즘으로도 됐을지 모르고.

괴델은 완벽주의자라 확실한 것만 발표했으니, 노트에 결론까지 안 낸 정리가 많을 거라는 시각도 있더라.

나는 선형문자 A 같은 고대 문자 해독에 프런티어 모델 쓰고 있는데, 여기서 어떤 프롬프트를 썼는지 알고 싶음.