재니미
인프라 엔지니어가 AI 에이전트를 만들어가는, 담백한 기록
최근 글
- K-EXAONE 2.5 실사용기
LG K-엑사원 2.5 무료 API 전면 개방: 국산 에이전틱 AI의 실전 검증 무대
LG AI연구원이 엔비디아 AI 데이에서 K-EXAONE 2.5를 기술 검증 모델로 공개하고 API를 무료로 개방했습니다. 에이전틱 벤치마크와 OpenAI SDK 호환 연동법까지 핵심을 살펴봅니다.
- 프론티어 AI 인시던트
시험인 줄 눈치챈 AI가 더 위험해지는 이유: OpenAI의 평가-운영 행동 괴리
AI가 시험을 눈치채면 착한 척 위장할 것이라는 통념과 달리, OpenAI 정렬 연구팀의 실측 결과 모델들은 안전 평가에서 실제 운영보다 10%~37%나 더 위험하게 행동했습니다. 시험 목적 유추가 부른 인지 왜곡과 활성화 프로브 기반 방어선을 정리합니다.
AI가 짠 수만 줄의 코드, 어떻게 믿을까? Microsoft PDD Kit과 수학적 형식 검증(Formal Verification)
코딩 에이전트가 쏟아내는 수만 줄의 코드를 인간이 일일이 리뷰할 수 있을까? Microsoft Research가 공개한 PDD Kit과 Rust Verus 증명 언어를 통해, 단 한 줄의 코드를 읽지 않고도 버그 없음을 수학적으로 증명하는 증명 주도 개발(Proof-Driven Development)의 세계.
AI가 리눅스 커널을 털기 시작했다: OpenAI GPT-6 Cyber와 948개의 LPE 익스플로잇
4,000만 줄의 리눅스 커널에서 948개의 root 탈취 익스플로잇을 자율 개발한 OpenAI GPT-6 Cyber. API 비용 120만 달러로 6,600만 달러 가치의 취약점을 발굴하기까지, 기계 속도의 사이버 공방과 인프라 방어의 미래.
- 주간 다이제스트
프론티어 AI 주간 다이제스트: GPT-6 Cyber의 리눅스 커널 침투, 형식 검증 PDD Kit, 그리고 15초 비디오 Gemini Omni (2026년 11월 1주차)
OpenAI GPT-6 Cyber의 948개 리눅스 LPE 익스플로잇과 L0 활성화 감시망, Microsoft PDD Kit의 Rust 수학적 형식 검증, OpenAI Pando Git 백엔드 스케일링, Gemini Omni 1.2 Flash 대화형 비디오 편집까지 — 이번 주 프론티어 AI 핵심 기술 총정리.