오늘 33개의 기사가 200포인트를 돌파했다. 엄청난 숫자다. 게다가 그중 7개는 어제 이미 프론트페이지에 올랐던 글들로, HN 상위권의 회전율이 둔화되었음을 보여준다. 새로 올라온 글들은 두 갈래로 깔끔하게 나뉜다. 소형 모델에 관한 일련의 벤치마크 주장들과, 플랫폼의 파이프라인을 누가 쥐고 통제하는가에 대한 이야기들이다. 그리고 전자잉크 새 액자가 1,200포인트 차이로 압도적인 1위를 차지했다. 이것이야말로 진정한 신호다.
Show HN: 새소리를 듣고 1800년대 풍 삽화로 그려내는 전자잉크 액자
2,345 points · GitHub
라즈베리 파이 5, 13.3인치 Inky Impression 전자잉크 패널, 마이크, 그리고 A4 액자로 구성된 프로젝트다. BirdNET-Go가 오디오 분류를 로컬에서 직접 처리하고, 액자는 API를 폴링하여 감지된 각 조류 종을 삽화와 매칭한 뒤 질감 있는 종이 페이지에 배치한다. 화면은 새의 종류가 바뀔 때만 새로 고친다. 큰 새일수록 체중에 비례해 화면 중앙에 배치된다. 지저귀는 새가 없으면 빈 나뭇가지만 렌더링된다. 라이브 데모는 노르웨이 베르겐에 있는 제작자의 주방 창가에 설치되어 정원에 날아드는 새들을 실시간으로 보여준다.
예술성이 핵심이며 제작자도 이를 분명히 밝히고 있다. 400여 종에 달하는 800개 이상의 컷아웃은 모두 실제 스칸디나비아, 영국, 중부 유럽의 박물학 판화에서 발췌해 손수 큐레이션한 것이다. “AI가 생성한 그림은 없으며, 일부만 AI로 리터칭되었다.” 코드는 MIT, 삽화는 CC-BY-SA 라이선스다.
HN 스레드는 찬사 일색이지만 약 500유로에 달하는 제작 비용에 대한 지적도 있다. 댓글들은 그 비용의 대부분이 연산 장치가 아니라 전자잉크 패널 때문이라고 짚었다. 한 사용자는 120달러짜리 코보(Kobo) 전자책 리더기에서도 동일한 효과를 낼 수 있다고 언급했다. 솔직한 평가는 이렇다. 저렴한 프로젝트는 아니지만, 정말 훌륭한 프로젝트다. 그리고 오늘 압도적인 표차로 1위를 차지한 것이 무엇인지 눈여겨볼 필요가 있다. 프론티어 모델이 아니다. 창턱에 놓여 아무도 부탁하지 않은 단 한 가지 일을 완벽하게 해내는 물리적 물건이다. 소리를 듣는 데는 수년 전부터 존재했던 분류기를 쓰고, 눈으로 보는 데는 손수 자른 퍼블릭 도메인 고전 예술을 사용했을 뿐이다.
AI 생성 포스터가 꼭 끔찍할 필요는 없다
1,065 points · john.hartnup.uk
존 하트럽(John Hartnup)은 이제 하나의 장르가 되어버린 획일적인 동네 바자회 포스터 이야기에서 출발한다. 그의 진단은 정확하다. “이 포스터들의 문제는 질이 떨어진다는 데 있지 않다. 그럭저럭 볼만하지만 마음에 들진 않는다. 진짜 문제는 그 스타일을 20번쯤 보고 나면 순전한 반복성 때문에 슬슬 짜증이 치밀기 시작한다는 점이다.”
그는 직접 실험에 나섰다. ChatGPT에 봄맞이 바자회 포스터를 요청하며 명시적인 ‘탈(脫)기본값’ 지시를 내렸다. “단정하고 군더더기 없으며 밝은 레이아웃에 시선을 사로잡는 대담한 봄 테마 그래픽을 사용할 것. 파스텔/에어브러시/유화 스타일이나 사람 이미지는 피할 것.” 하지만 돌아온 것은 어김없이 뻔한 공예 장터 템플릿이었다. 이에 그는 수위를 높였다. “완전히 다른 디자인 미학을 너 스스로 골라 다시 만들어봐. 방금 만든 건 ’하지 말아야 할 예시’로 취급해.” 그러자 바우하우스/모더니즘 스타일이 나왔고, 결과물은 즉각 훨씬 나아졌다. 그는 모델에게 방금 사용한 스타일에 이름을 붙여달라고 요청하여 다음번에 그 이름으로 다시 호출할 수 있게 했고, 글의 나머지 부분을 이름 붙은 스타일들을 순회하며 개선하는 데 할애했다.
그가 포착한 메커니즘은 실재한다. 제약 없는 창작 요청을 받으면 모델은 훈련 분포의 중간값(median) 근처에 안착하며, 이는 다른 모든 사람의 제약 없는 요청이 도달하는 곳과 정확히 일치한다. 해결책은 중간값을 밀어내는 것이며, 밀어낼 수 있는 유일한 방법은 어디를 향해 밀어낼지 아는 것뿐이다.
불편한 진실은 바로 여기에 있다. 그의 방법론은 그가 이미 알고 있던 어휘를 전제로 한다. 그는 “바우하우스”라는 단어를 알고 있었고, 그것이 지금 눈앞에 있는 결과물의 정반대라는 사실을 알고 있었다. 이벤트 포스터를 생성하는 대다수 사람은 그렇지 못하다. “완전히 다른 미학을 달라고 한 뒤 그게 무슨 스타일이었는지 모델에게 물어보는 것”은 부족한 역량을 메우기 위한 우회로일 뿐, 결코 그 역량 자체를 대체할 수는 없다. 이 글은 프롬프트 엔지니어링으로서 대단히 유용하다. 하지만 취향이야말로 여전히 최종 병목이며, 그 취향에 필요한 핵심 역량은 내가 원하는 것을 명명(name)할 수 있는 능력임을 여실히 증명한다.
안드로이드 17, 3.x 이후 처음으로 AOSP 공개 없이 신규 API 추가
1,056 points · grapheneos.social
그라핀OS(GrapheneOS)는 마스토돈 스레드를 통해 안드로이드 17 QPR1이 허니콤(Honeycomb) 이후 처음으로 상응하는 AOSP 릴리스 없이 앱 개발자용 신규 API를 추가한 첫 번째 버전이라고 지적했다. 새로운 API는 픽셀 OS 독점이며 다른 OEM에는 제공되지 않는다. 스레드는 이것이 실제 생태계에서 무엇을 의미하는지 조목조목 나열한다.
비(非)구글 OEM과 AOSP 기반 프로젝트는 연간 릴리스와 QPR2 릴리스를 배포할 수 있고 보안 백포트도 존재하지만, 수개월의 지연 없이 패치를 적용하려면 보안 프리뷰 접근 권한이 필요하다. 그라핀OS 측은 모토로라와의 파트너십 이전부터 이 권한을 갖고 있었다고 밝힌다. 이들은 9월 15일 릴리스 전에 이미 안드로이드 17 QPR1으로 코드를 포팅해두었지만 배포할 수 없는 상태다. 따라서 12월 QPR2가 나올 때까지 QPR1의 픽셀 펌웨어, 커널 드라이버, 유저스페이스 드라이버, HAL을 백포팅하고 있다. 더 심각한 것은 2026년 9월 픽셀 업데이트 공지에 비(非)픽셀 기기들이 사용하는 표준 안드로이드 플랫폼 컴포넌트 패치가 포함되어 있었는데, 이 패치들이 9월 안드로이드 보안 공지나 프리뷰 패치에는 누락되어 있었다는 점이다. 다른 OEM들은 이를 12월에나 받게 된다. 그라핀OS는 코드를 리버스 엔지니어링하여 조기에 적용할 수 있다고 말한다.
스레드는 GPL 문제도 꼬집었다. 그라핀OS는 9월 1일 CD1A.260905.001.A1 소스 코드를 요청했으나 18일에야 접근 권한을 얻었으며, 몇 주나 지난 요청에 응하지 않은 또 하나의 사례라고 비판했다. 인용할 가치가 있는 요약 문장이 사안의 본질을 짚는다. “이제 픽셀은 다른 기기들보다 지원하기가 훨씬 더 어려워졌다. 픽셀의 유일한 장점 중 하나가 이제는 치명적인 단점이 되었다.”
두 가지 감안할 점이 있다. 그라핀OS는 이제 모토로라와 상업적 제휴 관계에 있으므로 픽셀이 어려워지고 다른 하드웨어가 쉬워지는 서사에서 이득을 얻는다. 그들의 프레이밍을 읽을 때 이를 염두에 두어야 한다. 하지만 API diff 링크와 공지 누락은 주관적 해석이 아닌 검증 가능한 사실이다. 그리고 플랫폼 소유자가 자신의 하드웨어에 수개월간의 신규 기능 및 보안 수정 독점 기간을 부여하는 행위는 명백한 해자(moat)다. 레퍼런스 구현체가 먼저 배포되고 소스코드가 늦게 도착하거나 아예 제공되지 않을 때마다, “AOSP는 오픈되어 있다”는 말은 점점 더 무색해진다.
나는 1년 전에 강화학습 기반의 비자기회귀 의사결정 모델을 만들었다
836 points · laya.convaiinnovations.com
ConvAI Innovations의 창업자인 난다키쇼어 무쿤노스(Nandakishor Mukkunnoth)는 자신의 아이디어를 남에게 가로채인 심정을 담은 긴 글을 올렸다. 그는 2025년 3월 비자기회귀(non-autoregressive) 의사결정 모델을 발표했다. 시퀀스 표현에 대한 PPO를 적용하여 영업 대화의 턴별 전환 확률을 출력하는 구조였다. 이어 2025년 9월에는 강화학습 기반의 스키마 기반 의사결정을 공식화한 두 번째 논문을 발표했다. 그런데 2026년 9월, ChatGPT 공동 개발자가 설립한 TypeSafe AI가 ’Jev’를 출시했다. 핵심 개념은 완전히 같았으나 기술 논문도, 오픈 가중치도, 데이터셋도 없이 입력 토큰 100만 개당 0.042달러, 약 150ms의 응답 속도를 내세웠다. 이에 자극받은 그는 Laya를 구축했다. 양방향 인코더를 사용해 단일 GPU에서 32.8ms, 배치 질의 시 질문당 7.2ms를 기록하며, Jev보다 6~8배 빠르고 오픈 가중치로 제공된다고 주장한다.
HN 스레드는 ’누가 먼저 만들었는가’라는 원조 논쟁에는 관심이 없고, 왜 처음에는 아무도 그의 존재를 몰랐는지에 집중했다. 한 댓글 작성자는 그의 원래 레딧 게시물 제목인 “순수 강화학습을 사용한 대화 기반 영업 전환 확률 예측”을 인용하며 이걸 이해할 수 있는 사람이 있겠느냐고 물었다. 다른 사용자는 그 제목이 RAG와 오케스트레이터를 사용하는 본문 내용을 반영하지 못하며 Jev가 출시된 후에야 Laya로 급히 리브랜딩한 것 아니냐고 꼬집었다. 세 번째 사용자는 논쟁을 끝낼 만한 묵직한 통찰을 던졌다. “알고리즘이나 아키텍처만으로는 유용한 모델을 만들기에 충분하지 않다는 것은 이미 잘 알려진 사실이다. 동일한 아키텍처라도 훈련 데이터, 사후 훈련, 하네스 등에 따라 전혀 다른 결과를 낸다.”
세 지적 모두 타당하며, 특히 두 번째 지적이 뼈아프다. 만약 2025년 3월의 연구가 동일한 아이디어였다면, 부족했던 것은 아이디어가 아니었다. 낯선 사람도 쉽게 입에 올릴 수 있는 직관적인 이름부터 시작하여, 그 아이디어를 누구나 쓸 수 있는 제품으로 변환해내는 모든 과정이 빠져 있었던 것이다. “내가 먼저 했다”는 비즈니스도, 해자도, 누구나 검증할 수 있는 주장도 아니다. 특히 자사 홈페이지에 자체 보고한 숫자라면 더더욱 그렇다. Jev가 “브랜딩이 유난히 뛰어났다”고 말한 댓글은 냉소가 아니다. 브랜딩이란 기술적 주장이 이를 테스트해줄 사람들에게 도달하는 통로 그 자체다. 공개적으로 옳았으면서도 잊히는 것은 유통(distribution)의 실패이며, 유통의 실패는 억울하다고 해서 덜 치명적인 것이 아니다.
Hister: 방문한 웹페이지와 보관 중인 파일을 위한 프라이빗 검색 엔진
717 points · GitHub
SearXNG의 제작자인 asciimoo의 신작이다. Hister는 방문한 페이지와 보관 중인 파일의 전문을 색인하여 127.0.0.1:4433의 웹 UI, 터미널 UI, CLI, 혹은 MCP를 통해 AI 어시스턴트가 호출할 수 있는 로컬 검색 엔진이다. Firefox 및 Chrome 브라우저 확장 프로그램이 브라우징 중 페이지를 자동으로 색인하며, 브라우저 방문 기록이나 북마크 가져오기, 특정 사이트 크롤링, 로컬 디렉터리 색인도 지원한다. 필드 필터, 문구 검색, 와일드카드, 부정 검색, 별칭, 결과 우선순위 등을 지원한다. Go 1.26 기반이며 Homebrew, Docker, Nix 설치를 지원하고 텔레메트리나 클라우드 동기화는 일절 없다. 공유 서버에서의 멀티유저를 지원하며 GitHub 스타 5,200개를 기록했다.
자신이 소유한 말뭉치에 대한 개인용 전문 검색은 컴퓨팅 역사상 가장 오래된 아이디어 중 하나이며, 코드와 무관한 이유들로 번번이 실패해왔다(Spotlight, Google Desktop, Recoll 등). 이번 시도가 성공할 수 있는 이유는 MCP 때문이다. 클라이언트가 “어쩌다 한 번 열어보는 UI”에서 “작업 도중 나를 대신해 검색을 수행하는 에이전트”로 바뀌었고, 후자는 실질적인 수요를 창출한다. 반대로 실패할 수 있는 이유는 클라우드 동기화가 없다는 것은 백업이 없다는 뜻이며, 색인 유지 관리는 영구적인 비용이고, “내가 제어하는 로컬 인프라”는 디스크 장애 한 번이면 완전히 날아가기 때문이다.
README가 솔직하게 밝힌 긴장감도 짚어볼 필요가 있다. 선택 사항인 시맨틱 검색은 “문서 텍스트를 사용자가 선택한 임베딩 엔드포인트로 전송한다.” 즉 프라이버시 경계는 사용자가 지정한 그 URL에 따라 결정되며, 기본값은 아무것도 전송하지 않는 것이다. 타협할 수 없는 기본기(텔레메트리 없음, 강제 클라우드 없음)는 훌륭하지만, 가장 켜고 싶어 할 기능이 바로 문을 열어젖히는 기능이며, 이는 대다수 사용자가 한 번 설정하고 잊어버릴 위험이 있다.
Claude Code, 이제 CLAUDE.md가 없으면 AGENTS.md를 읽는다
710 points · code.claude.com
9월 18일 배포된 2.1.277 버전의 변경 사항이다. “AGENTS.md 지원 추가: 프로젝트에 CLAUDE.md가 없는 경우 Claude Code가 대신 AGENTS.md를 읽습니다.” /config의 “Project instructions” 항목에서 변경할 수 있다. Bedrock, Vertex, Foundry에는 아직 적용되지 않았다. 동일 릴리스에는 포워드 프록시가 유일한 송신로인 게이트웨이를 위한 CLAUDE_GATEWAY_PROXY_IS_EGRESS_BOUNDARY=1, 게이트웨이 업스트림용 정적 headers: 맵, /tasks 패널이 열려 있는 동안 백그라운드 작업이 완료될 때의 알림 기능, 그리고 내부 오류 후 claude -p 및 Agent SDK 세션이 멈추던 버그 수정이 포함되었다.
AGENTS.md는 벤더 간 범용 규약이다. Codex, Cursor, Amp를 비롯한 수많은 도구가 이를 읽는다. 앤트로픽은 CLAUDE.md를 고집해오다 이번에 표준을 수용하되 2등 시민으로 취급했다. 두 파일이 모두 존재할 경우 CLAUDE.md가 우선한다. 이는 일방통행 문이다. 두 파일이 공존하는 저장소는 조용히 내용이 어긋날 수 있으며, Claude Code가 따르는 파일은 정작 다른 도구들이 이해하지 못하는 파일이 된다. 도구 중립적인 프로젝트 지침이야말로 멀티 에이전트 저장소가 온전함을 유지할 수 있는 유일한 공간이었는데, 이번 조치는 그 공간을 좁혀놓았다.
이어 하루 뒤 배포된 2.1.278 버전에서는 Claude API 및 Enterprise 사용자, Bedrock, Vertex, Foundry, 게이트웨이 환경의 자동(auto) 모드가 서버 측 분류기를 기본값으로 사용하도록 변경되었다. “분류기 오버헤드 비용이 청구되지 않는다”는 설명과 함께 CLAUDE_CODE_AUTO_MODE_SERVER=0으로 옵트아웃할 수 있으며 과금되는 폴백(fallback) 시 경고가 표시된다. 첫 문장만큼 둘째 문장도 주의 깊게 읽어야 한다. “우리 분류기 비용은 청구하지 않는다”는 말은 폴백 경로가 실행되기 전까지만 참이며, 폴백 경로는 사용자가 제어할 수 없는 영역이다.
후지쯔, 일본산 차세대 CPU ‘FUJITSU-MONAKA’ 발표
629 points · global.fujitsu
144개의 Armv9 코어, 2nm 공정의 연산 다이와 5nm 공정의 캐시 및 I/O 다이를 3D 적층 패키징으로 결합했다. 최대 3.8GHz, 최대 8,800MT/s 메모리, SVE2 벡터 처리 및 AI 추론 전용 매트릭스 명령어, Arm CCA 컨피덴셜 컴퓨팅, PCIe Gen6, 소켓당 12개 RDIMM을 지원한다. 공랭식 랙 서버는 144코어를 2.1GHz로 구동하고 수랭식은 2.9GHz로 구동한다. 독립형 CPU 판매는 2026년 11월 전 세계 출시되며, 1U 및 2U 서버는 일본과 유럽에 먼저 공급된 뒤 2027년 4월부터 확대된다. NEDO 그린 혁신 펀드의 지원을 받아 개발된 “주권형 AI 인프라”를 표방하며 서버 라인업은 HPC 및 기업뿐 아니라 방위 산업을 명시적으로 겨냥하고 있다.
의심해봐야 할 대목은 헤드라인 수치다. 비교 대상 프로세서와 벤치마크를 모두 공개하지 않은 채 “기타 CPU” 대비 2배의 AI 추론 처리량을 주장한다. 기준선이 명시되지 않은 처리량 비교는 마케팅에 불과하며 모든 벤더는 자사에 가장 유리한 수치를 발표하기 마련이다. 후지쯔 자체 아키텍처 페이지에도 “경쟁 CPU 대비 2배 빠름”이라는 문구에 각주 기호만 붙어 있을 뿐 실제 각주는 존재하지 않는다.
더 흥미로운 질문은 “일본산(Made in Japan)“이 어디까지를 의미하는가이다. 보도자료에는 일본에서 설계, 개발, 제조되었다고 적혀 있고 시장 포지셔닝도 이에 의존하고 있다. 하지만 최첨단 2nm 로직 생산 능력은 전 세계적으로 부족하며 일본 내에서는 이제 막 태동하는 단계다. 따라서 주권 서사를 믿기 전에 이 구체적인 주장을 검증해볼 필요가 있다. 그렇다고 엔지니어링 자체를 폄하할 수는 없다. 혼합 공정 노드 기반의 3D 적층 캐시와 I/O를 갖춘 144코어 Arm 서버 CPU는 2021년부터 정부 보조금을 받아온 기업에게 분명 의미 있는 결실이다. 다만 그것이 상업적 경쟁력과 동일하지는 않으며 SPEC이나 MLPerf 수치가 없다는 것은 이것이 어느 쪽인지 알 수 없음을 의미한다.
Bonsai 2 27B: 9배 작은 용량에서 거의 무손실 압축 달성
575 points · PrismML
PrismML의 Ternary Bonsai 2 27B는 Qwen3.8 27B를 엔드투엔드로 삼진 가중치({−1, 0, +1}, FP16 그룹별 스케일링)로 양자화하여 가중치당 유효 비트 수 1.76비트, 총 용량 5.9GB를 달성했다. 262K 컨텍스트, 텍스트 및 이미지 멀티모달 입력 지원, Apache 2.0 라이선스다. “종합 벤치마크 성능의 98.2%를 유지하면서 9배 이상 크기를 줄였다”고 주장한다.
이 문장에는 두 가지 문제가 있다. “종합(Aggregate)“이라는 단어가 너무 많은 것을 가리고 있다. 선택된 벤치마크 세트의 평균 점수는 최악의 세부 벤치마크를 숨겨버리며 사용자가 실제로 체감하는 실패는 평균 점수가 아니라 특정 작업 유형에서의 기형적인 출력이다. 또한 모델 역량의 공로는 Qwen3.8 27B의 몫이다. PrismML이 구축한 것은 압축기이며 이는 실질적인 엔지니어링이지만 암시된 성과와는 결이 다르다.
HN 스레드가 유용한 정보를 제공한다. GGUF를 실행하려면 상위 프로젝트가 아닌 PrismML의 llama.cpp **포크(fork)**가 필요하다. 이는 도입에 상당한 장벽이며 사용자들은 이미 특정 CUDA 아키텍처용 빌드 지침을 공유하며 우회하고 있다. 한 사용자는 RTX 3060(12GB)에서 초당 26.5토큰 생성 속도로 27B를 구동했고 5.5GB 삼진 모델이 18분 만에 자전거 탄 펠리컨 SVG를 준수하게 생성했다고 보고했다. 반면 다른 사용자는 대조군 테스트를 통해 bf16 모델이 암기 인용(recitation) 테스트를 “거의 통과”한 반면 삼진 버전과 fp8 버전은 둘 다 “처참하게 실패”했다고 밝혔다.
이 마지막 데이터 포인트를 기억해야 한다. 종합 성능 98.2%라는 말이 완전히 사실이더라도, “내가 꼭 필요로 했던 기능이 그 누락된 1.8%에 들어가 있을 수 있다”는 뜻이 된다. 압축 후에도 살아남는 기능이 무엇인지 묻는 것이 배포 결정의 유일하게 중요한 질문이며 종합 점수는 구조적으로 그 질문에 답할 수 없다.
Astra for Law
575 points · OpenAI
GPT-6 Astra에 법률 검색 색인과 법률 분석 및 작성 지침을 구성하여 로펌과 리걸테크 기업을 대상으로 판매되는 모델이다. 2억 3천만 개 이상의 URL에 걸친 미국 판례법, 법령, 규정, 법원 규칙, 행정 결정을 포괄하며, 발행된 미국 선례 판례의 99.9% 이상을 담은 Free Law Project의 CourtListener 컬렉션도 포함되었다. 26개의 생태계 플러그인이 ChatGPT를 Relativity, Clio 등의 도구와 연결한다. Harvey와 Legora가 API 고객으로 이를 기반으로 제품을 구축하고 있다.
여기서 오픈AI는 이례적인 결정을 내린다. 절대 수치를 그대로 공개한 것이다. Vals AI의 Legal Research Bench 비공개 검증 세트에 포함된 200개의 미국 법률 연구 질문에 대해 최대 추론 노력(reasoning effort)으로 테스트한 결과, Astra for Law의 전반적인 정확성 통과율은 **54.0%**를 기록했다(단순 웹 검색을 사용한 GPT-6 Astra의 38.7% 대비). 상대적으로 40% 개선, 절대 수치로는 15.3%포인트 상승이다. 또한 올바른 판결문에서 24% 더 많은 참조 판례와 최대 54% 더 많은 관련 구절을 찾아냈다.
54%라는 숫자를 곱씹어보아야 한다. 올바른 법적 근거를 찾는 벤치마크에서 이 시스템은 절반 가까운 확률로 틀린다. 자신 있게 틀리는 것이 곧 직무유기(malpractice)가 되는 전문 영역에서 말이다. 40% 개선이라는 프레이밍은 정확하지만 절대 수치보다 정보를 적게 준다. 두 숫자를 모두 공개한 것은 최근 오픈AI가 제품 출시와 함께 내놓은 수치 중 가장 정직한 태도다.
HN 스레드에서 가장 가치 있는 내용은 한 실무자가 설명한 실제 워크플로다. 의료 보험 플랜 문서를 받아 구조화된 데이터를 추출하고 내부 시스템으로 임포트하는 작업에서 처리량이 시간당 23건에서 810건으로 늘어났다는 설명이다. 한 댓글 작성자는 “5분 만에 한 달 치 일을 해치운다”는 식의 과장 대신 이런 현실적인 글을 읽을 수 있어 반갑다고 적었다. 이것이 규제 산업에서 AI가 도입되는 실제 형태다. 인간이 검토를 유지하는 상태에서의 문서 분류 3배 가속이지 대체가 아니다. 검토 단계를 제대로 엔지니어링하는 자가 이 시장을 차지할 것이다. 그리고 플랫폼 전략의 구조적 역학을 보라. 오픈AI는 모델과 말뭉치를 쥐고 있고 Harvey와 Legora는 고객 관계를 쥐고 있다. 이는 리걸테크 기업들을 잠재적 경쟁자의 색인에 종속되게 만드는 플랫폼 플레이다.
스탠퍼드 의대 연구진, 인간의 뇌는 두 개의 분리된 장기임을 규명
572 points · Stanford Medicine
보도자료의 주장에 따르면 뇌는 수억 년에 걸쳐 독립적으로 진화한 두 개의 뚜렷한 장기이며, 단일 전구세포에서 뇌 전체가 발생한다는 수십 년 된 통설을 뒤엎었다고 한다. 9월 18일 네이처 뉴로사이언스(Nature Neuroscience)에 실린 원본 논문은 뇌의 앞부분이 뒷부분과 다른 전구세포 계통에서 유래한다는 내용을 담고 있다. 수석 저자인 카일 로(Kyle Loh)는 “우리는 뇌의 앞부분이 뒷부분과 완전히 다른 전구세포에서 발생한다는 사실을 처음으로 증명했다”고 밝혔다. 실질적인 결과이자 진짜 뉴스는 실험실 페트리 접시에서 후뇌(hindbrain) 뉴런을 배양할 수 있게 되었다는 점이며, 이는 척수성 근위축증(SMA)과 루게릭병(ALS) 질환 모델링의 길을 열어준다.
상위 HN 댓글은 보도자료보다 논문을 훨씬 더 정확하게 짚어냈다. 원래 헤드라인이 되었어야 마땅한 내용이다. “뇌 부위마다 기능이 다르다는 것은 오랜 상식이다. 서로 다른 영역이 뚜렷한 세포 유형과 분자 프로그램을 포함한다는 것 역시 확립된 사실이다. 전뇌와 후뇌 구조가 근본적으로 분리된 전구세포 계통으로 거슬러 올라갈 수 있다는 점… 이것이 진정으로 흥미로운 새로운 결과다.” 제안된 대안 헤드라인인 “인간 전뇌와 후뇌는 서로 다른 배아 전구세포 계통에서 발생한다”는 클릭률은 떨어질지언정 훨씬 더 정확하다.
스레드는 과장된 헤드라인이 과연 정당화될 수 있는가를 두고 수십 개의 댓글로 격론을 벌였는데, 그 논쟁 자체가 연구의 포장 방식보다 흥미롭다. 한쪽 입장은 헤드라인 수준의 압축은 불가피한 제약이며 전문가들도 대중 독자를 위한 미끼가 필요함을 인정해야 한다는 것이다. 반면 더 설득력 있는 반대 입장은, 그 제약이 왜 “두 개의 장기”라는 표현이 불완전한지를 설명해줄 수는 있어도 왜 그것이 괜찮은지를 정당화하지는 못한다는 점이다. 그 문구는 마치 독립적으로 기능하는 두 장기가 한자리에 모여 있는 것처럼 들리게 만들며, 정작 진짜 놀라운 연구 결과를 묻어버린다. 후뇌 세포를 배양할 수 있게 해준 것은 서로 다른 전구세포 계통이라는 발견이며, 독자들이 알고 싶어 할 정보도 바로 그것이다. 교훈은 명확하다. 보도자료와 논문 제목이 엇갈릴 때는 논문 제목이 진짜 주장이다.
왁스 모터 (Wax motor)
514 points · Wikipedia
모터가 없는 선형 액추에이터다. 밀폐된 공간의 왁스, 플런저, 그리고 열원(주로 PTC 서미스터, 때로는 햇빛이나 엔진의 폐열)으로 구성된다. 왁스가 녹으면 부피가 5~20% 팽창하면서 플런저를 밀어낸다. 직쇄상 노말 알칸(n-alkane) 계열의 파라핀 왁스는 좁고 명확하게 정의된 온도 범위에서 녹고 굳기 때문에 단순한 신기함을 넘어 제어 메커니즘으로 사용될 수 있다. 왁스를 고르면 센서 없이도 원하는 설정 온도를 공짜로 얻는 셈이다.
이 부품이 쓰이는 곳을 보면 그 특성이 드러난다. HVAC 혼합 밸브, 햇빛을 받으면 저절로 열리는 온실 환기창, 세탁기 문 잠금장치, 식기세척기 래치 메커니즘, 그리고 순수한 열 액추에이터가 필요한 항공우주 분야다. 정밀함과는 거리가 먼 목록들이다.
구조적으로 본질 안전(fail-safe)을 달성한 드문 액추에이터다. 식으면 수축하고 예기치 않게 방출될 축적 에너지가 없으며 오작동할 제어 루프도 없다. 포기해야 하는 것은 속도, 반복성, 위치 피드백이다. 왁스 모터에는 히스테리시스가 존재하며 현재 위치를 물어볼 수 없다. 식기세척기 문 잠금장치가 전형적인 응용처인 이유가 바로 이 트레이드오프 때문이다. 저렴하고 신뢰할 수 있으며 작동이 느려도 아무런 지장이 없다. 벤치마크 논쟁들 사이에서 머리를 식히기에 딱 좋은 주제다.
또 다른 100TB의 RAM을 절약한 방법
441 points · Cloudflare
클라우드플레어의 핑고라 백엔드 라우터(PBR)가 일관된 해싱(consistent-hashing) 라이브러리인 pingora-ketama의 구조체로 인해 예상보다 훨씬 많은 메모리를 소비하고 있었다. 이번 최적화를 통해 전 세계적으로 100TB 이상의 RAM을 회수했다. 지난달 DNS 팀이 절감한 100TB에 더해진 성과다. 수학적 유도 과정을 상세히 설명하고 있어 오늘 최고의 엔지니어링 글로 꼽을 만하다.
수학적 배경은 이렇다. 일관된 해싱은 서버와 키를 32비트 수직선상에 분산시키며 각 서버는 자신의 왼쪽 구간을 담당한다. 서버당 기대 점유율은 1/N이지만, N=100일 때 변동 계수(CV)가 약 99%에 달해 어떤 서버는 할당량의 두 배를 처리하고 어떤 서버는 거의 아무것도 처리하지 못하는 불균형이 생긴다. 서버당 1개가 아닌 k개의 해시를 추가하면 CV는 √((N−1)/(Nk+1))로 떨어진다. NGINX 기본값인 서버당 160개 해시를 사용하면 99%였던 오차 범위가 약 8%로 줄어든다. Ketama는 각 서버의 디스크 공간에 따라 해시 수에 가중치를 부여하는데 이는 스토리지 용량이 다를 때 유용하다. 하지만 기능적 제약으로 인해 기능 조합별로 별도의 해시 링을 두어야 했고, 수십 개의 링이 각각 자체 해시 테이블을 갖게 되면서 프로세스당 메모리가 6GB까지 치솟았다.
두 가지 수정이 적용되었다. 첫째, 저장 구조 변경이다. {hash: u32, index: u32} 구조체는 8바이트이며 약 65,000대 서버로 제한된 환경에서는 인덱스에 32비트가 필요하지 않다. 하지만 Rust의 정렬(alignment) 규칙으로 인해 u16을 써도 패딩으로 8바이트가 채워지므로, 접근자 메서드를 가진 순수 6바이트 배열로 저장하는 트릭을 사용했다. 이것만으로 25%의 메모리가 절감되었다. 둘째, k-해시 공식의 오차 감소율을 그래프로 그려 분석했다. 오차를 한 단계 낮출 때마다 거의 자릿수 단위로 더 많은 해시가 필요했기에 서버당 k=100,000 수준에서는 마지막 90,000개의 해시가 고작 0.7%의 개선만 가져왔다. 설상가상으로 32비트 충돌(생일 역설)로 인해 대규모 데이터센터에서는 1만에서 10만 해시 구간에서 오히려 오차율이 상승했다. 이에 서버당 해시 수를 90% 줄이면서도 실질적인 오차 증가는 발생하지 않도록 조정했다.
대다수 팀이 실패하지만 클라우드플레어가 완벽히 해낸 부분은 바로 마이그레이션이다. 해시 링을 변경하면 캐시 가능한 요청의 라우팅이 바뀌므로 이를 전역적으로 한 번에 뒤집었다가는 거의 모든 캐시가 무효화되어 “메모리 최적화가 오리진 트래픽의 대재앙으로 변질”될 수 있었다. 따라서 PBR은 두 개의 링을 동시에 유지하며 기존 마이그레이션 프레임워크를 통해 요청별로 결정을 내리고, 요청 해시별로 결정을 안정적으로 유지하며, 롤백 경로를 확보한 상태에서 트래픽 비율과 지리적 영향을 독립적으로 제어하며 단계별로 배포했다. v2 링은 pingora-ketama에 비공개 cargo 기능으로 탑재되었고 v1은 수정 없이 유지되어 둘이 공존할 수 있게 했다.
모든 노드에서 실행되는 서비스임을 고려하면 100TB라는 숫자는 과장이 아니다. 저자가 밝힌 교훈은 일반화할 가치가 있다. “단순한” 결정 속에는 숫자를 직접 파고들어야만 찾을 수 있는 엄청난 개선점이 숨어 있다. 단, 그 숫자들이 직접 유도되어야 했다는 점이 중요하다. k-해시 표준편차에는 쉽게 접근할 수 있는 닫힌 형식(closed form) 공식이 없었기에 누군가 직접 미적분을 풀어야 했다. 대다수 팀이라면 메모리가 부족할 때까지 해시를 늘리다 결국 서버를 증설하고 말았을 것이다.
100년 만에 처음 발견된 새로운 고양이과 종
352 points · National Geographic
2016년 볼리비아의 한 남성이 숲 근처 도로에서 새끼 고양이를 발견하고 집고양이 품종인 줄 알고 집으로 데려왔다. 약 1년 뒤 분명한 야생동물임을 깨닫고 보호소로 보냈다. 보호소는 볼리비아 고양이과 연구 프로그램을 이끄는 파올라 노갈레스-아스카룬즈(Paola Nogales-Ascarrunz)에게 연락했다. 그녀는 북방호랑이고양이(Leopardus tigrinus)일 것으로 생각하고 수백 장의 사진을 찍었다. 하지만 호랑이고양이가 아니었다.
이 동물은 현지 명칭을 따 ‘틸카요’(Leopardus tilcayo)로 명명되었으며 커런트 바이올로지(Current Biology)에 게재되었다. 중남미 전역의 고양이과 표본 38개(박물관 표본 8개 포함)의 전장 유전체 분석을 기반으로 했다. 가장 가까운 친척 종으로부터 약 140만 년 전에 분화되었다. 몸길이 약 46cm, 몸무게 1.4kg으로 평균적인 집고양이보다 작다. 연구진은 기존에 호랑이고양이로 묶였던 분류군이 사실 3종이 아니라 5종이라는 결론을 내렸으며, 기존에 제안된 4종을 검증하고 이번 신종 1종과 페루의 아종 하나를 추가했다. 1923년 이후 100여 년 만에 새롭게 기술된 살아있는 고양이과 신종이다.
두 가지를 구분해야 한다. 분류학적 결과는 진정한 개정이다. 단 한 장의 그림에 의존해 250년 전에 작성된 종 기술은 유전체 데이터로 마땅히 바로잡아야 할 대상이다. 종의 경계는 보존 기금 배분을 결정하므로 한 동물을 다섯 종으로 재분류하는 것은 실질적인 파급력을 갖는다. 반면 미디어의 보도는 무(無)에서 새로운 동물이 튀어나온 것처럼 포장하지만 기존 종에서 분리해낸 것이라는 점에서 다소 과장된 면이 있다.
그리고 본문 5번째 단락이 아니라 리드문에 들어갔어야 할 핵심 사실이 있다. 확인된 살아있는 개체는 볼리비아 보호소에 있는 ’티그리노(Tigrino)’라는 별명의 열 살짜리 고양이 단 한 마리뿐이다. 단 한 마리의 사육 개체와 유전체 분화에 기반한 종 기술은 학계의 표준적인 관행이면서 동시에 심각한 보존 비상사태를 의미한다.
샌프란시스코 양파 선물 회사 (San Francisco Onion Futures Company)
329 points · onionfutures.com
노란 양파의 미래 실물 인도를 위한 양도 가능한 사적 계약을 판매하는 웹사이트다. 2026년 10월부터 2027년 3월까지의 월을 선택하고 수량을 입력하면 가격(각각 9.58, 3.74, 8.29, 7.06, 9.21, 3.65달러)이 제시된다. 가격은 샌프란시스코 시간 매일 자정에 “독점 알고리즘”에 의해 재계산된다.
FAQ에 적힌 법적 논리가 압권이다. 양파 선물법(Onion Futures Act, 7 U.S.C. § 13-1)은 “미국 내 상업거래소의 규칙에 따르거나 그 대상이 되는” 양파의 미래 인도 판매 계약을 금지하고 있다. 이들의 주장은 자신들이 법률에서 정의한 “조직된 거래소 또는 기타 거래 시설”에 해당하는 상업거래소가 아니라는 것이다. 개인에게 사적으로 계약을 판매하며 어떠한 거래소나 2차 시장도 운영하지 않으므로 불법이 아니라는 논리다.
이 법은 1956년 시카고 상업거래소(CME)에서 발생한 양파 코너링 사건 때문에 제정되었다. 두 명의 트레이더가 시장을 매점매석하고 가격을 폭락시켜 양파 농가에 막대한 피해를 입혔고 미 의회는 단일 농산물에 대한 선물 거래를 전면 금지하는 미국 역사상 유일한 법안을 통과시켰다. 이 웹사이트의 맹점 활용은 정의(definition)에 기반한 것으로 법률이 계약 자체가 아니라 거래 장소를 규율한다는 점을 파고들었다. 상품선물거래위원회(CFTC)의 칼날을 피할 수 있을지는 미지수지만 실제로는 아무도 소송을 걸지 않을 것이다. 소송의 구제책이 진짜 양파를 배송받는 것이기 때문이다.
인도는 샌프란시스코, 토론토, 시애틀, 시카고에서 매월 첫째 주에 이루어지며 기타 지역은 추가 비용 없이 서드파티 배송으로 처리된다. 수량 단위도 명시되지 않은 채 월별 가격이 2배씩 널뛰는 것은 유쾌한 농담이거나 허술함의 방증이다. 3개 도시 시장과 배송 파트너 네트워크를 갖춘 것을 보면 누군가 작정하고 벌인 일임이 분명하다.
미니멀 폰 2 (Minimal Phone 2)
311 points · minimalcompany.com
4인치 OLED, 물리 QWERTY 키보드, 6000 시리즈 알루미늄 단일 블록을 절삭 가공한 유니바디, 2.5D 글래스, 그리고 “Minimal OS”를 탑재했다. 타이핑 중심 조작, 끝없는 피드 배제, 완전한 앱 접근을 지원하는 차분한 안드로이드다. 정가 699달러에 사전 예약가 599달러이며 2026년 12월 배송 예정이다. 하루 평균 186번의 스마트폰 확인, 4시간 30분의 화면 시간, 152개의 알림이라는 현대인의 습관을 전면에 내세웠다. 슬로건은 “스마트폰을 사용하라. 스마트폰이 당신을 사용하게 두지 마라.”
마케팅은 진단에는 정직하지만 처방에는 침묵한다. 작은 화면과 키보드는 하드웨어일 뿐이며 제기된 문제는 소프트웨어와 비즈니스 모델의 문제다. “끝없는 피드 배제”와 “완전한 앱 접근”은 앱을 설치하는 순간 모순에 부딪힌다. 피드는 앱 내부에 존재하며 인스타그램 위에 차분한 런처를 씌운다고 해서 차분한 폰이 되지는 않는다. 솔직한 세일즈 포인트는 불편함(friction) 자체가 기능이라는 점이다. 키보드가 달린 4인치 화면은 영혼 없는 스크롤을 하기에 적합하지 않기 때문에 덜 쓰게 만든다. 그것만으로도 제품의 가치는 있지만 마케팅 문구와는 다르다.
사양은 의도적으로 평범하며 599달러라는 가격은 제약에 대한 대가로 보아야 한다. 하드웨어 스타트업 특유의 실행 위험도 안고 있다. 2026년 12월 배송은 약속일 뿐이며 사전 예약은 소형 하드웨어가 스스로의 지연 자금을 조달하는 전형적인 수단이다. HN 댓글들은 다른 누군가가 완벽한 폰을 만들어줬어야 했다는 논쟁으로 흘렀고 한 사용자가 이를 날카롭게 꼬집었다. “남이 나 대신 해주길 바라는 건 ’야망’이 아니다.”
워런 버핏, 버크셔 해서웨이 회장직 사임 — 아들을 후임으로 지명
311 points · NYT
버크셔 해서웨이는 9월 18일, 96세의 워런 버핏이 이사회 멤버로 남되 즉시 명예회장(Chairman Emeritus)으로 물러난다고 발표했다. 1993년부터 33년간 이사로 재직한 아들 하워드 G. 버핏이 회장으로 선출되었다. 그렉 아벨(Greg Abel)은 올해 초부터 맡아온 CEO 직을 유지하며 수잔 데커(Susan Decker)는 수석 사외이사직을 이어간다.
버핏의 서한은 역할 분담에 대해 이례적일 정도로 명확하다. “그렉이 회사를 경영하고 하워드는 버크셔의 문화와 가치를 수호할 것입니다. 둘 다 우리 대차대조표의 어떤 자산보다 가치 있습니다.” 그리고 진짜 속내가 담긴 문장이 이어진다. “하워드를 주주들이 소유하고 있으면서 청구할 일이 결코 없기를 바라는 보험 증권으로 생각하십시오.” 그는 아벨이 이미 중요한 의사결정을 내려왔기에 이번 조치는 전환이라기보다는 매듭에 가깝다고 덧붙이며 세월의 흐름 앞에는 장사가 없다는 말로 글을 맺었다.
표준적인 지배구조가 아니기에 그 구조를 직시할 필요가 있다. 사업을 이끄는 CEO와 감독이 아닌 기업 문화 수호를 사명으로 하는 가족 출신의 비상임 회장을 분리한 것은 창업자 중심의 설계다. 기업 문화 자체가 자산이며 CEO는 주인이 아닌 청지기라는 믿음이 깔려 있다. 보험 증권이라는 비유는 이사회 의장의 역할을 솔직하게 보여준다. 지켜볼 점은 가문의 성을 지니고 33년간 이사회에 머문 의장이 CEO를 상대로 독립적인 판단을 내릴 것인가, 아니면 그를 추인하는 역할에 머물 것인가이다. 버크셔는 이사회가 최고경영진을 견제한 적이 없는 회사였으며 이번 발표로 달라지는 것은 없다.
GPT-6 Astra, 제1차 세계대전 독일군 무전 암호를 풀다
302 points · prinz
독일의 한 과학 블로그가 관리하는 50대 미해결 암호 목록에는 제1차 세계대전 당시 독일군이 사용했던 ADFGVX 무전 메시지가 포함되어 있다. ADFGVX는 A, D, F, G, V, X 문자로 표시되는 6×6 표와 암호화 단어에 의한 전치(transposition)를 결합한 분할 암호다. 조지 라스리(George Lasry)를 비롯한 암호 해독가들에 의해 수백 건이 풀렸지만 1918년 11월 27일에 전송된 메시지를 포함해 10여 건은 미해결로 남아 있었다. GPT-6 Astra는 다음 문장을 복원해냈다. “EIN ENGLISCHER KREUZER EINLIEG X SEWASTOPOL X S4STEN X EIN GESCHWADER DER X ALLIIERTEN FOLGT 26STEN X” (영국 순양함 한 척이 ?4일 세바스토폴에 입항, 연합군 편대가 26일 뒤따를 예정).
이를 곧이곧대로 믿기 전에 암호 키가 어디서 나왔는지 확인해야 한다. 모델은 J. 라이브스 차일즈(J. Rives Childs)의 1918년 핸드북 《독일 군용 암호의 역사와 원리》 214~215쪽에 나열된 기지(旣知)의 독일군 키 목록에서 “TRUPPENVERSCHIEBUNG(부대 이동)“이라는 단어를 가져와 사용했다. 모델이 암호 체계를 해독(break)한 것이 아니다. 독일군이 사용했던 것으로 이미 출판된 키 목록 중에서 읽을 수 있는 독일어 문장을 만들어내는 키를 **선택(select)**했을 뿐이다. 수백 개의 키를 수십 개의 메시지에 대입해보며 그럴듯한 독일어를 판별하는 작업은 기계가 가장 잘하는 지루하고 반복적이며 창의성이 필요 없는 일이기에 유용한 기능임은 분명하다. 하지만 이것은 암호 분석(cryptanalysis)이 아니다.
블로그가 정직하게 밝힌 두 가지 한계가 있다. 평문의 “?“는 모델이 확인하지 못한 월(month) 날짜이며 100년 전 군사 메시지는 역사적 기록과 대조해 평문을 검증할 수 있는 호사를 누릴 수 있다(현대 암호에서는 불가능하다). 또한 원본 암호문이 공개되지 않아 외부 검증도 이루어지지 않았다. 가치 있는 메타 통찰은 성공의 패턴이다. 인간이 정의한 작은 탐색 공간에서 저렴하게 대량의 가설을 생성하고 인간이 제공한 정답 신호로 확인하는 구조다. 합법적인 LLM 지원 발견의 대부분이 이 패턴을 따르며 이는 헤드라인보다 덜 자극적이지만 훨씬 더 재현 가능하다.
자가 창고(Self-Storage)라는 미국의 종교
271 points · The New Yorker
2019년의 로드트립과 창고 운영자들과의 수많은 대화를 바탕으로 한 르포다. 믿기 힘들지만 엄연한 사실인 통계들이 등장한다. 미국은 전 세계 자가 창고 용량의 약 90%를 보유하고 있으며 미국 내 자가 창고 시설 수는 스타벅스, 맥도날드, 월마트, 홈디포, 도미노, 던킨, 코스트코 매장을 모두 합친 것보다 많다. 연간 매출은 400억 달러를 넘어선다. 스탠리 블랙앤데커 크래프트맨 사업부의 2022년 설문조사에 따르면 미국 가정 차고의 3분의 1 이상이 넘쳐나는 짐 때문에 차를 주차하지 못하는 상태다.
업계가 설명하는 원인은 ’4D’다. 사망(Death), 이주(Displacement), 이혼(Divorce), 축소(Downsizing). 이 글의 백미는 사람들이 무엇을 왜 보관하는가이다. 한 기술자는 교외 단독주택에서 맨해튼 아파트로 이사하면서 둘 곳이 없어진 짐을 위해 퀸스에 20×40피트 크기의 창고를 임대했다. “때때로” 방문했지만 “문자 그대로 몇 년씩 시간이 흘렀다”고 인정한다. 보관 물품 중에는 신시사이저, 피아노, 하몬드 오르간이 있었다. 세 악기를 기부하고 나서야 비로소 창고 안쪽이 보였고 자신이 소유하고 있었다는 사실조차 잊었던 물건들을 다시 마주하게 되었다.
271포인트를 얻은 이유는 뻔한 통계 때문이 아니다. 4D는 모두 사람이 명료하게 생각할 수 없는 위기 상황들이며, 자가 창고의 비즈니스 모델은 결정의 유예에 대해 임대료를 부과하는 것이기 때문이다. 저렴한 자산, 비자발적 수요, 감정적으로 물건을 줄일 수 없어 절대 이탈(churn)하지 않는 고객을 갖춘 영속적인 사업이다. 오늘의 AI 논의에 대한 뜻밖의 논평이기도 하다. 오래 살아남는 비즈니스는 아무도 마주하고 싶어 하지 않는 과도기적 전환을 수익화하는 비즈니스다.
수학이 증명 그 이상이라면, 우리는 그 너머를 더 격려해야 한다
264 points · Terence Tao’s blog
3Blue1Brown의 그랜트 샌더슨(Grant Sanderson)이 테렌스 타오의 블로그에 기고한 글이다. 출발점은 이렇다. 증명은 수학자들이 진정으로 원하는 것, 즉 ’인간적 이해의 증진’을 위한 대리 지표(proxy)였을 뿐이다. 그런데 이해 없이도 증명이 기계적으로 생성될 수 있게 된다면 그 지표는 더 이상 본질을 측정하지 못한다. 그렇다면 무엇이 그 자리를 채워야 하는가? 샌더슨은 “동기 부여된 설명(motivated explanation)“을 정의하고, 미해결 문제를 증명했을 때 주어지는 학문적 인정에 필적하는 평가를 부여하자고 제안한다.
그 정의는 직관보다 날카롭다. 증명에서는 정의가 맨 앞에 놓이고 그 속성을 분석하면서 새로운 구성이 도출된다. 반면 ’동기 부여된 설명’에서는 정의가 중간에 등장하며 해결하려는 문제가 명확히 제시된 후에야 새로운 개념이 도입된다. 증명에서는 모든 문장이 참이어야 하지만 설명에서는 완전히 옳지 않아 수정이 필요한 아이디어에서 출발하는 편이 훨씬 효과적일 때가 많다. 범위도 다르다. 증명은 정리가 왜 참인지를 설명하지만 동기 부여된 설명은 왜 그 정리를 세우는 것이 올바른 질문이었으며 맥락 속에서 어떻게 사용되는지를 설명한다. 그는 타당성이 이분법적으로 떨어지지 않으며 “동기 부여된 설명을 위한 Lean 같은 검증 도구는 결코 존재할 수 없다”는 명백한 한계를 인정한다.
그는 자신의 커리어가 증명이 아닌 설명이라는 이해 상충을 솔직히 밝힌다. 하지만 학계 외부에서 활동한다는 사실이 초래할 비판을 희석하지는 못한다. 설명에 학문적 크레딧을 부여하는 순간 크레딧 획득에 최적화된 형식적인 설명들이 쏟아져 나올 것이기 때문이다. 정작 글에서 가장 강력한 논거는 그가 인용한 사례들이다. 티모시 고워스(Timothy Gowers)는 《프린스턴 수학 안내서》 제4부를 집필하는 데 연구 시간의 절반을 5년 동안 쏟아부었으며 필즈상이 없었다면 그런 기회를 감히 얻지 못했을 것이라고 회고했다. 필즈상 수상자 정도나 되어야 5년을 바쳐 분야에 엄청난 가치를 더하는 안내서를 쓸 수 있다는 현실이야말로 학계 보상 체계의 민낯이다.
샌더슨은 LLM이 이 문제를 시급하게 만들기 30년 전인 1994년, 빌 서스턴(Bill Thurston)이 쓴 에세이 《수학의 증명과 진보에 관하여》를 인용한다. 서스턴은 4색 정리 논쟁의 본질이 증명의 정확성에 대한 의구심이 아니라 증명과 함께 주어졌어야 할 ’인간적 이해’에 대한 갈증이었다고 분석했다. 30년이 지난 지금도 그 글이 시의적절하게 읽힌다는 사실이야말로 인센티브 구조에 대한 진정한 고발이다.
콘웨이 추측의 증명을 ’느낌(vibe)’으로 풀어내다
258 points · overreacted.io
자신을 수학 초보라고 소개하는 댄 아브라모프(Dan Abramov)가 비전문가가 프론티어 모델을 활용해 미해결 수학 문제를 풀 수 있는지 시험해 보았다. 그는 초현실수(surreal numbers)를 선택했다. 존 콘웨이의 발명품으로 실수와 순서수, 75 + ω·3 + 1/ω 같은 값들이 기존 것들 사이의 틈새를 메우는 단 하나의 규칙에서 공존하는 수 체계다. Claude가 미해결 문제를 추천했고 아브라모프는 한 달간의 여유 시간과 막대한 토큰을 쏟아부어 전능 정수(omnific integers)에 대한 콘웨이의 세분화 추측(ab = cd이면 a = ef, b = gh, c = eg, d = fh를 만족하는 e, f, g, h가 존재한다)을 Lean 언어로 증명해냈다. 50년간 미해결로 남아 있던 문제였다.
이 글을 결과 이상으로 가치 있게 만드는 것은 그의 인식론적 청결함(epistemic hygiene)이다. “돌파구” 같은 요란한 수사는 없다. 그는 이 증명이 수학자들에 의해 독립적으로 검증되지 않았으며 Palomar 레지스트리의 기계적 검사를 통과했을 뿐이라고 밝힌다. Lean과 해당 분야에 익숙한 소수의 사람들이 명제가 올바른 것 같다는 의견을 주었으므로 Lean 커널 버그가 없다는 전제하에 타당할 가능성이 높다고 담담하게 서술한다. 자신이 왜 이것이 옳다고 생각하는지 설명하는 섹션을 링크하고 공개적인 반박을 요청했다.
이 구분은 겉보기보다 훨씬 중요하다. Lean은 증명 텀이 명제에 대해 타입 검사를 통과하는지만 검증할 뿐, 그 명제가 인간이 애초에 의도했던 바로 그 추측인지는 알려주지 못한다. 미묘하게 더 약하거나 다른 정리를 실수로 증명해버리는 ’형식화 포섭(formalization capture)’이야말로 진정한 실패 모드다. 그렇기에 “명제가 올바른 것 같다”는 판단이 핵심이며 “증명이 컴파일된다”는 사실은 안전을 보장하지 못한다. HN 스레드의 반응은 이 불안감을 그대로 반영한다. 마법을 부리는 존재를 소환하는 주술이라는 비유가 나오는가 하면 “수학을 전혀 보여주지 않았다”는 냉정한 비판도 나온다. 두 반응 모두 검증된 인공물과 진정한 이해 사이의 간극에 대한 반응이며 앞서 테렌스 타오 블로그 글이 제기한 문제와 일맥상통한다.
경제성도 눈여겨보아야 한다. 한 사람의 한 달 여유 시간, 프론티어 모델, 그리고 막대한 토큰 예산이 단 하나의 추측을 위한 단 하나의 Lean 파일을 만들어냈다. 이것은 자체적으로 확장 가능한 발견 파이프라인이 아니다. 하나의 실질적인 결과물일 뿐이며 AI가 수학을 정복했다는 통상적인 과장과는 결이 다르다.
회로의 은밀한 삶 (The Secret Life of Circuits)
242 points · blog.coredump.cx
《The Tangled Web》과 《Silence on the Wire》의 저자인 lcamtuf(미하우 잘레프스키)가 노스타치 프레스(No Starch Press)에서 신간을 냈다. 300여 점의 전용 다이어그램과 일러스트를 담은 풀컬러 하드커버 양장본이다. 그의 목표는 분석이 아닌 설계를 가르치는 것이다. 1년간의 미적분 수업을 요구하지 않으면서 “남의 작업을 베끼는 법이 아니라 자신만의 디자인을 구상하는 법을 명확한 답과 함께 설명한다.” 출판사 직판은 출고가 시작되었고 아마존과 반스앤노블은 10월에 배송된다.
뉴스로서의 깊이는 얕지만 242포인트는 저자가 가진 신뢰성에 대한 커뮤니티의 인정이다. 채워지는 빈틈도 명확하다. 정규 전자공학 교육은 남이 설계한 회로를 분석하는 법을 가르치며, 나만의 회로를 설계하는 단계로 넘어가는 지점에서 대다수가 좌절한다. 보안 연구원 출신이 집필한 실무자 중심의 전자공학 서적이 연이어 등장하는 것은 주목할 만한 작은 흐름이다.
스페이스X는 어떻게 랩터(Raptor) 엔진을 단순화했는가
229 points · Construction Physics
랩터는 전유량 다단연소(full-flow staged combustion, FFSC) 사이클 엔진이다. 두 개의 예연소기를 두어 하나는 산화제 과잉으로 연료 펌프를 돌리고 하나는 연료 과잉으로 산소 펌프를 돌리며 모든 추진제가 예연소기를 거쳐 주 연소실에서 결합 연소된다. 랩터 이전에는 1960년대 소련의 RD-270과 2000년대 미국의 IPD 단 두 개만 제작되었고 둘 다 실제로 비행하지 못했다. 랩터 3는 랩터 1 대비 약 35% 향상된 추력을 내면서 외형은 극적으로 단순화되었다.
복잡하게 얽힌 파이프 뭉치가 어떻게 매끄러운 단일 엔진으로 변모했을까? 브라이언 포터(Brian Potter)는 스페이스X가 도면을 공개하지 않고 누구도 엔진을 분해해보지 않았음을 솔직히 밝힌다. 분석은 머스크의 트윗, Everyday Astronaut 인터뷰, 팬들이 만든 도면에 기초한다. 하지만 드러난 그림은 일관된다. 랩터 1은 센서가 빽빽하게 달린 개발용 엔진이었기에 수많은 전선과 이를 보호할 열차폐막이 필수적이었다. 랩터 2는 터보펌프 축소, 예연소기 컨트롤러 박스 이전, 밸브 통합 등 전면 재설계를 거쳤다. 랩터 3에 이르러서는 주 연소실 스파크 점화기가 제거되었고(예연소기 배기가스가 이미 충분히 뜨겁다), 터빈 구동과 밸브 제어에 쓰이던 헬륨이 완전히 퇴출되어 질소로 대체되었으며 볼트 플랜지 연결부가 용접으로 바뀌어 중량을 줄이고 누출 경로를 원천 차단했다.
가장 결정적인 변화는 배관을 없앤 것이 아니라 부품의 3D 프린팅을 통해 엔진 내부로 집어넣었다는 점이다. 이로 인해 거대한 열차폐막과 소화 시스템 자체를 통째로 제거할 수 있었고, 기체 측 하드웨어의 제거야말로 버전 1에서 버전 3로 넘어오며 달성한 가장 큰 단일 감량 요인이었다.
전후 비교 사진의 정직한 진실은 열역학적 돌파구가 아니라 계측 장비 제거, 내부화, 용접의 결과라는 점이다. 수년에 걸친 대단한 엔지니어링 성과이지만 성숙해가는 개발 프로그램의 자연스러운 과정이지 마법이 아니다. 그 강렬한 이미지가 강력한 마케팅 역할을 한 것도 사실이다. 경쟁사 CEO가 조립이 덜 끝난 엔진 아니냐고 공개적으로 비아냥거리자 스페이스X가 시험 연소 사진으로 응수한 배경이기도 하다.
Show HN: Cactus Needle 3 — 8~29MB 자동화 모델이 DeepSeek V4 Flash에 필적할 수 있는가
220 points · cactuscompute.com
도구 호출, 구조화된 추출, 임베딩을 위해 설계된 라즈베리 파이 구동용 소형 모델이다. 2계층부터 20계층까지 깊이를 조절할 수 있는 단일 가중치 세트를 제공하여 상황에 맞는 지연 시간과 크기를 선택할 수 있다. 기능 호출 시 올바른 도구를 선택하고 인자를 채워주며 도구가 없으면 억측 대신 빈 목록을 반환한다고 홍보한다. 20계층, 1억 2,100만 매개변수 구조이며 그중 7,080만 개가 해시된 2-그램 및 3-그램 메모리 테이블에 들어 있어 트랜스포머 대비 토큰당 연산량을 2배 이상 줄였다고 주장한다. 벤치마크는 “모바일 도구 호출에서 10배 큰 모델을 능가하고 추출에서 2~3배 큰 모델과 맞먹는다”고 내세웠다.
하지만 HN 사용자들이 데모를 시험해보자마자 처참한 결과가 드러났다. “화장실 가고 싶어(I need a wee)“라고 입력하자 음악을 재생했다(’wee’를 음악 장르로 인식한 것이다). “변기에 갈 거야”라고 하자 변기 전원을 켜려고 시도했다. “춥다”고 하자 온도 조절기 온도를 낮춰버렸다. 거실을 청소한 뒤 부엌을 청소하라는 순차 지시도 실패했다. 한 사용자가 평을 남겼다. “내 경험과 정확히 일치한다. DeepSeek 4 Flash 급이라는 주장은 터무니없다.”
이 스레드가 일반적인 벤치마크 싸움보다 나았던 점은 Cactus 팀이 직접 등판해 정직하게 소통했다는 사실이다. 이들은 피드백에 감사를 표하고 스레드 진행 중에 도구 정의를 수정했으며 가식 없이 한계를 설명했다. “모델이 함의(implication)와 관계를 이해하는 것은 어렵습니다… 여기서의 추론은 범용 LLM이 하는 진짜 추론이라기보다는 모델 스스로 생성하는 그라운딩(grounding)에 가깝습니다.”
랜딩 페이지보다 훨씬 유용한 솔직한 고백이다. 명확하게 지정된 문장을 스키마에 매핑하는 것은 검색 문제에 가깝고 8~29MB 모델도 이를 훌륭히 해낼 수 있다. 하지만 “춥다”가 난방을 켜라는 뜻이라는 식의 함의는 이해하지 못한다. 직접적인 명령과 잘 정돈된 도구 목록이 갖춰진 환경이라면 쓸모가 있겠지만 “내가 의도한 대로 집안을 제어해달라”는 용도로는 적합하지 않으며 어떤 종합 점수도 그 한계를 미리 알려주지 않는다.
북한의 핵실험, 수년간 지진을 촉발하다
217 points · Science
2006년부터 2017년까지 북한은 만탑산 지하에서 6차례 핵실험을 감행했다. 2017년 9월 3일의 마지막 실험은 100~250킬로톤 규모로 가장 강력했으며 규모 6.3에 상당하는 지진파를 일으켰고 8.5분 뒤에는 갱도 붕괴로 추정되는 규모 4.1의 지진이 뒤따랐다. 위성 레이더는 산 자체가 변형되었음을 보여주었다. 통상 지하 핵실험은 수주 내에 잦아드는 작은 여진들을 동반하지만 이번에는 잦아들지 않고 오히려 악화되었다.
청두이공대와 부산대 연구진이 이끄는 팀이 80~200km 떨어진 중국과 한국 관측소의 17년간 연속 지진 데이터를 분석했다. 일상적 모니터링이 놓친 사건들을 잡아내기 위해 정합 필터(matched-filter) 감지 기법을 사용했다. 그 결과 1,399건의 미소 지진을 발견했고 그중 955건의 위치를 정밀하게 특정했다. 진앙지는 흩어져 있지 않고 북북서 방향으로 뻗은 두 개의 평행한 단층 구조를 따라 정렬되어 있었다. 하나는 기존에 알려진 단층의 연장선이었고 다른 하나는 지도에 없던 새로운 단층이었다. 그리고 지진 발생률과 방출된 지진 모멘트는 연구가 종료된 2025년 5월까지도 감소하기는커녕 계속 증가했다.
연구진이 제시한 메커니즘은 반복된 폭발이 이미 한계에 다다른 암반을 손상시키고 국소 응력장을 교란했으며 파쇄된 지각을 통해 응력이 천천히 재분배되면서 수년 뒤 기존 단층의 미끄러짐을 촉진했다는 것이다. 만탑산의 가파른 지형이 응력 변화를 만들어 미끄러짐의 패턴을 형성했다. 두 단층 중 긴 것은 약 24km에 달하며 만약 하나의 연결된 단층이 전체 파열될 경우 규모 6.4 수준의 지진을 일으킬 수 있다고 연구진은 추정한다.
연구진은 인과관계에 대해 신중을 기하고 있다. 단층은 이미 존재했고 자연적인 응력을 받고 있었으므로 지진은 언젠가 일어났을 수도 있다. 이 연구는 “고려해야 할 시간의 창을 넓힌 것이지 인과관계를 입증하는 데 필요한 증거의 기준을 낮춘 것은 아니다.” 그러나 감시 측면에서의 파장은 명확하다. 폭발 수년 후 발생하는 지진 활동은 지진의 원인 식별을 복잡하게 만들고 폭발 관련 사건과 자연 지각 운동 사이의 구분을 흐려놓는다. 핵실험 장소에서 10년 동안 규모 4~5의 지진이 계속 일어난다면 다음 폭발을 감지하고 귀속시키는 일은 더욱 어려워진다. 그리고 감지는 포괄적핵실험금지조약(CTBT)이 가진 유일한 집행 수단이다. 한국 언론은 인근 백두산 화산 활동에 미칠 영향에 대한 오랜 우려를 덧붙였다.
광자 방출 유도 레이저 결함 주입으로 RP2350 보안 디버그를 우회하다
211 points · Ledger Donjon
렛저(Ledger)의 하드웨어 팀이 라즈베리 파이의 RP2350 마이크로컨트롤러에서 디버그 기능이 영구 비활성화된 후에도 시큐어 월드(Secure world)로 재진입하는 경로를 찾아냈다. 광자 방출 현미경(photon-emission microscopy)을 사용해 디버그 기능을 제어하는 레지스터의 위치를 특정한 뒤 인근의 두 지점에 레이저 펄스를 쏘아 디버거 접근 권한을 복원했다. 이 권한을 확보한 상태에서 “레스큐 리셋”을 실행하여 OTP(일회성 프로그래밍) 메모리에 저장된 비밀값을 복구했다. 리셋으로 인해 칩이 정지되면서 펌웨어가 런타임 잠금을 걸기 전에 멈췄고 시큐어 월드에서 메모리 페이지를 읽을 수 있었던 것이다. 물리적 접근, 칩 패키지를 갈아내는 파괴적 전처리, 약 25만 달러 상당의 연구실 장비가 필요했다.
이 칩의 보안 모델은 결코 허술하지 않다. RP2350은 부팅 시 Arm Cortex-M33과 RISC-V Hazard3 코어 중 선택할 수 있는 듀얼 코어 구조이며, 공개키 지문을 대조하는 보안 부팅, 시큐어와 논시큐어를 분리하는 Armv8-M TrustZone, 영구 디버그 비활성화 설정, 클록 및 전원 조작을 감지하는 글리치 디텍터를 갖추고 있다. 영구 설정은 OTP에 저장되며 8개 연속 행에 걸친 다수결 투표 등 엄격한 이중 삼중의 보호를 받는다. 라즈베리 파이는 2024년 말 공개 해킹 챌린지를 진행한 뒤 취약점을 보완한 A4 개정판을 내놓았고 렛저가 테스트한 것이 바로 이 개정판이다.
주목할 점은 결함의 유형이다. 영구적인 보안 설정이 리셋으로 건너뛸 수 있는 코드 경로상에서 펌웨어에 의해 런타임에 적용되고 있었다는 점이다. 하드웨어 보안에서 “영구적으로 비활성화됨”이란 대개 “아직 다시 활성화되지 않음”을 의미하며, 전원이 켜지고 소프트웨어 잠금이 걸리기 전까지의 찰나의 순간에 무슨 일이 일어나는가가 핵심 질문이다. 렛저는 공격자가 손에 쥘 수 있는 장치 내부의 보안 요소를 만드는 회사이기에 이 연구를 발표했다. 하지만 이는 RP2350이 애초에 방어하도록 설계된 위협 모델의 범위를 벗어난다. 칩을 작업대에 올려두고 레이저 장비와 25만 달러의 예산을 갖춘 공격자라면 이미 OTP 디버그 비활성화가 지키려던 위협 모델을 한참 넘어선 상태다. 라즈베리 파이가 외부 공격을 유치해 취약점을 개선해가는 과정이야말로 시스템이 건강하게 작동하고 있음을 보여준다.
와레즈: 불법 복제의 인프라와 미학 (2021)
206 points · Internet Archive
마틴 폴 이브(Martin Paul Eve)의 저서 《Warez》(2021, CC BY-NC-SA 오픈 액세스)는 ’와레즈 씬(Warez Scene)’을 다룬 최초의 학술 서적이다. 음악, 비디오, 게임, 소프트웨어를 공식 출시일 전에 입수해 누가 먼저 배포하는지 경쟁하던 지하 네트워크다. 인터넷 이전 BBS에서 출발해 1990년대 중후반 FTP ’탑사이트’로 진화했다.
이 책을 읽어야 할 이유는 통념을 뒤엎는 독창적인 논지 때문이다. 불법 복제는 흔히 지식과 문화에 대한 평등한 접근, 정보의 자유라는 이념적 언어로 포장된다. 하지만 이브는 와레즈 씬이 전혀 다른 성격의 집단이었다고 논증한다. 서열과 경쟁을 중심으로 조직된 **지위 경제(status economy)**이며, 참가자들은 물질적 부가 아닌 평판 자본을 축적했고 다툼의 대상은 복제품 자체가 아니라 ’크랙(crack)의 기술적 완성도’였다는 것이다. 그 미학적 계보는 데모씬(DemoScene)의 절차적 애니메이션, 아스키 아트, 구체시(concrete poetry)로 이어진다. 릴리스 정보 파일(NFO)은 실력과 신뢰성을 과시하기 위해 존재했다.
이 분석이 단순한 억지 주장을 넘어 훌륭한 사회과학으로 읽히는 이유는 이념적 설명이 포착하지 못하는 관찰들을 명쾌하게 해명하기 때문이다. 엄격한 릴리스 규칙, 중복 검사, 경쟁 파벌 간의 반목은 지위 경제의 관점에서는 자연스럽지만 공유 운동의 관점에서는 기이한 일이다. 그는 45분 만에 4억 6천만 달러를 날린 2012년 나이트 캐피털 파산 사건으로 글을 시작하며 속도야말로 현대 자본의 결정적 속성임을 짚고 와레즈 씬 역시 다른 층위에서 동일한 것에 집착했다고 논한다. 오픈 액세스 도서의 인터넷 아카이브 스캔본이 링크되었다는 점도 흥미롭다.
어제 소개되었으나 여전히 프론트페이지에 머문 이야기들
오늘 200포인트를 넘긴 33개 기사 중 7개는 어제 라운드업에서 이미 다룬 내용들이다. 7개 모두 점수가 상승했는데, 이는 개별 기사의 화제성보다는 프론트페이지의 순환 속도가 느려졌음을 보여준다.
- 나는 패스키를 좋아하지 않는다 — 656 → 813 points, 댓글 782개. 패스키의 가장 취약한 고리는 계정 복구이며 그 복구 수단은 여전히 SMS다. 하룻밤 사이에 바뀐 것은 없다.
- Cloudflare Quick Tunnels — 399 → 793 points. 프로세스와 함께 사라지는 무작위 호스트명은 에이전트의 임시 엔드포인트로는 훌륭하지만 고객에게 보낼 데모 링크로는 위험하다는 지적은 여전히 유효하다.
- OpenJev — 463 → 685 points. TypeSafe와의 무관함을 여전히 명시하고 있다. 호스팅 모델의 88.3% 대비 44%/68.6%/81.3%의 결과를 정직하게 공개하는 브라우저 로컬 모델은 과장된 것들보다 훨씬 유용하다.
- LLM을 활용해 글을 쓰는 방법 — 590 points, 댓글 368개. 이틀 연속 프론트페이지에서 가장 치열한 논쟁거리다.
- 미군, AI의 허위 첩보 보고서로 일촉즉발 위기 겪어 — 493 points. 오늘 출시된 Astra for Law와 나란히 읽어보아야 할 기사다. 동일한 계열의 역량이 한쪽에서는 벤치마크와 함께 제품화되고 다른 한쪽에서는 군함에 실려 작전에 투입되었다.
- 힙 오버플로와 SSO 오설정으로 오픈AI 내부 저장소를 침해하다 — 481 points. 공격 체인보다 후속 영향이 더 중요하다. libheif는 Slack, GitHub Enterprise, Rails를 비롯한 대다수 JS 이미지 파이프라인의 전이적 의존성이다. 사용자 업로드 이미지를 다룬다면 영향을 받는다고 가정해야 한다.
- ZCode 파헤치기: 사용자의 전체 Git 히스토리를 클라우드로 몰래 업로드하다 — 323 points. 오늘 소개된 AGENTS.md 이야기와 함께 읽을 가치가 있다. 내 저장소의 메타데이터가 누구를 위해 쓰이는지를 누가 결정하는가에 관한 문제다.
맥락 읽기
수탁 권한(Custody)의 문제, 이번에는 제도적 차원이다. 어제의 화두가 암호학적 열쇠를 누가 쥐고 있는가였다면 오늘은 제도적 권한에 관한 것이다. 구글은 새로운 안드로이드 API와 필수 보안 패치에 대해 자사 하드웨어에 수개월간의 독점권을 부여하고 GPL 소스 공개 요청을 지연시키고 있다. 오픈AI는 2억 3천만 개 URL 규모의 법률 말뭉치를 구축한 뒤 이를 Harvey와 Legora에 임대해주며, 이들 기업은 고객을 확보했을 뿐 정작 핵심 색인은 소유하지 못한다. 앤트로픽은 업계 표준인 AGENTS.md를 자사의 CLAUDE.md 뒤에 오는 2등 시민으로만 수용했다. 클라우드플레어의 100TB 메모리 절감은 해시 링부터 오리진까지 전체 스택을 직접 쥐고 있었기에 가능했다. 흥미로운 질문은 “기술이 훌륭한가”를 넘어 “누가 그것을 언제 바꿀 수 있는가”로 옮겨갔다.
벤치마크와 실제 데모 사이의 괴리가 주된 관심사로 떠올랐다. Bonsai는 종합 성능 98.2%를 주장하지만 사용자가 직접 돌려본 결과 삼진 가중치 모델은 원본이 통과하는 암기 테스트를 처참하게 통과하지 못했다. Needle의 랜딩 페이지는 DeepSeek V4 Flash 급이라 자부하지만 데모는 화장실에 가겠다는 말에 음악을 틀어버린다. 후지쯔는 비교 기준도 없이 경쟁사 대비 2배의 성능을 주장한다. 오픈AI의 Astra for Law는 40%의 상대적 개선을 내세우지만 진짜 정보를 주는 숫자는 54%라는 절대 정확도 수치다. 벤더들은 유리한 프레이밍을 짜고 독자들은 숨겨진 날것의 숫자를 찾아내는 법을 배웠다. 양쪽 숫자를 모두 정직하게 공개하는 것이 이제는 양보가 아닌 경쟁력이 되었다. 오늘 가장 건강한 교류는 벤더가 댓글 창에 나타나 실패 모드를 솔직히 인정한 순간들이었다. Cactus 팀이 “추론은 진짜 추론이 아니라 그라운딩에 가깝다”고 인정한 것은 그들의 벤치마크 차트 전체보다 더 가치 있었다.
검증(Verification)은 희소 자원이며 모두가 대리 지표를 두고 논쟁한다. 타입 검사는 통과하지만 인간이 의도했던 것보다 미묘하게 약한 명제를 증명했을 수 있는 Lean 코드. 1918년 핸드북에 출판된 키를 대입해 “해독”해낸 1차 대전 암호. 보도자료는 “두 개의 장기”라 부르고 논문은 두 개의 전구세포 계통이라 밝힌 뇌 과학 연구. 타오의 블로그에 실린 샌더슨의 기고문은 다른 세 기사가 암묵적으로 던진 질문을 명시적으로 꺼내놓았다. 증명은 이해를 위한 대리 지표였으나 생성 모델이 그 지표를 무너뜨렸고 우리에게는 대체재가 없다. 모든 검증 기사의 공통점은 인공물 자체는 기계적으로 검증 가능하지만 인공물에 대한 주장은 여전히 불투명하다는 사실이다. 커널 검사, 역사적 기록, 논문 제목, 형식적 명제. 모든 경우에서 기계는 검증 가능한 무언가를 내놓았고 그것이 무엇을 뜻하는지 결정하는 것은 결국 인간의 몫이었다.
마지막으로, 다른 세 갈래와 정반대 방향을 가리키는 조용한 흐름을 주목해야 한다. 오늘 프론트페이지에서 가장 높은 평가를 받은 두 가지는 손으로 자른 1800년대 판화를 띄우는 창가의 새 액자와 포스터 디자인에 관한 에세이였다. 프론티어 모델도, 벤치마크 자랑도 없었으며 하나는 AI 생성 이미지를 전혀 쓰지 않았다고 못 박았다. 오늘 가장 엄밀한 글은 일관된 해싱의 분산 유도 공식이었다. 프론트페이지의 가장 시끄러운 논쟁은 AI를 둘러싸고 벌어지지만, 커뮤니티가 진정으로 사랑한 인공물은 손으로 직접 만든 로컬의 물리적 물건들이었다.