2026-07-05 Ai Daily 0700 Summary¶
수집일시: 2026-07-05 07:01:39 KST
주요 뉴스¶
- Leanstral 1.5: 모두를 위한 증명 풍요 - 형식 검증을 실제 개발 작업에 더 가깝게 쓰려는 흐름 속에서, Mistral AI가 Lean 4 용 Apache-2.0 모델 Leanstral 1.5 를 공개함 모델은 119B 총 파라미터 중 6B만 활성화하며, 중간 학습·지도 미세조정·CISPO 강화학습을 거쳐 증명 작성과 코드 저장소 작업을 함께...
- Jamesob의 최신 수준 LLM 로컬 실행 가이드 - 로컬에서 최신 수준 LLM 과 음성-텍스트 변환을 돌리기 위한 하드웨어 구성, PCIe 스위치 설정, Docker 실행 구성을 한 저장소에 정리함 약 $2k 예산은 2× RTX 3090으로 48GB VRAM을 확보해 Qwen3.6-27B와 whisper-large-v3 기반 로컬 STT를 실행하는 ...
- PM의 채용 공고가 바뀌었다 (이력서 대신 60초 데모를 내는 시대) - PM 채용 공고의 패러다임이 급변하고 있음. 기존의 PRD 작성과 요구사항 정의 중심에서 AI 네이티브 빌더로 진화하는 중 주요 변화: • Amazon Ring: 'Builder PM' 포지션 신설. Cursor, Claude, Replit 같은 AI 코딩 툴을 사용해 직접 프로토타입을 빌드하고, GenAI 툴로 개발 타임라인을 가속화
- 에이전트 자율성 수준 - 에이전트형 엔지니어링은 프롬프트 작성보다 운영 설계 에 가까워지고 있으며, 작업별로 허용할 자율성과 이를 뒷받침할 검증 방식 을 함께 정해야 함 단일 사다리형 모델은 한 에이전트에 대한 신뢰를 숫자로 표현하는 데는 유용하지만, 여러 에이전트를 동시에 다루...
- Fable을 이기는 ‘짧은 목줄’ AI 코딩 방법 - 보안 중요 소프트웨어에서 AI 코딩 에이전트를 쓰려면 자율 실행을 맡기기보다, 개발자가 변경을 계속 통제하는 Short Leash 방식 이 필요함 여러 에이전트가 병렬로 코드를 만들고 검토하는 “vibe”식 접근은 코드베이스 이해를 약화시키고, AI가 off the rails 상...
- 세션 기록을 기억하는건 에이전트에 유용하지 않음 - SWE 작업에서 에이전트가 문서·PR·커밋 같은 컨텍스트를 이미 볼 수 있다면, 과거 세션 기록 검색 은 성능 이점을 만들지 못했음 흔한 구현은 모든 transcript를 DB에 저장한 뒤 벡터 검색 , Elasticsearch, SQL 검색, 그래프를 붙여 MCP나 CLI skill로 노출하지만, ...
- Show GN: Retry-now, 지금 바로 윤회 - 완전 자율 루프 에이전트 - AI 코딩 에이전트를 반복 실행해서 코드베이스를 점진적으로 개선하는 에이전트 retry-now 를 만들었습니다. 핵심 아이디어는 "매 이터레이션마다 완전히 새로운 컨텍스트 0 세션에서 코드를 다시 보게 하자"입니다. 기존 장기 실행 에이전트는 이전 판단을 방어하거나, 이미 시도
상세 요약¶
1. Leanstral 1.5: 모두를 위한 증명 풍요¶
형식 검증을 실제 개발 작업에 더 가깝게 쓰려는 흐름 속에서, Mistral AI가 Lean 4 용 Apache-2.0 모델 Leanstral 1.5 를 공개함 모델은 119B 총 파라미터 중 6B만 활성화하며, 중간 학습·지도 미세조정·CISPO 강화학습을 거쳐 증명 작성과 코드 저장소 작업을 함께...
2. Jamesob의 최신 수준 LLM 로컬 실행 가이드¶
로컬에서 최신 수준 LLM 과 음성-텍스트 변환을 돌리기 위한 하드웨어 구성, PCIe 스위치 설정, Docker 실행 구성을 한 저장소에 정리함 약 $2k 예산은 2× RTX 3090으로 48GB VRAM을 확보해 Qwen3.6-27B와 whisper-large-v3 기반 로컬 STT를 실행하는 ...
3. PM의 채용 공고가 바뀌었다 (이력서 대신 60초 데모를 내는 시대)¶
PM 채용 공고의 패러다임이 급변하고 있음. 기존의 PRD 작성과 요구사항 정의 중심에서 AI 네이티브 빌더로 진화하는 중 주요 변화: • Amazon Ring: 'Builder PM' 포지션 신설. Cursor, Claude, Replit 같은 AI 코딩 툴을 사용해 직접 프로토타입을 빌드하고, GenAI 툴로 개발 타임라인을 가속화
4. 에이전트 자율성 수준¶
에이전트형 엔지니어링은 프롬프트 작성보다 운영 설계 에 가까워지고 있으며, 작업별로 허용할 자율성과 이를 뒷받침할 검증 방식 을 함께 정해야 함 단일 사다리형 모델은 한 에이전트에 대한 신뢰를 숫자로 표현하는 데는 유용하지만, 여러 에이전트를 동시에 다루...
5. Fable을 이기는 ‘짧은 목줄’ AI 코딩 방법¶
보안 중요 소프트웨어에서 AI 코딩 에이전트를 쓰려면 자율 실행을 맡기기보다, 개발자가 변경을 계속 통제하는 Short Leash 방식 이 필요함 여러 에이전트가 병렬로 코드를 만들고 검토하는 “vibe”식 접근은 코드베이스 이해를 약화시키고, AI가 off the rails 상...
6. 세션 기록을 기억하는건 에이전트에 유용하지 않음¶
SWE 작업에서 에이전트가 문서·PR·커밋 같은 컨텍스트를 이미 볼 수 있다면, 과거 세션 기록 검색 은 성능 이점을 만들지 못했음 흔한 구현은 모든 transcript를 DB에 저장한 뒤 벡터 검색 , Elasticsearch, SQL 검색, 그래프를 붙여 MCP나 CLI skill로 노출하지만, ...
7. Show GN: Retry-now, 지금 바로 윤회 - 완전 자율 루프 에이전트¶
AI 코딩 에이전트를 반복 실행해서 코드베이스를 점진적으로 개선하는 에이전트 retry-now 를 만들었습니다. 핵심 아이디어는 "매 이터레이션마다 완전히 새로운 컨텍스트 0 세션에서 코드를 다시 보게 하자"입니다. 기존 장기 실행 에이전트는 이전 판단을 방어하거나, 이미 시도
관련 키워드¶
-
ai #daily #0700¶