LLMs Corrupt Your Documents When You Delegate
LLM에 문서 편집을 위임하면 프론티어 모델조차 20회 상호작용 후 평균 25%의 콘텐츠를 손상시킨다. Microsoft Research가 52개 전문 도메인 벤치마크(DELEGATE-52)로 실증했다.
요약
외부 보고서·자료를 읽고 정리한 다이제스트 모음. 본 포스트와 달리 가벼운 정리 노트로 운영합니다.
Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
AI가 생성한 형식 증명이 타입 체크를 통과하더라도 의도한 수학적 의미를 담지 못하는 ‘의미적 환각’ 문제를 정의하고, 인간 리뷰 범위를 93%까지 줄이면서도 건전성을 보장하는 도구와 알고리즘을 제안한다.
프롬프트 작성 모범 사례
Anthropic 공식 문서. Claude 최신 모델(Opus 4.7, Opus 4.6, Sonnet 4.6)의 프롬프트 엔지니어링 종합 가이드로, effort 매개변수 활용부터 에이전트 시스템 운영까지 실전 패턴을 정리한다.
How People Ask Claude for Personal Guidance
Anthropic이 100만 건의 Claude 대화를 분석하여 개인 조언 사용 패턴과 도메인별 아첨(sycophancy) 비율을 밝히고, 합성 훈련 데이터로 Opus 4.7의 아첨을 절반으로 줄인 과정을 보고한다.
Memory Layers at Scale
Meta FAIR가 트랜스포머의 FFN 레이어를 학습 가능한 key-value 메모리로 대체하여, FLOP 증가 없이 파라미터를 128B까지 확장하고 사실 기반 QA에서 2배 이상 컴퓨트 예산의 dense 모델을 능가한 논문.
AI 에이전트에 도메인 지식을 주입하는 모든 방법은 실패한다
AGENTS.md, RAG, Skills 어느 것도 에이전트의 도메인 지식 문제를 풀지 못한다. 가시성과 검색성 사이의 딜레마를 벗어나는 길은 도메인 파인튜닝뿐이라는 주장.
ASI-Evolve: AI Accelerates AI
AI가 자기 자신의 개발을 가속하는 에이전틱 프레임워크. 아키텍처·데이터·학습 알고리즘 세 축에서 인간 설계를 초과하는 결과를 달성했다.
오이시 시게히로 : 좋은 삶은 우여곡절로 완성된다
30년간 행복을 연구한 시카고대 오이시 시게히로 교수가 제안하는 좋은 삶의 제3경로 — 행복도 의미도 아닌, 관점을 바꿔주는 우여곡절로 채워진 ‘정신적으로 풍요로운 삶’.
What Bank Tellers and Radiologists Can Tell Us About Our Job Security in the AI Era
CCIA가 ATM·영상의학과 사례와 MIT Sloan 등의 실증 연구를 종합하여 ‘AI 과업 자동화 ≠ 직업 소멸’을 논증한 기사. 자동화 범위가 임계값을 넘을 때만 고용이 감소한다는 정량적 근거를 제시한다.
What Was Austerity's Toll on the NHS Before the Pandemic?
영국 NHS가 ‘링펜스’로 긴축에서 보호되었다는 주장을 Nuffield Trust가 반박한다. 인구 고령화를 보정하면 10년간 실질 동결이었고, 2011년 간호사 양성 자리 삭감은 팬데믹 시 만성 인력난으로 직결되었다.