특집
78개의 포스트
페르마의 마지막 정리, AI가 11일 만에 '형식 증명'하다 — 350년의 여백, 1,300만 줄의 Lean, 그리고 수학 검증의 미래
2026년 9월 4일 Anthropic이 '컴퓨터가 검증한 최초의 페르마의 마지막 정리 증명'을 공개했다. Claude 에이전트 수십 개가 11일 동안 1,300만 줄의 Lean 코드를 쓰고 29,511개의 중간 정리를 증명했다. 1637년의 여백에서 1995년 와일스의 129쪽, 그리고 2026년의 의존 그래프까지 — 왜 '증명을 검증하는 일'이 이렇게 어려웠는지, 형식화가 무엇인지, Prove2Me 아키텍처가 어떻게 수십 개 에이전트를 협업시켰는지, 그리고 이 증명이 정직하게 무엇을 못 했는지까지 사례와 그림으로 풀어본다.
유명 Suno 곡의 프롬프트는 왜 그렇게 짧았나 — 공개 프롬프트 13곡 분석과 유출로 드러난 Suno의 안쪽
Suno에서 380만 회 재생된 「Stone」의 Style 프롬프트는 네 단어였다. Billboard 라디오 차트에 오른 Xania Monet의 지시문은 네 줄이었다. 반면 The Verge가 '실제로 흥미롭다'고 평가한 「Semiramis' Dream」에는 한 줄짜리 정답 프롬프트가 아예 없다. 유명 Suno 곡 13개의 프롬프트를 원문 확인·일부 확인·비공개로 등급을 나눠 분석하고, 2026년 7월 404 Media가 보도한 소스코드 유출에서 확인된 것(38만 시간 규모의 수집 파이프라인)과 확인되지 않은 것(MERT25·DAC-VAE 주장)을 가른다.
에이전트에게 열쇠를 줬더니 — AI 에이전트 보안과 '치명적 삼중주'의 시대
2025년 6월 EchoLeak은 이메일 한 통으로 마이크로소프트 365 Copilot에서 데이터를 빼냈다. 클릭도 필요 없었다. 그해 여름 Comet 브라우저는 레딧 댓글에 속아 계정을 넘겼고, npm 공급망 공격은 개발자의 Claude·Gemini·Amazon Q를 시켜 비밀 파일을 훔쳤다. 2026년 2월엔 개인 AI 에이전트 마켓에서 악성 스킬 수백 개가 발견됐고, 11월엔 국가 배후 조직이 AI에게 공격의 80~90%를 맡긴 첫 사례가 공개됐다. 왜 프롬프트 인젝션은 '패치'로 끝나지 않는가. Simon Willison의 '치명적 삼중주'로 원리를 설명하고, EchoLeak부터 GTG-1002까지 실제 사고를 짚고, CaMeL·계획-실행 분리 같은 방어 설계와 실무 체크리스트를 정리한다.
비디오 프롬프트 사례집 — 유행 유형 9가지와 모델별 실전 프롬프트 전문 (Seedance 2.5 · H3 · Omni · HappyHorse)
전편에서 약속한 사례편. 지금 크리에이터들 사이에서 반복 검증된 프롬프트 유형 9가지 — 변신 아크, POV, 3×3 스토리보드, 오클루전 전환, 클레이 프리비즈 — 를 정리하고, Seedance 2.5의 30초 촬영계획서, MiniMax H3의 3필드·6섹션 구조, Gemini Omni의 수정 대화 체인, HappyHorse의 R2V 4블록까지 실전 프롬프트 전문을 해설과 함께 공개한다. 한국 사용자를 위한 H3 라이선스 주의사항 포함.
비디오 프롬프트는 콘티다 — MiniMax H3·Seedance 2.0/2.5/Fast, 모델별 특징과 프롬프트 문법
2026년 8월, 영상 생성의 지형이 다시 바뀌었다. MiniMax H3는 2K 영상과 스테레오 오디오를 한 번에 만들고, Seedance는 2.0·2.5·Fast로 갈라져 각자 다른 일을 맡는다. 문제는 모델마다 프롬프트 문법이 다르다는 것 — 레퍼런스 역할 잠금, 타임스탬프 스크립팅, 사운드 브래킷까지. 네 모델의 특징과 문법을 비교하고, 모델을 관통하는 공통 원칙 일곱 가지를 정리한다.
제로클릭 시대 — AI가 웹의 오래된 계약을 파기했다
2026년 8월, 프랑스 신문협회가 구글을 경쟁당국에 제소했다. AI 요약이 언론사 트래픽을 최대 38% 깎아냈다는 규제기관의 추정이 근거였다. 30년간 웹을 지탱해 온 암묵적 계약 — '콘텐츠를 긁어가는 대신 방문자를 돌려보낸다' — 이 깨지고 있다. 구글은 크롤 5번에 방문자 1명을 돌려보내지만, AI 크롤러는 수천, 수만 번을 긁고 1명을 돌려보낸다. Stack Overflow의 질문은 76% 줄었고, 한국의 네이버 블로거들은 수익 급감을 호소한다. 이 글은 이 계약이 어떻게 만들어졌고 왜 깨졌는지, 지금 무슨 일이 벌어지고 있는지, 그리고 콘텐츠를 만드는 조직이 실무적으로 무엇을 해야 하는지를 정리한다.
AI 맹목(AI-Blindness) — 뇌가 AI 문서를 광고처럼 건너뛰기 시작했다
2026년 8월, 한 엔지니어가 '나는 AI 맹목이 되어가고 있다'는 짧은 글을 올렸고 해커뉴스에서 228개의 댓글이 붙었다. 1998년의 '배너 블라인드니스'가 광고를 안 보이게 만들었듯, 이제 우리의 뇌는 AI 특유의 냄새가 나는 문서를 자동으로 건너뛴다. 문제는 그 문서 중에 진짜 읽어야 할 것이 섞여 있다는 점이다. 이 글은 이 개념이 왜 나왔는지, 워크슬롭·AI 슬롭·curl 버그바운티 종료·GitHub PR 킬스위치 같은 사례가 무엇을 말하는지, 그리고 AI를 써서 글을 쓰는 사람과 그것을 읽어야 하는 사람이 각각 무엇을 해야 하는지를 정리한다.
AI가 취약점을 스스로 찾기 시작했다 — 저울이 기운 3주
8월 1일 OpenAI의 Astra가 10년 넘게 풀리지 않던 수학 난제 10개를 2,000달러로 풀었습니다. 6일 뒤 같은 모델이 '사람 없이 제로데이를 만들 수 있다'는 이유로 격리됐습니다. 그리고 8월 20일, 2억 4천만 번 다운로드된 Rust 크레이트가 86분간 악성 코드를 배포했습니다. 이 세 사건은 하나의 이야기입니다 — 1988년 모리스 웜부터 시작된 '기계가 취약점을 찾는다'는 계보가 어디까지 왔고, 왜 지금 저울이 기울고 있는지 끝까지 추적합니다.
아이디어는 새로운데 왜 실행하면 무너지나 — Ideation–Execution Gap과 AI 브레인스토밍의 함정
79명의 전문가가 블라인드로 평가하자 AI 아이디어가 인간보다 '더 새롭다'는 결과가 나왔다. 1년 뒤 같은 팀이 43명에게 그 아이디어를 각각 100시간씩 실제로 구현하게 했다. 점수는 역전됐다. 왜 종이 위의 참신함은 실행을 견디지 못하는가 — 두 연구의 수치를 따라가며, AI 브레인스토밍을 도입한 조직이 겪는 일과 그 처방을 정리한다.
LLM은 정말 도약하지 못하는가 — 「LLMs can't jump」를 증거의 법정에 세우다
「LLMs can't jump」는 고립된 비관론이 아니다. 과학철학의 조작적 가추, 기호 접지 문제, '쉬운 문제와 어려운 문제', 그리고 2026년까지 쏟아진 실증 연구가 한 점에서 만난다. 6,749명의 과학자가 평가한 25,139세트의 아이디어, 43명이 100시간씩 실행해 본 결과, cap set과 48회 행렬곱을 찾아낸 FunSearch·AlphaEvolve, 그리고 '신체 없는 가추'라는 정면 반론까지 — 찬성과 반례를 다섯 단계의 저울에 올린다.
프롬프트 테크닉 지도 — 실무 이슈 12가지로 다시 읽는 프롬프트·컨텍스트·이미지 엔지니어링
블로그 44편을 다시 읽으며 발견한 사실 — 실무에서 부딪히는 문제는 결국 12가지로 수렴하고, 테크닉은 그 처방이다. 프롬프트에서 컨텍스트, 하니스, 루프, 그리고 이미지 프롬프트까지. 증상별 처방전과 글로벌 필독 자료 10선을 한 장의 지도로 묶었다.
Seedance 2.5 생성 노하우 — 한 줄 프롬프트가 30초 광고가 되기까지
ByteDance의 Seedance 2.5는 한 번에 30초, 레퍼런스 자산 50개, 타임스탬프 편집과 확장까지 지원한다. 그러나 기능이 늘어난 만큼 '어떻게 써야 원하는 결과가 나오는가'가 어려워졌다. 공식 프롬프트 가이드를 뼈대로, 같은 주제를 한 줄로 쓸 때와 구조화해서 쓸 때의 실제 생성 결과를 나란히 놓고 비교한다. 이미지 레퍼런스, 영상 확장, 영상 편집까지 직접 돌려 본 결과와 실패한 부분을 함께 기록한다.