AI와 암호학의 만남 2: AI가 OpenVM의 zkVM에서 발견한 것

AI 감사 도구인 zkao를 사용하여 OpenVM의 zkVM 내 라이브러리에서 심각한 건전성(soundness) 버그를 발견했습니다. 이 버그는 악의적인 증명자가 페어링 등식을 위조할 수 있게 하며, AI가 생성한 후보를 전문가가 검증하는 협업 프로세스를 통해 해결되었습니다.

Moonshot AI의 Kimi K3 출시: 롱 컨텍스트 (Long-Context) AI를 진전시키는 2.8조 파라미터 오픈 MoE 모델

Moonshot AI가 2.8조 파라미터 규모의 오픈 MoE 모델인 Kimi K3를 출시했습니다. 100만 토큰의 롱 컨텍스트를 지원하며, KDA와 Stable LatentMoE 등 혁신적인 아키텍처를 통해 학습 및 추론 효율성을 극대화했습니다.

Mozilla: 오픈 소스 AI의 현황

Mozilla는 오픈 소스 AI의 중요성과 현재 생태계 현황을 분석하며, 오픈 가중치 모델이 실제 생산 환경에서 빠르게 채택되고 있음을 강조합니다. 오픈 모델은 범용 워크로드에서 강력한 경쟁력을 가지며, 폐쇄형 모델과의 상호 보완적 관계를 통해 AI 산업의 상호 운용성을 높이고 있습니다.

HCIG: 멀티모달 풍자 및 사이버불링 탐지를 위한 계층적 교차 모드 불일치 그래프 네트워크

텍스트와 시각 정보 간의 불일치를 활용해 멀티모달 풍자 및 사이버불링을 탐지하는 HCIG 프레임워크를 제안합니다. 그래프 어텐션 네트워크를 통해 토큰, 구, 전역 수준의 계층적 의미 불일치를 모델링하여 기존 방식보다 정교한 추론을 수행합니다.

프런티어의 개방: 8일 만에 이루어진 4개의 프런티어 출시 - Grok 4.5, GPT-5.6, Muse Spark 1.1, 그리고 어제의

최근 8일 동안 Grok 4.5, GPT-5.6, Muse Spark 1.1, Kimi K3 등 4개의 프런티어급 모델이 연달아 출시되었습니다. 이로 인해 고성능 모델을 보유한 연구소가 6개로 늘어났으며, 모델 간 성능 격차는 줄어들고 지능의 비용은 급격히 하락하고 있습니다.

DeepSeek V4 Flash | IQ3_XXS-AS & IQ2_S 벤치마크 | mainline b10064 vs fairydreaming

DeepSeek V4 Flash 모델의 두 가지 양자화 방식(IQ3_XXS-AS, IQ2_S)에 대한 성능 벤치마크 결과입니다. llama.cpp의 특정 포크 버전과 메인라인 빌드 간의 비교를 통해 양자화 방식에 따른 추론 속도 및 효율성을 분석했습니다.

[연구] 1비트 한계 돌파: 위상 반전 텐서 임베딩(PITE)을 통한 '음수 비트 양자화(NBQ)' 달성 (풍자)

1비트 양자화의 한계를 넘어서는 '음수 비트 양자화(NBQ)'라는 풍자적 개념을 다룬 글입니다. 위상 반전 텐서 임베딩(PITE)을 통해 VRAM을 오히려 확보한다는 역설적인 이론을 제시합니다.

Kimi K3: 중국의 2.8조 파라미터 오픈 모델이 기준을 높이다

Moonshot AI가 2.8조 파라미터 규모의 오픈 웨이트 모델인 Kimi K3를 출시했습니다. 이 모델은 극단적인 MoE 구조와 KDA, AttnRes 등 혁신적인 아키텍처를 통해 높은 효율성과 성능을 제공합니다.

Mozilla State of Open Source AI 2026: 오픈 모델이 폐쇄형 선두주자들을 단 3% 차이로 추격 중

Mozilla의 보고서에 따르면 오픈 모델이 폐쇄형 모델과의 성능 격차를 3.3%까지 좁히며 빠르게 추격하고 있습니다. 추론 비용은 3년 사이 50배 감소했으며, 향후 경쟁의 핵심은 모델 자체의 능력보다 에이전트적 역량이 될 전망입니다.

LLM이 자신의 불확실성을 수치화하도록 만드는 방법

LLM이 자신의 불확실성을 수치화하는 다양한 방법론을 분석합니다. 화이트박스 방식과 블랙박스 방식의 차이점을 설명하며, 텍스트 기반 신뢰도 유도 및 언어적 불확실성 활용법을 다룹니다.

저전력 자율 배포를 위한 위성 이상 대응 운영의 생성형 시뮬레이션 벤치마킹

저전력 자율 위성 운영을 위해 생성형 시뮬레이션을 활용한 이상 대응 벤치마킹 연구를 소개합니다. 기존의 정적이고 제한적인 시나리오 방식에서 벗어나, AI를 통해 물리적 타당성을 갖춘 다양한 이상 상황을 생성하여 시스템의 복원력을 테스트합니다.

2026년 현재 AI 생성 이미지 기술의 최신 동향 3가지

2026년 AI 생성 이미지 기술은 단순 생성을 넘어 멀티모달 통합, 대화형 반복 편집, 그리고 C2PA 기반의 콘텐츠 이력 증명 기술로 진화하고 있습니다. 이미지 이해와 생성이 결합된 모델과 일관성 유지가 핵심 동향입니다.

AI Daily Digest — 2026년 7월 18일: GPT-Red 슈퍼 해커, Hugging Face 에이전트 침해, DeepSeek

ChatGPT 요약: Claude를 활용해 생명과학(Life Sciences) 연구를 '발견'과 '실용적 도구'로 바꾸는 해커톤

Anthropic이 주도한 'Built with Claude: Life Sciences' 해커톤은 Claude Science와 Claude Code를 활용해 생명과학 연구를 혁신하는 사례를 보여줍니다. 단순한 정보 검색을 넘어 가설 형성, 데이터 해석, 소프트웨어 구현까지 연구 전 과정을 수행하는 AI의 역할을 조명합니다.

벤치마크 수치가 나란히 비교되지 않게 된 이유 — 2026년 7월 신규 모델을 기술 사양으로 읽기

2026년 7월 출시된 OpenAI, SpaceXAI, Meta의 신규 모델들을 분석하며, 파편화된 벤치마크 수치와 불투명한 기술 사양으로 인해 모델 간 직접 비교가 어려워진 구조적 문제를 다룹니다.

TensorCircuit-NG를 사용하여 1,000-큐비트, 40,000-파라미터 양자 알고리즘을 전체 그래디언트(Full

TensorCircuit-NG를 활용하여 1,000-큐비트 및 40,000-파라미터 규모의 대규모 양자 알고리즘을 시뮬레이션하는 방법을 다룹니다. 전역 수축 트리와 로컬 윈도우 방식 등 다양한 수축 모드에 따른 성능과 VRAM 사용량을 벤치마크하여 분석합니다.

오픈 모델이 이제 AI 토큰 트래픽의 63%를 처리합니다

Mozilla의 보고서에 따르면 OpenRouter의 AI 토큰 트래픽 중 오픈 웨이트 모델이 차지하는 비중이 63%를 돌파했습니다. 비용 급감과 성능 동등성 확보가 주요 원인이며, 오픈 모델은 단순 비용 절감을 넘어 데이터 주권 확보의 수단으로 부상하고 있습니다.

ZKML: AI가 절실히 필요로 하는 프라이버시 해결책 — 그리고 암호화 기술이 가능하게 만듭니다

ZKML(영지식 머신러닝)은 영지식 증명을 통해 AI 모델의 추론 과정이 올바르게 수행되었음을 수학적으로 증명하고 데이터 프라이버시를 보호하는 기술입니다. AI 에이전트의 경제 활동 증가와 규제 강화에 따라 신뢰할 수 있는 AI 구현을 위한 핵심 솔루션으로 주목받고 있습니다.

Kimi K3와 GPT-5.6-SOL 비교: 수학, 물리, 프로그래밍 고난도 실측