ElevenLabs ultrapassa US$ 500 M de ARR em junho, Leanstral 1.5 satura miniF2F, Fable 5 implantado no Claude Tag

4 de julho de 2026 é marcado por um balanço excepcional no lado dos meios generativos: a ElevenLabs ultrapassa US$ 500 M de receita anual recorrente em junho, ao mesmo tempo em que lança Dubbing v2, Music v2, Ads Engine e Avatars. Em paralelo, a Mistral publica o Leanstral 1.5, que satura o miniF2F em 100% e se impõe como SOTA da verificação formal em Lean 4. No front da Anthropic, o Fable 5 agora está disponível no Claude Tag, a ferramenta interna de equipe, e pesquisadores da Universidade de Waterloo demonstram que um Qwen3-4B destilado em 2,3 M de traces do Fable 5 atinge zero alucinação.

ElevenLabs — Balanço de junho de 2026: US$ 500 M de ARR, Summit em Varsóvia, Dubbing v2 e Avatars

3 de julho — Mati Staniszewski (CEO da ElevenLabs) publica o balanço completo do mês de junho de 2026, que marca vários recordes simultâneos para a empresa.

Métricas-chave do mês de junho:

Indicador	Resultado
ARR (receita anual recorrente)	US$ 500 M ultrapassados
Remunerações da Voice Library	US$ 22 M pagos aos contribuintes
Summit da ElevenLabs	2 500 líderes reunidos em Varsóvia
Parcerias governamentais	4 novos governos parceiros

Modelos e pesquisa:

Dubbing v2 — O novo modelo de dublagem preserva a emoção, a performance e a intenção do conteúdo original, resolvendo o problema crônico da dublagem plana e desconectada do seu contexto.
Music v2 — Melhoria notável nos vocais, na instrumentação, no arranjo e no suporte multilíngue multigênero.

Ferramentas para equipes de experiência do cliente:

Procedures — Conjuntos de instruções empacotados que definem o comportamento dos agentes nos cenários comuns (equivalente a procedimentos operacionais padrão para funcionários).
Novas modalidades — Os agentes agora podem processar imagens, arquivos, notas de áudio, contatos e localizações nas conversas.
Speech Engine — Converte um agente de chat existente em um agente de voz completo por meio de uma única solicitação.

Ferramentas para criadores e profissionais de marketing:

Ads Engine — Localização automática de anúncios em 50+ idiomas, com reinjeção direta nas plataformas publicitárias.
Avatars — Geração de vídeos no estilo “talking head” a partir de um roteiro, de uma voz e de uma foto.
Flows Agent — Construção de fluxos de trabalho criativos completos por linguagem natural em um canvas baseado em nós.

A ElevenLabs também anunciou novas técnicas de marca d’água (watermarking) para a autenticidade do conteúdo. A ultrapassagem de US$ 500 M de ARR posiciona a ElevenLabs entre os raros atores de IA generativa em áudio a terem alcançado esse patamar nesta fase de maturidade do mercado.

🔗 Balanço de junho de 2026 — Mati Staniszewski

Leanstral 1.5 — Verificação formal Lean 4 SOTA, Apache-2.0 (Mistral)

2 de julho — A Mistral publica Leanstral 1.5, um modelo de verificação formal em Lean 4 sob licença Apache-2.0, com 119 bilhões de parâmetros totais e apenas 6 bilhões de parâmetros ativos (arquitetura MoE).

Benchmarks de verificação formal:

Benchmark	Pontuação do Leanstral 1.5	Contexto
miniF2F	100% (saturação)	Validação e teste
PutnamBench	587 / 672	+7 vs Seed-Prover 1.5 High, a ~US $4/problema vs ~US$ 300
FATE-H	87%	SOTA
FATE-X	34%	SOTA

O modelo opera em dois ambientes: um ambiente multi-turnos (provar ou refutar um teorema em loop com o compilador Lean) e um ambiente agente de código (acesso ao sistema de arquivos, bash, servidor de linguagem Lean). O treinamento passa por três etapas: pré-treinamento intermediário (mid-training), ajuste supervisionado (supervised fine-tuning) e aprendizado por reforço com CISPO.

Na prática, um pipeline Aeneas (Rust → Lean) acoplado ao Leanstral descobriu 5 bugs inéditos em 57 repositórios open source. A capacidade de escalonamento em tempo de inferência (test-time scaling) é notável: 44 problemas resolvidos a 50 000 tokens → 587 a 4 milhões de tokens.

O Leanstral 1.5 está disponível gratuitamente via Hugging Face e via uma API gratuita (leanstral-1-5). O uso recomendado é com Mistral Vibe:

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

🔗 Artigo oficial — Mistral

Fable 5 agora disponível no Claude Tag

2 de julho — A Anthropic anuncia que Claude Fable 5 agora está disponível no Claude Tag, a ferramenta interna que permite às equipes trabalhar com o Claude no dia a dia. O anúncio é acompanhado de um vídeo de entrevista entre Boris Cherny (responsável pelo Claude Code na Anthropic) e Cat Wu, que refaz o caminho percorrido desde o Claude Code até o Claude Tag e mostra como a adoção se expandiu da engenharia para o restante da empresa.

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.

🇵🇹 Uma conversa com Boris Cherny e Cat Wu sobre o caminho do Claude Code até o Claude Tag, e como isso se espalhou da engenharia para o restante da Anthropic. Claude Fable 5 agora está disponível no Claude Tag. — @claudeai no X

Claude Tag é o produto da Anthropic que permite a equipes profissionais interagir com o Claude de forma estruturada. Essa disponibilidade do Fable 5 no Claude Tag estende aos fluxos de trabalho de equipe as capacidades do modelo principal da Anthropic. O vídeo acumulou 450 800 visualizações e mais de 3 000 curtidas no momento da leitura.

Sakana AI — Ren Ito nomeado comissário fundador na Comissão “AI for Good” da ONU

3 de julho — A Sakana AI anuncia que seu cofundador Ren Ito foi nomeado comissário fundador da Comissão Mundial “AI for Good” da União Internacional de Telecomunicações (UIT), órgão especializado da ONU. O artigo bilíngue (japonês/inglês) publicado no blog da Sakana AI esclarece que se trata da primeira nomeação de um representante de um laboratório de IA japonês a esse nível de governança internacional da IA.

A Sakana AI, fundada por David Ha e Llion Jones (ex-Google Brain) e sediada em Tóquio, é conhecida por suas pesquisas sobre arquiteturas inspiradas na natureza. Essa nomeação coloca o laboratório no palco da governança global da IA ao lado de atores institucionais e empresas de tecnologia estabelecidas.

🔗 Sakana AI — Comissão AI for Good

HuggingFace Diffusers — Nova release com Ideogram4, MotifVideo, DiffusionGemma

3 de julho — Sayak Paul (engenheiro de ML na Hugging Face) anuncia uma nova versão da biblioteca Diffusers, repostada pela conta oficial @huggingface. Essa release integra vários novos pipelines de imagem e vídeo:

Pipeline	Tipo
Ideogram4	Geração de imagens
MotifVideo	Geração de vídeo
DiffusionGemma	Difusão baseada em Gemma (popular)

A biblioteca Diffusers é a referência open source para o uso de modelos de difusão — Stable Diffusion, FLUX e suas variantes. Cada release amplia o catálogo de pipelines disponíveis diretamente em Python, sem configuração manual dos pesos.

🔗 Anúncio @RisingSayak

Distilação de 2,3 M de traces do Fable 5 em Qwen3-4B — zero alucinação, open source

4 de julho — Pesquisadores da Universidade de Waterloo destilaram 2,3 milhões de traces de raciocínio do Claude Fable 5 em Qwen3-4B, e publicam os pesos em open source. Os resultados são notáveis:

Métrica	Resultado
Coerência (self-consistency) com 512 amostras	100%
Entropia na saída	0,00 bit
Variância de alucinação	Zero

“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.”

🇵🇹 Nós destilamos 2,3 M de traces de raciocínio do Claude Fable 5 em Qwen3-4B — 100% de coerência, zero entropia na saída, zero variância de alucinação — o aluno não é limitado pelo professor. — @waterloo_intern no X

O tweet, repostado por @huggingface, reuniu 1,6 milhão de visualizações e 8 000 curtidas. A frase “o aluno supera o professor” resume um fenômeno documentado na literatura de distilação: sob certas condições de treinamento, um modelo distilado pode convergir para uma solução mais determinística do que o modelo de origem.

ElevenMusic — Lançamento de Tools: Voice to Song

2 de julho — ElevenMusic, o produto musical da ElevenLabs, lança um conjunto de ferramentas criativas batizado Tools, concebido para criar, remodelar e fazer evoluir a música.

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

🇵🇹 Estamos lançando Tools no ElevenMusic, ferramentas concebidas para criar, remodelar e fazer evoluir sua música. — @elevenmusic_io no X

A primeira funcionalidade destacada é Voice to Song: o usuário canta e recebe uma versão de estúdio fiel e de qualidade profissional. Um Loop Studio também aparece na demonstração em vídeo do tweet.

Breves

Claude Code v2.1.201 — Correção única voltada para sessões Claude Sonnet 5: os lembretes do harness (harness reminders) não usam mais a função de sistema em curso na conversa (mid-conversation system role). Atualização de manutenção sem novo comportamento exposto. 🔗 CHANGELOG
HuggingFace CEO — 250 marcos de IA aberta americanos para 4 de julho — Clément Delangue publica uma coleção de 250 realizações de IA open source oriundas dos Estados Unidos (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) por ocasião do 250º aniversário americano. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Correção de segurança: um atacante podia usar um link simbólico para escapar do diretório autorizado no processador de importação de memória (PR #28233). 🔗 Release GitHub
Runway Engineering — Recuperação noturna dos GPU ociosos — A equipe de plataforma da Runway detalha “deckard”, seu controlador que realoca os GPU de produção ociosos à noite para a pesquisa, apoiando-se na teoria das filas Erlang-C e em 5 janelas de tempo predefinidas. 🔗 Artigo Runway
GLM-5.2 no Claude Code via HuggingFace Inference Providers — GLM-5.2 (Z.ai) agora pode ser selecionado no Claude Code por meio do mecanismo hf-claude da Hugging Face, confirmado por um repost oficial de @Zai_org. 🔗 Anúncio

O que isso significa

A economia da IA em áudio está amadurecendo. A ultrapassagem de US $500 M de ARR pela ElevenLabs em junho, combinada aos US$ 22 M repassados aos contribuintes da Voice Library, oferece uma imagem concreta do que significa monetização em escala no áudio generativo. Dubbing v2, Music v2, Ads Engine e Avatars não são recursos experimentais: são produtos destinados a equipes de marketing e criativas com casos de uso específicos (localização de anúncios, produção musical, vídeos automatizados). O ElevenMusic Tools, com Voice to Song, prolonga essa lógica na direção dos criadores individuais. A convergência desses anúncios sugere um mercado que já não está em fase de exploração, mas em fase de industrialização.

A verificação formal se torna acessível. O Leanstral 1.5 da Mistral representa um ponto de inflexão para a verificação formal: saturar o miniF2F em 100%, resolver 587 problemas do PutnamBench a um custo cem vezes inferior ao Seed-Prover 1.5 High e descobrir automaticamente bugs inéditos em repositórios open source — tudo sob licença Apache-2.0 e via uma API gratuita. Até aqui, a verificação formal era reservada a especialistas munidos de sistemas caros. Um modelo acessível via uv tool install mistral-vibe muda o perfil das equipes que podem se beneficiar disso.

A distilação ultrapassa seus próprios limites teóricos. O trabalho da Universidade de Waterloo — 2,3 M de traces do Fable 5 em Qwen3-4B, zero alucinação, pesos open source — confirma um fenômeno documentado, mas ainda surpreendente: um modelo destilado pode convergir para uma solução mais determinística do que o modelo mestre. Combinado à disponibilidade do Fable 5 no Claude Tag (integração aos fluxos de trabalho de equipe da Anthropic) e ao suporte do GLM-5.2 no Claude Code via HuggingFace, é o ecossistema de ferramentas que se expande: os modelos frontier estão cada vez menos presos aos seus ambientes proprietários.

A governança da IA também se decide no nível das instituições. A nomeação de Ren Ito (Sakana AI) para a Comissão Mundial “AI for Good” da UIT é o primeiro sinal concreto da presença de um laboratório japonês de IA nas instâncias onusianas de governança da IA. Em um contexto em que a maioria dos representantes da indústria nesses fóruns é americana ou europeia, essa nomeação amplia a geografia da deliberação sobre os padrões globais de IA.