오늘 GeekNews는 AI의 성과와 그 한계를 동시에 보여주는 소식이 눈에 띕니다. OpenAI가 수학 논문 3편을 철회했다는 소식과, Claude Opus 5.5에 6시간을 주고 인터랙티브 시각화를 시킨 실험이 나란히 올라왔습니다. 한편으로는 40억 대 기기를 지탱하는데도 유지보수자가 한두 명뿐인 오픈소스 프로젝트들을 짚은 글이 개발 문화에 대한 경각심을 던집니다.

OpenAI, 수학 논문 3편 철회

부호 오류 하나가 논증 사슬 전체를 무효화하며 원고 3편이 철회됐습니다.

핵심 내용 부호 오류로 인해 분할 아벨 8차원 다양체의 Weil 클래스에 관한 논문의 논증이 무효화되었고, 이를 인용해 구성된 다른 두 논문까지 함께 철회되었습니다. 철회 대상에는 Weil 클래스의 대수성, K3 곡면의 Kuga–Satake 대응의 대수성 등이 포함됩니다. AI가 생성한 수학적 결과물의 검증 파이프라인이 얼마나 취약할 수 있는지를 보여주는 사례로, 형식 검증과 사람의 리뷰가 왜 여전히 필요한지 다시금 환기시킵니다.

Opus 5.5에 프롬프트 하나와 6시간을 주고 『보이지 않는 도시들』을 시각화하게 해봤다

프롬프트 하나, 6시간. 모델이 걸작에 도달할 수 있는지 실험한 기록입니다.

핵심 내용 Claude Opus 5.5와 GPT-6 Astra에 동일한 프롬프트를 주고, Italo Calvino의 『보이지 않는 도시들』에 등장하는 모든 도시를 추가 질문 없이 인터랙티브 시각화하도록 실험했습니다. three.js와 pnpm을 사용하고 “걸작이 될 때까지” 작업을 이어가게 하는 방식으로 진행되었습니다. 장시간 자율 작업에서 모델이 어디까지 도달하는지, 그리고 사람의 개입 없이 완성도를 끌어올리는 것이 현실적인지를 가늠해볼 수 있는 실험입니다.

인터넷을 떠받치는 사람들

40억 대 휴대전화의 시간대를 관리하는 사람은 사실상 한 명입니다.

핵심 내용 휴대전화·브라우저·서버가 의존하는 오픈소스 프로젝트 23개 중 11개는 최근 1년간 정기적으로 코드를 변경한 사람이 한두 명뿐이었습니다. 40억 대 휴대전화의 시간대를 관리하는 Paul Eggert, core-js의 Denis Pushkarev, sudo의 Todd Miller 같은 인물들이 대표적인 사례입니다. 우리가 매일 쓰는 인프라가 소수의 자원봉사자에게 의존하고 있다는 사실은 오픈소스 지속가능성 문제를 다시 생각하게 만듭니다.

C에서 이름을 쓰지 않고 함수 호출하기

허용 함수 검사를 우회해 셸을 실행한 개념 증명입니다.

핵심 내용 학교의 C 코드 자동 채점 환경에서 허용 함수 검사를 우회해, execve 심볼을 직접 쓰지 않고 셸을 실행하는 개념 증명에 성공했습니다. ASLR은 메모리 배치 주소를 바꾸지만 같은 세그먼트 안의 함수 간 상대 위치는 유지된다는 점을 이용해, 허용된 함수의 주소와 미리 알고 있는 오프셋으로 목표 함수에 접근하는 방식입니다. 샌드박스나 코드 검사 기반 제약이 왜 근본적인 보안 경계가 될 수 없는지를 잘 보여주는 사례입니다.

if는 위로, for는 아래로: 관용 패턴과 그 대수, 그리고 한계

조건 분기는 호출자에게, 반복은 함수 안쪽에 두는 설계 패턴 이야기입니다.

핵심 내용 조건 분기는 호출자에, 반복문은 배치 처리 함수 내부에 배치하면 제어 흐름을 중앙화하고 핵심 처리 로직을 단순화할 수 있습니다. 호출자가 None을 처리하고 함수가 Option<Walrus> 대신 Walrus를 받도록 하면 입력 타입 자체가 계약을 명확히 해준다는 것이 핵심입니다. 다만 이 패턴이 항상 통하는 것은 아니며, 어떤 상황에서 한계에 부딪히는지까지 짚어주는 점이 실무적으로 유용합니다.

4시간 배터리 저장장치, 전 세계에서 가스터빈보다 설치 비용 저렴해져

두 기술을 함께 모델링한 43개 시장 전부에서 배터리가 앞섰습니다.

핵심 내용 Wood Mackenzie의 균등화발전비용(LCOE) 분석에서 4시간 배터리 저장장치가 두 기술을 함께 모델링한 43개 시장 모두에서 개방형 사이클 가스터빈보다 저렴해졌습니다. 가스터빈 공급 부족과 연료 가격 변동성이 피크 수요 대응 발전 비용을 높이는 반면, 배터리는 비용 구조가 안정적으로 내려가고 있다는 분석입니다. 전력 인프라를 다루는 소프트웨어와 데이터센터 계획에도 직접적인 영향을 주는 변화입니다.

브라우저에서 네이티브로 실행되는 고전 PC 데모씬 작품들

DOS 데모 코드를 명령어 단위로 재컴파일해 브라우저에서 돌립니다.

핵심 내용 demoscene-recomp는 고전 PC 데모의 원본 DOS 코드를 명령어 단위로 재컴파일해 브라우저에서 실행합니다. x86 에뮬레이터로 데모를 처음부터 끝까지 돌리며 CPU가 실제 실행한 코드 블록을 기록하고, 원래 명령어와 정확한 사이클 타이밍을 유지한 C 코드로 변환하는 방식입니다. 에뮬레이션과 정적 재컴파일을 결합해 사이클 정확도를 지키는 접근은, 레거시 바이너리를 다루는 엔지니어링의 좋은 참고 사례가 됩니다.

오래가는 소프트웨어가 천천히 만들어지는 과정

Zotero가 시제품까지 5년, 지금은 2,000만 명이 씁니다.

핵심 내용 Zotero는 역사학자들이 연구에 필요한 도구를 함께 탐색하며 구상한 소프트웨어로, 초기 시제품까지 약 5년이 걸렸고 현재는 2,000만 명 이상이 사용합니다. 출발점은 웹 자료를 수집하는 Web Scrapbook과 로컬에서 메모와 인용을 관리하는 Scribe의 결합이었습니다. 빠른 출시와 성장을 강조하는 요즘 흐름 속에서, 오래 살아남는 도구는 사용자와 함께 천천히 다듬어진다는 점을 상기시킵니다.

Show GN: Porch - 클로드코드·코덱스로 한 일을 프로젝트별로 정리하는 맥 메뉴바 앱

에이전트 세션을 프로젝트 단위로 되돌아보게 해주는 도구입니다.

핵심 내용 클로드코드와 코덱스로 한 일을 프로젝트별로 하루·한 주·한 달 단위로 정리해 주는 맥 메뉴바 앱입니다. 오픈소스이고 가입 없이 쓸 수 있습니다. 여러 터미널에서 세션을 돌리다 보면 어떤 작업에 시간을 얼마나 썼는지 파악하기 어려운데, 에이전트 활용을 회고하고 조정하려는 개발자에게 실용적인 선택지가 됩니다.

빈과 베이징에서 가동을 시작한 최초의 토륨 원자핵 시계

원자 시계를 넘어 원자핵 전이를 이용한 차세대 시간 측정입니다.

핵심 내용 빈과 베이징에서 최초의 토륨(thorium) 원자핵 시계가 가동을 시작했습니다. 원자핵 전이를 기준으로 삼는 방식으로, 기존 원자 시계와는 다른 계열의 시간 측정 기술입니다. 정밀 시간 동기화는 분산 시스템과 위성 항법, 네트워크 인프라의 기반이므로, 시간 표준의 진화는 결국 소프트웨어 인프라에도 영향을 줍니다.

Show GN: 반도체부터 전세·보험까지, 시뮬레이터를 만지며 배우는 무료 웹 교과서 시리즈

만져 보며 이해하는 인터랙티브 웹 교과서 프로젝트입니다.

핵심 내용 2022년 Bartosz Ciechanowski의 Mechanical Watch에서 영감을 받아, 관심 분야를 직접 만져 보며 이해하는 웹 페이지로 만들고 싶었다는 동기에서 출발한 프로젝트입니다. AI의 발전 덕분에 혼자서도 제작할 수 있게 되었다고 저자는 밝힙니다. 반도체부터 전세·보험까지 폭넓은 주제를 시뮬레이터로 풀어내는 방식은, 기술 교육 콘텐츠와 인터랙티브 웹의 접점을 보여줍니다.

미국, Microsoft 등 기술 기업 대상 비자 프로그램 중단

취업 비자 남용 의혹을 이유로 이민 프로그램이 중단됩니다.

핵심 내용 Trump 행정부가 여러 기술 기업을 대상으로 이민 프로그램을 중단하겠다고 밝혔으며, 중단 대상에는 Microsoft가 포함됩니다. 행정부는 취업 비자 제도의 광범위한 남용 의혹을 중단 사유로 내세우고 있습니다. 글로벌 인재 확보에 의존해 온 기술 기업과, 해외 채용을 전제로 커리어를 설계해 온 개발자 모두에게 직접적인 영향을 주는 사안입니다.

기타 주목할 소식

  • OpenAI, 수학 결과 3건 철회 — 수학 GitHub 저장소에 새 Lean 형식화 6건, 수정 19건, 철회 3건이 반영됐고 주요 결과 약 42%가 형식화된 상태입니다. 원문
  • Anne Carson, 2026년 노벨문학상 수상 — 시·산문·번역의 경계를 넘나든 캐나다 시인이자 에세이스트가 수상자로 선정됐습니다. 원문
  • DVD 메뉴의 아름다움 — MPEG-2 영상과 제한적인 DVD 가상 머신만으로 구현한 2000년대 인터페이스 디자인을 돌아봅니다. 원문
  • Tell HN: 탄자니아 농촌 주민 한 명의 교육비를 10년째 지원하고 있습니다 — 11세 소녀의 학비 지원을 시작으로 이어진 10년간의 이야기입니다. 원문
  • 제2차 세계대전 폭탄을 해체하는 기술 — 영국 군 폭발물 처리팀 연평균 출동 약 2,500건 중 약 2,000건이 전쟁 잔존 폭발물 때문입니다. 원문
  • Cleo(수학자) — Mathematics Stack Exchange에서 풀이 없이 정답만 올리던 계정의 정체가 2025년 확인됐습니다. 원문
  • Jonathan, 지구에서 가장 오래 산 현존 육상동물 — 약 194세 알다브라코끼리거북의 유전체가 처음 해독됐습니다. 원문
  • 빅토리아 시대 엘리트는 왜 그렇게 유능했을까? — 학업보다 인맥과 집단 결속에 시간을 쓴 엘리트 문화를 분석합니다. 원문

오늘의 한 줄 정리: AI가 만들어낸 수학 논문이 부호 하나로 무너지고, 그 AI에 6시간을 주면 걸작에 도전하는 시대 — 결국 신뢰의 무게는 검증과 유지보수하는 사람에게 남아 있습니다.

매일 아침 GeekNews 소식을 릿치 블로그에서 만나보세요.