Morning Digest — 2026-06-03

• 툴 출력, 로그, 파일, RAG 청크를 LLM 전달 전 압축하는 Python 기반 프로젝트
• 동일한 답변 품질을 유지하면서 토큰 수 60~95% 절감 목표 제시
• 라이브러리, 프록시, MCP 서버 형태로 제공돼 다양한 LLM 애플리케이션 경로에 적용 가능

• PyTorch·ONNX·검증기 분리로 생기는 semantic gap 문제를 Lean 4 내부 단일 기준점으로 해소
• 연산자 태그 기반 SSA/DAG 계산 그래프 IR을 실행, 역전파 자동미분, IBP·CROWN, 증명서 검사가 공동 사용
• 정확 실수, Float32, 구간, 아핀 도메인에 동일 그래프 의미론 적용해 유한 정밀도와 검증 의미를 정렬

• 중국 AI 스타트업 MiniMax의 신규 모델 M3 공개 소식
• 주요 벤치마크에서 GPT-5.5와 Gemini 3.1 Pro를 능가했다는 주장
• 운용 비용이 기존 미국 상용 모델 대비 5~10% 수준이라는 가격 포지셔닝

• MCP-Persona 제안; 개인용 애플리케이션 시나리오를 반영한 LLM 에이전트 벤치마킹 프레임워크
• 현실 세계 개인 업무를 모사한 환경 시뮬레이션 기반 평가 구성; 정적 QA 중심 평가의 한계 보완
• 에이전트가 도구 사용과 다단계 상호작용을 포함한 개인 앱 작업을 얼마나 수행하는지 측정하는 방향성

• 한국어 문화·언어·로컬 웹 환경을 반영한 웹 브라우징 에이전트 평가 벤치마크 제안
• 영문 중심 벤치마크가 놓치던 한국어 고유 맥락 기반 과업 측정에 초점
• 웹 탐색 에이전트의 한국어 이해, 정보 탐색, 실제 웹 상호작용 성능 비교용 기준 제공

• LLM 에이전트의 trajectory를 활용해 재사용 가능한 스킬을 자동 형성·업데이트하는 접근
• 사전 고정 스킬셋이나 수작업 설계 대신 경험 기반 self-adapting skill 학습 구조 제안
• 에이전트가 반복 수행 과정에서 행동 단위를 정련해 장기적 성능과 적응성 개선 지향

• Windows PC에서 개인용 AI 에이전트 개발·실행을 지원하는 Microsoft·NVIDIA 협업 도구 소개
• 크리에이터·개발자·AI 활용자 대상의 로컬 PC 기반 에이전트 사용 시나리오 중심 구성
• 개인 PC 상호작용 방식 변화와 생산성 지원을 위한 에이전트 워크플로우 구축에 초점

• MAI-Thinking-1 공개; 추론(reasoning)용 35B 파라미터, 현재 선별된 초기 파트너 대상 제공
• MAI-Code-1-Flash 공개; GitHub Copilot·VS Code용 5B 코드 모델, 고성능·저비용 목표
• MAI-Code-1-Flash, Visual Studio Code의 GitHub Copilot 개인 사용자 대상으로 순차 배포

• OpenYabby 멀티 에이전트 오케스트레이터를 2주간 Claude 없이 로컬 Qwen3.6-27B로 전면 운영
• RTX 3090 24GB 환경에서 Q6_K 양자화 모델을 약 22GB VRAM으로 구동, Ollama 기반 추론 구성
• 리드·매니저·서브에이전트 루프의 추론층 대체 가능성 검증이 목적, 32k 유효 컨텍스트 활용

• GitHub Copilot 프로덕션 하니스로 직접 학습·평가, 에이전트형 코딩 작업과 도구 상호작용 정렬
• 저장소 질의응답, 리팩터링, 실제 Copilot 사용 기반 텔레메트리 태스크까지 포함한 실전 지향 설계
• 적응형 답변 길이 제어(adaptive solution length control) 적용, 쉬운 요청은 짧게·복잡한 문제는 깊게 대응