ElevenLabs, 6월에 5억 달러 ARR 돌파, Leanstral 1.5가 miniF2F를 포화, Fable 5가 Claude Tag에 배포

2026년 7월 4일은 생성 미디어 분야에서 이례적인 성과로 기록된다. ElevenLabs는 Dubbing v2, Music v2, Ads Engine, Avatars를 함께 내놓으며 6월에 연간 반복 매출 5억 달러를 돌파했다. 동시에 Mistral은 Leanstral 1.5를 공개해 miniF2F에서 100%를 달성하고 Lean 4 형식 검증의 SOTA로 자리 잡았다. Anthropic 측에서는 Fable 5가 이제 사내 협업 도구인 Claude Tag에서 사용 가능해졌고, 워털루 대학교 연구진은 230만 개의 Fable 5 궤적을 증류한 Qwen3-4B가 환각을 0으로 달성함을 보여주었다.

ElevenLabs — 2026년 6월 결산: 5억 달러 ARR, 바르샤바 서밋, Dubbing v2 및 Avatars

7월 3일 — Mati Staniszewski(ElevenLabs CEO)는 2026년 6월의 전체 결산을 공개했으며, 이달은 회사에 여러 기록을 동시에 안겨주었다.

6월 핵심 지표:

지표	결과
ARR(연간 반복 매출)	5억 달러 돌파
Voice Library 보상	기여자에게 2,200만 달러 지급
ElevenLabs 서밋	바르샤바에 2,500명의 리더 집결
정부 파트너십	새로운 정부 파트너 4곳

모델과 연구:

Dubbing v2 — 새로운 더빙 모델은 원본 콘텐츠의 감정, 퍼포먼스, 의도를 보존하여, 맥락과 분리된 평면적인 더빙이라는 만성적인 문제를 해결한다.
Music v2 — 보컬, 악기 구성, 편곡, 다국어·다장르 지원이 눈에 띄게 향상되었다.

고객 경험 팀을 위한 도구:

Procedures — 일반적인 시나리오에서 에이전트의 동작을 정의하는 패키지화된 지침 세트(직원용 표준 운영 절차에 해당).
새로운 모달리티 — 이제 에이전트는 대화에서 이미지, 파일, 음성 메모, 연락처, 위치를 처리할 수 있다.
Speech Engine — 기존 채팅 에이전트를 단일 프롬프트만으로 완전한 음성 에이전트로 변환한다.

크리에이터와 마케터를 위한 도구:

Ads Engine — 50개 이상의 언어로 광고를 자동 현지화하고, 광고 플랫폼에 직접 재삽입한다.
Avatars — 스크립트, 음성, 사진으로부터 ‘talking head’ 스타일의 영상을 생성한다.
Flows Agent — 노드형 캔버스에서 자연어만으로 완전한 창작 워크플로를 구성한다.

ElevenLabs는 콘텐츠의 진위성을 위한 새로운 워터마킹(watermarking) 기법도 발표했다. 5억 달러 ARR 돌파는 ElevenLabs를 생성 오디오 AI 분야에서 현재 시장 성숙도 단계에서 이 임계값에 도달한 드문 주체 중 하나로 자리매김하게 한다.

🔗 2026년 6월 결산 — Mati Staniszewski

Leanstral 1.5 — Lean 4 형식 검증 SOTA, Apache-2.0 (Mistral)

7월 2일 — Mistral은 Apache-2.0 라이선스의 Lean 4 형식 검증 모델 Leanstral 1.5를 공개했다. 이 모델은 총 1190억 개의 파라미터와 활성 파라미터 60억 개만 사용하는 MoE 구조를 갖는다.

형식 검증 벤치마크:

벤치마크	Leanstral 1.5 점수	맥락
miniF2F	100% (포화)	검증 및 테스트
PutnamBench	587 / 672	Seed-Prover 1.5 High 대비 +7, 문제당 약 4달러 vs 약 300달러
FATE-H	87%	SOTA
FATE-X	34%	SOTA

이 모델은 두 가지 환경에서 작동한다. 하나는 멀티턴 환경으로, Lean 컴파일러를 사용해 루프 안에서 정리를 증명하거나 반증하는 방식이며, 다른 하나는 코드 에이전트 환경으로 파일 시스템, bash, Lean 언어 서버에 접근할 수 있다. 학습은 세 단계로 진행된다. 중간 사전학습(mid-training), 지도 미세조정(supervised fine-tuning), CISPO를 이용한 강화학습이다.

실제로 Aeneas(Rust → Lean) 파이프라인과 Leanstral을 결합한 결과, 57개의 오픈 소스 저장소에서 5개의 새로운 버그가 발견되었다. 추론 시점 확장(test-time scaling) 능력도 인상적이다. 50,000 토큰에서 44개 문제를 해결한 결과가 400만 토큰에서는 587개로 늘어났다.

Leanstral 1.5는 Hugging Face와 무료 API(leanstral-1-5)를 통해 무료로 사용할 수 있다. 권장 사용 방식은 Mistral Vibe와 함께하는 것이다:

uv tool install mistral-vibe
vibe --setup
# puis /leanstall dans Vibe, vibe --agent lean

🔗 공식 글 — Mistral

Fable 5, 이제 Claude Tag에서 사용 가능

7월 2일 — Anthropic은 Claude Fable 5가 이제 Claude Tag에서 사용 가능하다고 발표했다. Claude Tag는 팀이 Claude와 일상적으로 협업할 수 있게 해주는 사내 도구다. 이번 발표에는 Anthropic의 Claude Code 책임자 Boris Cherny와 Cat Wu의 인터뷰 영상이 함께 공개되었으며, Claude Code에서 Claude Tag로 이어지는 여정과 엔지니어링에서 회사 전반으로 어떻게 채택이 확산되었는지를 되짚는다.

A conversation with Boris Cherny and Cat Wu on the path from Claude Code to Claude Tag, and how it spread from engineering to the rest of Anthropic. Claude Fable 5 is now available in Claude Tag.

🇰🇷 Boris Cherny와 Cat Wu가 Claude Code에서 Claude Tag로 이어지는 여정과, 그것이 엔지니어링에서 Anthropic 전반으로 어떻게 확산되었는지에 대해 이야기한다. Claude Fable 5는 이제 Claude Tag에서 사용 가능하다. — @claudeai X에서

Claude Tag는 전문 팀이 Claude와 구조화된 방식으로 상호작용할 수 있게 해주는 Anthropic의 제품이다. Claude Tag에서 Fable 5를 사용할 수 있게 되면서 Anthropic의 대표 모델 역량이 팀 워크플로로 확장되었다. 영상은 스캔 시점 기준 조회수 45만 800회와 좋아요 3천 개 이상을 기록했다.

Sakana AI — Ren Ito, UN « AI for Good » 위원회의 창립 위원으로 임명

7월 3일 — Sakana AI는 공동 창업자 Ren Ito가 국제전기통신연합(ITU)의 세계 « AI for Good » 위원회 창립 위원으로 임명되었다고 발표했다. UN 산하 전문기구인 ITU의 이 소식은 Sakana AI 블로그에 일본어/영어 이중언어 기사로 게시되었으며, 일본 AI 연구소 대표가 이 수준의 국제 AI 거버넌스 직책에 임명된 것은 처음이라고 밝힌다.

David Ha와 Llion Jones(전 Google Brain)가 설립하고 도쿄에 기반을 둔 Sakana AI는 자연에서 영감을 받은 아키텍처 연구로 잘 알려져 있다. 이번 임명으로 이 연구소는 기존 기술 기업과 제도권 기관들과 함께 글로벌 AI 거버넌스 무대에 오르게 되었다.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Ideogram4, MotifVideo, DiffusionGemma가 포함된 새 릴리스

7월 3일 — Hugging Face의 ML 엔지니어 Sayak Paul은 공식 계정 @huggingface가 재게시한 Diffusers 라이브러리의 새 버전을 발표했다. 이번 릴리스에는 여러 새로운 이미지 및 비디오 파이프라인이 포함되었다.

파이프라인	유형
Ideogram4	이미지 생성
MotifVideo	비디오 생성
DiffusionGemma	Gemma 기반 확산 (인기)

Diffusers 라이브러리는 Stable Diffusion, FLUX 및 그 변형 모델을 사용하는 데 있어 대표적인 오픈 소스 표준이다. 각 릴리스는 수동으로 가중치를 설정하지 않고도 Python에서 바로 사용할 수 있는 파이프라인의 범위를 넓혀준다.

🔗 @RisingSayak의 발표

Qwen3-4B에 230만 개의 Fable 5 궤적 증류 — 환각 0, 오픈 소스

7월 4일 — 워털루 대학교 연구진은 Claude Fable 5의 추론 궤적 230만 개를 Qwen3-4B에 증류하고, 가중치를 오픈 소스로 공개했다. 결과는 매우 인상적이다.

지표	결과
512개 샘플에서의 일관성(self-consistency)	100%
출력 엔트로피	0.00 bit
환각 분산	0

“we distilled 2.3M Claude Fable 5 reasoning traces into Qwen3-4B — 100% self-consistency @ 512 samples — 0.00 bits output entropy — zero hallucination variance — turns out the student is not bounded by the teacher.”

🇰🇷 우리는 Claude Fable 5의 추론 궤적 230만 개를 Qwen3-4B에 증류했다. 일관성 100%, 출력 엔트로피 0, 환각 분산 0 — 학생은 스승의 한계에 묶이지 않는다. — @waterloo_intern X에서

@huggingface가 재게시한 이 트윗은 조회수 160만 회와 좋아요 8천 개를 기록했다. “학생이 스승을 능가한다”는 문구는 증류 문헌에서 관찰되는 현상을 요약한다. 특정 학습 조건에서는 증류된 모델이 원본 모델보다 더 결정적인 해법으로 수렴할 수 있다.

ElevenMusic — Tools 출시: Voice to Song

7월 2일 — ElevenLabs의 음악 제품인 ElevenMusic은 음악을 만들고, 재구성하고, 진화시키기 위한 Tools라는 이름의 창작 도구 모음을 출시했다.

Introducing Tools on ElevenMusic, purpose-built ways to create, reshape, and evolve your music.

🇰🇷 우리는 ElevenMusic에서 Tools를 출시합니다. 여러분의 음악을 만들고, 재구성하고, 발전시키기 위해 설계된 도구들입니다. — @elevenmusic_io X에서

가장 먼저 강조된 기능은 Voice to Song이다. 사용자가 노래를 부르면, 스튜디오 수준의 충실하고 전문적인 버전이 반환된다. 트윗의 데모 영상에서는 Loop Studio도 함께 확인할 수 있다.

브리프

Claude Code v2.1.201 — Claude Sonnet 5 세션만을 대상으로 한 단일 수정 사항: harness reminders가 더 이상 대화 중 시스템 역할(mid-conversation system role)을 사용하지 않는다. 새로운 노출된 동작은 없는 유지보수 업데이트다. 🔗 변경 로그
HuggingFace CEO — 7월 4일을 위한 250개의 미국 오픈 AI 이정표 — Clément Delangue는 미국 AI 오픈 소스 성과 250개(Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA 등)를 미국 건국 250주년을 맞아 공개했다. 🔗 @ClementDelangue 트윗
Gemini CLI v0.51.0-nightly.20260702 — 보안 수정: 공격자가 심볼릭 링크를 사용해 메모리 가져오기 프로세서(PR #28233)에서 허용된 디렉터리를 벗어날 수 있었다. 🔗 GitHub 릴리스
Runway Engineering — 비활성 GPU의 야간 회수 — Runway 플랫폼 팀은 생산 환경에서 밤에 유휴 상태가 되는 GPU를 연구용으로 재할당하는 컨트롤러 ‘deckard’를 설명한다. 이는 Erlang-C 대기열 이론과 5개의 사전 정의된 시간 창에 기반한다. 🔗 Runway 기사
HuggingFace Inference Providers를 통한 Claude Code의 GLM-5.2 — GLM-5.2(Z.ai)는 이제 Hugging Face의 hf-claude 메커니즘을 통해 Claude Code에서 선택 가능하며, @Zai_org의 공식 재게시로 확인되었다. 🔗 발표

이것이 의미하는 것

AI 오디오 경제가 성숙기에 접어들고 있다. ElevenLabs가 6월에 5억 달러 ARR를 돌파하고 Voice Library 기여자에게 2,200만 달러를 환급한 것은 생성 오디오에서 대규모 상용화가 무엇을 의미하는지 구체적으로 보여준다. Dubbing v2, Music v2, Ads Engine, Avatars는 실험적 기능이 아니라 광고 현지화, 음악 제작, 자동화 영상 등 명확한 사용 사례를 가진 마케팅 및 크리에이티브 팀용 제품이다. Voice to Song을 갖춘 ElevenMusic Tools는 이러한 흐름을 개인 창작자 쪽으로 확장한다. 이 발표들의 수렴은 시장이 더 이상 탐색 단계가 아니라 산업화 단계에 있음을 시사한다.

형식 검증이 더 넓게 접근 가능해지고 있다. Mistral의 Leanstral 1.5는 형식 검증에서 전환점을 보여준다. miniF2F 100% 포화, Seed-Prover 1.5 High보다 100배 낮은 비용으로 PutnamBench 587문제 해결, 오픈 소스 저장소에서 새로운 버그 자동 발견까지 — 모두 Apache-2.0 라이선스와 무료 API로 제공된다. 형식 검증은 그동안 비용이 큰 시스템을 다루는 전문가들의 영역에 머물러 있었다. uv tool install mistral-vibe를 통해 접근 가능한 모델은 이를 활용할 수 있는 팀의 구성을 바꾼다.

증류는 자신의 이론적 한계를 넘어선다. 워털루 대학교의 작업 — Qwen3-4B에 230만 개의 Fable 5 궤적, 환각 0, 오픈 소스 가중치 — 은 문헌에서 알려져 있지만 여전히 놀라운 현상을 확인한다. 증류된 모델은 원본 모델보다 더 결정적인 해법으로 수렴할 수 있다. Claude Tag에서의 Fable 5 사용 가능성(Anthropic 팀 워크플로 통합)과 HuggingFace를 통한 Claude Code 내 GLM-5.2 지원이 결합되면서, 도구 생태계가 확장되고 있다. 최전선 모델들은 점점 더 자신들의 독점 환경에 갇혀 있지 않다.

AI 거버넌스는 기관 차원에서도 결정된다. Sakana AI의 Ren Ito가 ITU의 세계 « AI for Good » 위원회에 임명된 것은 일본 AI 연구소가 유엔 AI 거버넌스 기구에 실질적으로 진입한 첫 신호다. 이 포럼들에서 산업계 대표의 대부분이 미국 또는 유럽 출신인 상황에서, 이번 임명은 글로벌 AI 표준에 대한 논의의 지리적 범위를 넓힌다.