푸른강아지의 일상

RAG가 숫자를 맞히고도 틀리는 이유 - OCRia-1과 Rerank 5 사이에서 사라지는 근거

RAG가 숫자를 맞히고도 틀리는 이유 — OCRia-1과 Rerank 5 사이에서 사라지는 근거핵심 요약: 문서 AI의 오류는 글자를 못 읽을 때만 생기지 않습니다. 표의 숫자와 헤더가 떨어지거나, 검색 뒤 압축 과정에서 예외조건이 사라져도 답은 틀립니다. OCRia-1의 구조 복원과 Rerank 5의 구절 선별을 함께 보면, 핵심은 더 적은 문맥이 아니라 의미를 유지한 근거 전달입니다.📌 정확하게 읽은 숫자가 왜 잘못된 답이 될까문서에서 “5,000”을 정확히 추출했어도 그것이 올해 매출인지, 전년 비용인지 모르면 쓸 수 없습니다. 헤더의 “백만원”을 놓치면 계산 단위가 달라지고, 각주의 “일부 항목 제외”가 빠지면 비교 대상이 바뀝니다. 문자 인식률이 높다는 사실만으로 문서 기반 답변의 정확성을 설..

SKILL.md를 옮겨도 같은 결과가 나오지 않는 이유 - Agent Skills 표준화 다음의 숙제

SKILL.md를 옮겨도 같은 결과가 나오지 않는 이유 — Agent Skills 표준화 다음의 숙제핵심 요약: Agent Skills의 AAIF 기증은 업무 절차의 중립적인 배포 기반을 넓힙니다. 하지만 문서 형식의 호환성이 도구·의존성·권한·검사 결과의 호환성까지 보장하지는 않습니다. stop-slop-ko와 uv·ty 사례를 함께 보면, 이식 가능한 절차에는 실행 전제와 별도의 판정 기준도 필요합니다.📌 프롬프트 파일이 아니라 업무 절차가 이동하기 시작했습니다한 에이전트에서 잘 쓰던 스킬 폴더를 다른 제품에 복사했는데, 필요한 도구가 없거나 출력 형식이 달라질 수 있습니다. 문서는 읽혔지만 같은 일을 수행하지 못하는 상황입니다. 업무 지식을 파일로 보관하는 것과, 그 업무를 다른 환경에서 재현하는..

Claude가 증명하고 Rocq가 판정한다 - 123개 라이브러리 검증에서 정말 보장된 것

Claude가 증명하고 Rocq가 판정한다 — 123개 라이브러리 검증에서 정말 보장된 것핵심 요약: AI가 안전하다고 설명하는 것과, 명세에 맞는 증명을 기계가 검사하는 것은 다릅니다. Anthropic·Theorem 연구의 의미는 증명 작성의 자동화에 있습니다. 다만 보장은 특정 바이너리·진입점·실행 가정에 묶이며, 패치를 허용하면 원래 기능을 보존했는지도 따로 검토해야 합니다.📌 테스트를 많이 통과한 코드와 증명된 코드는 무엇이 다를까테스트가 모두 초록색인데도 다음 입력에서 서버가 멈출 수 있습니다. 지금까지 실행한 사례가 정상이라는 사실은 아직 실행하지 않은 모든 사례까지 설명하지 않기 때문입니다. 퍼징은 이 틈을 무작위·변형 입력으로 넓게 탐색하지만, 오래 돌렸다는 이유만으로 남은 오류가 없다..

반도체 수출은 뜨거운데, AI 투자 자금은 버틸까 - 호황의 다음 질문

반도체 수출은 뜨거운데, AI 투자 자금은 버틸까 — 호황의 다음 질문핵심 요약: 10월 1~20일 한국 반도체 수출은 275억 달러를 기록했습니다. 그러나 일본은행은 AI 설비투자에서 회사채·장기 임차계약·사모펀드 등 외부자금의 역할이 커지는 점을 금융안정의 점검 대상으로 제시했습니다. 지금의 수출 호조와 미래 수요의 금융 취약성은 동시에 존재할 수 있습니다. 호황의 지속성을 판단하려면 수출액에 더해 고객의 현금 창출력과 투자자금 조달 조건을 확인해야 합니다.📌 주문이 늘었다는 사실과 주문이 계속된다는 판단한국 경제에 반도체 수출 증가는 반가운 소식입니다. 하지만 오늘 공장을 채우는 주문과 내년 공장 증설을 정당화하는 주문은 같은 질문이 아닙니다. 전자는 이미 나타난 거래에 가깝고, 후자는 고객이 앞..

에이전트마다 브랜치를 만들면 Git도 빨라질까 — GitHub가 바꾸는 잠금의 단위핵심 요약: GitHub는 저장소 전체 쓰기 직렬화를 참조별 직렬화로 좁히는 설계를 공개했습니다. 서로 다른 브랜치의 쓰기는 병렬화하되, 같은 참조의 순서는 지키는 접근입니다. 이는 에이전트를 늘리면 무조건 빨라진다는 뜻이 아니라, 실제로 충돌하는 상태와 독립적인 작업을 구분해야 한다는 뜻입니다.📌 AI가 코드를 쓰는 속도 뒤에 남는 대기열여러 코딩 에이전트에게 각자 브랜치를 주면 작업은 자연스럽게 병렬화되는 것처럼 보입니다. 서로 다른 파일을 고치고 각자의 브랜치로 push하니 간섭도 적을 것 같습니다. 하지만 작업 공간이 분리돼 있다는 사실과 저장소 서버가 쓰기를 동시에 처리한다는 사실은 다릅니다. 서버 내부에서 저장..

LiteLLM 공급망 침해 — 정상 소스를 확인해도 배포물을 믿을 수 없는 이유핵심 요약: LiteLLM 1.107.0의 악성 wheel은 패키지를 직접 import하지 않아도 Python 시작 과정에서 실행될 수 있었습니다. 사고의 핵심은 코드 리뷰와 실제 설치물 사이의 단절입니다. 배포물의 출처 검증과 함께, 이미 실행된 환경의 자격증명·프로세스·복구 경계를 별도로 다뤄야 합니다.📌 코드는 정상인데 설치물은 악성이라면오픈소스 패키지를 도입할 때 우리는 저장소를 먼저 살펴봅니다. 공개 코드와 변경 이력이 멀쩡하면 설치 파일도 같을 것이라고 기대합니다. 그러나 LiteLLM 1.107.0 사건은 이 기대가 검증을 대신할 수 없다는 사례입니다. SafeDep과 Socket의 분석은 PyPI wheel에 ..

비정규직 38.5%, 미국 주급은 물가에 못 미쳤다 — 고용 숫자와 구매력을 나눠 읽는 법핵심 요약: 한국의 8월 비정규직 비중은 38.5%로 높아졌고, 미국의 3분기 전일제 주급 중위값 증가율은 물가 상승률을 밑돌았습니다. 두 발표는 같은 현상의 증거가 아니라, 고용의 구성과 임금의 구매력을 따로 확인해야 한다는 신호입니다. 고령층 취업 확대를 모두 고용 악화로 볼 수도, 명목임금 증가를 곧 생활 개선으로 볼 수도 없습니다. 판단을 바꿀 조건은 연령별 일자리의 질과 가계의 실질 가처분소득이 함께 개선되는지입니다.📌 일자리가 있다는 사실만으로 생활은 나아질까요취업자가 늘었다는 뉴스와 생활이 빠듯하다는 이야기는 모순처럼 들립니다. 그러나 일자리의 개수는 한 달에 얼마를 벌고, 그 돈으로 무엇을 살 수 있..

COBOL 이전 97.9%와 코딩 회귀 16.3% 사이 — AI가 지켜야 할 것은 새 기능만이 아닙니다핵심 요약: OpenAI의 COBOL 이전 평가와 HumanLayer의 SlopCodeBench는 다른 과제와 분모를 사용합니다. 점수만으로 모순이나 모델 순위를 만들 수 없습니다. 두 자료를 함께 보면 더 유용한 질문이 생깁니다. 새 요구사항을 구현한 뒤에도, 이전에 맞았던 업무 동작이 계속 보존되는지 어떻게 확인할까요?📌 높은 이전 점수와 낮은 회귀 점수가 함께 존재하는 이유AI가 오래된 프로그램을 거의 완벽하게 옮긴다는 발표를 읽은 다음, 변경을 반복하는 코딩 평가에서는 전체 테스트를 통과하는 경우가 드물다는 결과를 보면 혼란스럽습니다. 어느 쪽이 틀린 걸까요? 꼭 그렇지는 않습니다. 같은 ‘코딩..

DeepInfer와 TorchTPU가 열어준 길 — 추론 엔진 공개와 하드웨어 이식성은 다릅니다핵심 요약: DeepInfer는 DeepSeek의 대규모 추론 구현을, TorchTPU는 PyTorch의 TPU 실행 경로를 공개합니다. 두 프로젝트는 같은 층의 경쟁 제품이 아닙니다. 모델 코드가 실행되는 것과 요청을 안정적으로 처리하는 것은 별개이며, 전환 여부는 커널·컴파일·상태 관리·운영 책임을 나눠 판단해야 합니다.📌 코드가 열렸는데, 왜 바로 서버를 바꿀 수 없을까요?AI 인프라 소식에서 ‘오픈소스’라는 말은 종종 도입 가능성까지 한꺼번에 설명하는 표현처럼 쓰입니다. 하지만 엔진 설계도를 받은 것과 승객을 태울 수 있는 운송 서비스를 확보한 것은 다릅니다. 엔진이 좋아도 배차, 대기열, 정비와 고장..

기름값을 묶으면 비용은 사라질까 — 석유 최고가격과 손실보전의 재정 청구서핵심 요약: 산업통상부는 10월 20일 석유 최고가격 손실보전의 심의 절차와 최종 책임을 설명했지만, 해당 자료에서 보전액 확정이나 지급 완료를 발표하지는 않았습니다. 소비자가격을 누르는 정책은 에너지 조달비용을 없애기보다 기업과 재정 사이의 부담 배분을 바꿀 수 있습니다. 유로지역의 에너지발 물가 상승은 비용 압력을 살펴볼 비교 사례이지 한국 보전액의 산정 근거는 아닙니다. 정책 평가는 가격 안정 효과와 함께 정산 기준·실제 지급·지원 종료 조건을 확인할 때 달라질 수 있습니다.📌 주유소 가격표 밖에도 청구서는 남습니다기름값이 덜 오르면 가계와 사업자의 숨통이 트입니다. 출퇴근 비용과 배송 원가가 급격히 뛰지 않는 것 자체가 중..