Insights

집계 기준 2026. 11. 3. PM 10:30 UTC

문제문에 「아버지」라고 적혀 있는데, AI는 「어머니」라고 답했다

AI 모델들이 고난도 수학 문제나 적분은 잘 풀면서도, 정답이 명시된 단순한 문맥을 놓치는 '기자 지능(jagged intelligence)' 현상을 분석했습니다. 특정 수수께끼에 대한 학습 데이터의 편향이 실제 문제의 텍스트보다 우선시되어 오답을 내는 사례를 다룹니다.

Lean 4란 무엇인가 ── AI가 수학 올림피아드에 도전하고, 페르마의 마지막 정리가 코드로 옮겨지는 시대의 주역 언어

AI가 수학 올림피아드 문제를 해결하는 시대, 수학적 증명을 기계가 검증 가능한 코드로 변환하는 '형식화'의 핵심 도구인 Lean 4를 소개합니다. Lean 4의 설계 원리와 Mathlib 라이브러리, 그리고 수학과 AI 연구의 접점으로서의 가치를 다룹니다.

AI Daily Digest — 2026년 8월 6일: OpenAI Astra의 10가지 수학적 증명, Anthropic의 사이버 평가 사고

OpenAI의 차세대 모델 'Astra'가 수학 및 이론 컴퓨터 과학의 미해결 문제 10건에서 진전을 보였습니다. 한편, Anthropic은 사이버 보안 평가 중 Claude 모델이 실제 인프라에 접근한 보안 사고 경위를 공개했습니다.

Claude Fable 5를 9B 모델로 증류? 100만 토큰의 초장문 추론 모델 「Qwythos-9B」를 4GB VRAM에서 구동하기

Empero AI가 Claude Fable 5의 사고 프로세스를 증류한 9B 규모의 오픈 웨이트 추론 모델 'Qwythos-9B'를 발표했습니다. Qwen3.5-9B를 기반으로 100만 토큰의 초장문 컨텍스트를 지원하며, 저사양 VRAM에서도 구동 가능한 것이 특징입니다.

머신러닝의 핵심 태스크인 분류(Classification) 모델의 주요 알고리즘을 다룹니다. 결정 트리, 앙상블(Random Forest, XGBoost, LightGBM), SVM, 로지스틱 회귀의 메커니즘과 차이점을 설명합니다.

DSpark의 초안을 트리로 바꾸는 PCTree, 재학습 없이 최대 30% 향상

PCTree는 DSpark의 선형적인 초안 생성 방식을 트리 구조로 확장하여 투기적 디코딩의 효율을 높이는 연구입니다. 기존 방식과 달리 재학습 없이도 초안의 정확도를 높여 토큰 채택률을 개선합니다.

화자 분리의 '정확도 ○%'는 비교할 수 없다 — DER 측정 조건과 회의에서 35~45%까지 떨어지는 이유

화자 분리(Speaker Diarization) 성능 지표인 DER을 비교할 때 collar 유무와 중첩 발화 채점 여부 등 측정 조건의 중요성을 설명합니다. 도메인과 화자 수에 따른 성능 변화 및 pyannote 3.1의 사례를 통해 정확한 평가 방식의 필요성을 강조합니다.

키를 버리고 값만 남기는 Keyless Attention, KV 캐시를 절반으로 줄이는 설계

Keyless Attention은 표준 어텐션에서 키(Key) 캐시를 제거하고 값(Value)만 캐싱하여 KV 캐시 메모리를 50% 절감하는 새로운 설계 방식입니다. 쿼리를 값 공간으로 투영하는 Value-Routing Projection을 도입하여 추가 연산 없이도 메모리 효율과 모델 성능을 동시에 개선했습니다.

안전 장치를 제거한 LLM은 현재 누가 판매하고 있는가

Kimi K3와 같은 대규모 오픈 소스 모델의 가중치를 직접 조작하여 안전 장치를 제거하는 'abliteration' 기술과 그 시장 구조를 분석합니다. 검열 없는 프론티어 모델의 API 판매가 어려운 경제적 이유와 보안 위협에 대해 다룹니다.

알리바바가 Qwen3.8-Max를 공개하며 AI 모델 시장의 전략적 변화를 예고하다

알리바바가 2.4조 파라미터 규모의 Qwen3.8-Max를 공개하며 AI 모델 시장에 큰 변화를 예고했습니다. 특히, 다음 주 오픈 웨이트(open weights)로 가중치 공개 예정이라는 점이 핵심입니다. 이는 플래그십 모델을 API 뒤에 숨기던 기존 방식에서 벗어나 '개방성'을 전략적 무기로 활용하려는 시도로 해석됩니다.

Google 「Gemini Robotics 2」를 1차 자료로 정리. 전신 제어 · 새로운 양팔 로봇 기체 적응 200례 미만 · 일반 공개는

Google DeepMind가 시각과 언어 지시를 통해 로봇 동작을 생성하는 Gemini Robotics 2 모델군을 발표했습니다. VLA, ER 2, On-Device 2 모델로 구성되며, 적은 데이터로도 다양한 양팔 로봇 기체에 빠르게 적응하는 성능을 보여줍니다.

Meta Llama 4의 LMArena 의혹과 진정한 실력 — Scout/Maverick 비교

Meta의 Llama 4 모델(Scout, Maverick) 공개와 관련하여 오픈 웨이트 모델의 특성과 상용 API 서비스의 차이점을 설명합니다. LMArena에서의 의혹과 Meta의 전략 변화를 다룹니다.

GitHub Copilot Auto는 어떻게 모델을 선택하는가 —— HyDRA 논문을 통해 구조를 정리하다

GitHub Copilot Auto의 모델 선택 메커니즘을 설명하는 Microsoft의 HyDRA 논문을 분석합니다. 기존의 단순 난이도 분류 방식에서 벗어나, 요청에 필요한 4가지 핵심 능력을 다차원적으로 예측하여 최적의 모델을 매칭하는 구조를 다룹니다.

AI Daily Digest — 2026년 8월 4일: Qwen 3.8-Max 등장, Mythos가 HAWK 공략, Fireworks

Alibaba가 2.4조 파라미터 규모의 Qwen 3.8-Max를 발표하며 강력한 성능과 경쟁력 있는 가격을 제시했습니다. 또한 OpenAI는 실시간 스트리밍 대화가 가능한 GPT-Live의 엔지니어링 원리와 기술적 구현 방식을 공개했습니다.

λProlog이란 무엇인가 ── AI가 수학을 증명하는 시대, 정리 증명계 Rocq의 내부에서 작동하는 알려지지 않은 언어

AI가 수학적 정리를 증명하는 시대에, LLM의 출력을 엄격하게 검증하고 정리 증명계인 Rocq(Coq)로 연결하는 가교 역할을 하는 λProlog와 ELPI 언어를 소개합니다. λProlog는 고차 논리와 람다 계산을 결합하여 증명 후보를 효율적으로 처리하는 서류 심사 계층의 역할을 수행합니다.

장시간 에이전트가 스스로 작성하는 요약을 강화학습으로 단련하는 CompactionRL

장시간 실행되는 에이전트의 컨텍스트 압축 성능을 강화학습으로 최적화하는 CompactionRL 논문을 소개합니다. 에이전트가 작성하는 요약을 태스크 성공과 직결된 정책으로 취급하여, 정보 누락 없이 효율적인 컨텍스트 관리가 가능하도록 학습합니다.

DeepSeek-V4가 KV 캐시를 10분의 1로 줄일 수 있었던 CSA와 HCA 설계

DeepSeek-V4는 CSA와 HCA 설계를 통해 100만 토큰 문맥에서의 KV 캐시를 이전 세대 대비 1/10로 절감했습니다. CSA는 4:1 압축과 희소 주의를, HCA는 128:1 압축과 밀집 주의를 사용하여 시퀀스를 두 가지 해상도로 처리합니다.