2026-10-10 Fireside Alpha(@firesidealpha)가 X에 올린 All-In 팟캐스트 클립 스레드. 데이비드 프리드버그는 OpenAI 수학 공개에 암호학 증명이 없다는 점을 숨긴 돌파의 신호로 읽고 공개 키 지갑의 위험을 말한다. 공개분에 암호학 결과가 없다는 관찰은 맞지만, 숨긴 돌파와 지갑 위험으로 잇는 추론에는 근거가 없다(신뢰도 C).
Posts for: #팩트체크
[LINK/SUMMARY/번역] 알렉산드르 왕이 답했다는 ‘99%와 격차를 벌리는 법’
2026-10-08 Hux(@huxlab)의 X 게시물. 알렉산드르 왕의 답이라는 세 원칙은 숀 라이언 쇼 #208(2025-06-12)의 53초 클립에서 나왔다. 영상 속 왕은 집중과 ‘한 마일, 열 마일 더’를 말한다. 99%와 200% 납품, 해자는 게시자가 덧붙인 말이다.
[LINK/SUMMARY/번역] 코드를 더는 읽지도 이해하지도 않을 때 에이전트와 함께 효과적으로 디버깅하는 법
2026-10-11 Cindy Sridharan(@copyconstruct)의 X 스레드. 에이전트가 쓴 코드를 아무도 깊이 모를 때 근본 원인은 코드 읽기가 아니라 운영에서 모은 사실로 가설을 걸러서 찾는다는 디버깅 틀이다. 기술 사실은 대체로 맞고(신뢰도 B), 틀의 부품은 1999~2002년 문헌에 이미 있다.
[LINK/SUMMARY/번역] AI 가속 수학이 암호학에 주는 위험을 진지하게 받아들여야 한다
비탈릭 부테린이 2026-10-08(KST) X에 올린 글의 한국어 완역·요약·팩트체크. 저스틴 드레이크의 ‘벙커 모드’ 촉구에 그는 서두르지 말라고 답한다. 양자컴퓨터 위에 AI가 앞당기는 수학을 위협으로 얹는다. 처방은 격자 암호의 키를 키우는 것과 해시로 되는 곳은 해시로 가는 것이다. 신뢰도 B — 틀린 것은 멀티시그 권고 하나다.
[LINK/SUMMARY/번역] 들어본 적 없는 사람, 루돌프 브르바
2023-05-24 George Mack가 X에 쓴 루돌프 브르바 스레드. 탈출과 보고서는 기록과 맞고, 세 지도자에게 전달됐다는 한 줄은 수신 경로가 더 길다.
[LINK/SUMMARY/번역] 포스터의 오타가 금성의 이름이 됐다
2024-01-26 Latif Nasser의 스레드. 아이 포스터의 ZOOZVE는 2002 VE68의 오독이었고, 2024-02-05 IAU가 그 오독을 공식 이름으로 승인했다.
[LINK/SUMMARY] Learn TLA+ 원페이지 요약 — TLA+ 핵심을 한 장으로
『Learn TLA+』 35페이지 전체를 한 페이지로 압축했다. TLA+가 무엇이고 왜 쓰는지에서 시작해 장별 핵심 개념·문법·함정, 치트시트, 원문 주장 팩트체크까지 담았다.
[LINK/SUMMARY] IU CONCERT : The Golden Hour · THE WINNING 무대인사
근접 사진 네 장에서 관객과 함께한 열 장으로. 세 번째 사진을 전체 무대인사 기록 안에서 읽는다.
[LINK/SUMMARY/번역] Opus 5.5로 Claude Agent SDK를 Lean으로 형식 검증했다 — 짧은 프롬프트 몇 개가 PR 16개로
Boris Cherny가 Opus 5.5에게 Claude Agent SDK와 claude.ts 상태기계를 Lean 4로 검증시켜 PR 16개를 얻은 과정의 완역과 팩트체크. 영상의 타임스탬프로 읽으면 ‘프롬프트 몇 개’는 Slack 메시지 6개와 사람의 PR 승인·리뷰였고, 버그 24개 중 증명 출신은 19개, 1차 수정의 구멍 6개는 리뷰가 잡았다.
[LINK/SUMMARY/번역] 당신은 컴퓨터 시뮬레이션 속에 살고 있는가?
Nick Bostrom의 2003년 논문 「Are You Living in a Computer Simulation?」 완역. 결론은 “우리는 시뮬레이션 속에 산다”가 아니라 세 명제 중 하나는 참이라는 선언이다. 논증의 대수는 맞지만 각주의 연산량 산술은 약 15배 낮고, “행성 질량 컴퓨터”는 실은 항성 하나를 통째로 쓰는 기계다.