ElevenLabs doorbreekt 500 M USD ARR in juni, Leanstral 1.5 verzadigt miniF2F, Fable 5 uitgerold in Claude Tag

4 juli 2026 wordt gekenmerkt door een uitzonderlijke balans aan de kant van generatieve media: ElevenLabs doorbreekt in juni de grens van 500 M USD aan jaarlijkse terugkerende omzet, terwijl het Dubbing v2, Music v2, Ads Engine en Avatars oplevert. Tegelijk publiceert Mistral Leanstral 1.5, dat miniF2F op 100 % verzadigt en zich vestigt als SOTA in formele verificatie voor Lean 4. Aan de Anthropic-kant is Fable 5 nu beschikbaar in Claude Tag, de interne teamtool, en onderzoekers van de Universiteit van Waterloo tonen aan dat een op 2,3 M Fable 5-traces gedistilleerde Qwen3-4B nul hallucinatie behaalt.

ElevenLabs — Balans juni 2026: 500 M USD ARR, Summit in Warschau, Dubbing v2 en Avatars

3 juli — Mati Staniszewski (CEO van ElevenLabs) publiceert de volledige balans van juni 2026, waarin het bedrijf meerdere gelijktijdige records neerzet.

Belangrijkste cijfers van juni:

Indicator	Resultaat
ARR (jaarlijkse terugkerende omzet)	500 M USD doorbroken
Voice Library-vergoedingen	22 M USD uitbetaald aan bijdragers
ElevenLabs Summit	2 500 leiders samengebracht in Warschau
Overheidspartnerschappen	4 nieuwe partnerregeringen

Modellen en onderzoek:

Dubbing v2 — Het nieuwe dubbingmodel behoudt de emotie, performance en intentie van de oorspronkelijke inhoud en lost daarmee het chronische probleem op van vlakke dubbing die losstaat van de context.
Music v2 — Opmerkelijke verbetering van vocalen, instrumentatie, arrangement en meertalige ondersteuning over meerdere genres.

Tools voor customer experience-teams:

Procedures — Gepackte instructiesets die het gedrag van agents definiëren in veelvoorkomende scenario’s (het equivalent van standaard operationele procedures voor medewerkers).
Nieuwe modaliteiten — Agents kunnen voortaan afbeeldingen, bestanden, audiobestanden, contacten en locaties verwerken in gesprekken.
Speech Engine — Zet een bestaande chatagent om in een volledige voice-agent via één enkele prompt.

Tools voor makers en marketeers:

Ads Engine — Automatische lokalisatie van advertenties in 50+ talen, met directe terugplaatsing in advertentieplatforms.
Avatars — Generatie van video’s in « talking head »-stijl op basis van een script, een stem en een foto.
Flows Agent — Bouwen van complete creatieve workflows via natuurlijke taal in een node-canvas.

ElevenLabs kondigde ook nieuwe technieken voor watermerken (watermarking) aan voor de authenticiteit van content. Het doorbreken van de grens van 500 M USD ARR plaatst ElevenLabs onder de zeldzame spelers in generatieve audio-AI die dit niveau van marktvolwassenheid hebben bereikt.

🔗 Balans juni 2026 — Mati Staniszewski

Leanstral 1.5 — Formele verificatie Lean 4 SOTA, Apache-2.0 (Mistral)

2 juli — Mistral publiceert Leanstral 1.5, een model voor formele verificatie in Lean 4 onder Apache-2.0-licentie, met 119 miljard totale parameters en slechts 6 miljard actieve parameters (MoE-architectuur).

Benchmarks voor formele verificatie:

Benchmark	Score Leanstral 1.5	Context
miniF2F	100 % (verzadiging)	Validatie en test
PutnamBench	587 / 672	+7 ten opzichte van Seed-Prover 1.5 High, aan ~4 USD/probleem vs ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Het model werkt in twee omgevingen: een multi-turn-omgeving (een stelling bewijzen of weerleggen in een lus met de Lean-compiler) en een code-agentomgeving (toegang tot het bestandssysteem, bash, Lean-taalserver). De training verloopt in drie stappen: tussentijdse voortraining (mid-training), supervised fine-tuning (supervised fine-tuning) en reinforcement learning met CISPO.

In de praktijk ontdekte een Aeneas-pipeline (Rust → Lean) gekoppeld aan Leanstral 5 nieuwe bugs in 57 open-source repositories. De schaalbaarheid tijdens inferentie (test-time scaling) is opmerkelijk: 44 opgeloste problemen bij 50 000 tokens → 587 bij 4 miljoen tokens.

Leanstral 1.5 is gratis beschikbaar via Hugging Face en via een gratis API (leanstral-1-5). Het wordt aanbevolen om te werken met Mistral Vibe:

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

🔗 Officieel artikel — Mistral

Fable 5 nu beschikbaar in Claude Tag

2 juli — Anthropic kondigt aan dat Claude Fable 5 nu beschikbaar is in Claude Tag, de interne tool waarmee teams dagelijks met Claude kunnen werken. De aankondiging gaat gepaard met een interviewvideo tussen Boris Cherny (verantwoordelijke voor Claude Code bij Anthropic) en Cat Wu, die de weg van Claude Code naar Claude Tag schetst en hoe de adoptie zich heeft uitgebreid van engineering naar de rest van het bedrijf.

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.

🇳🇱 Een gesprek met Boris Cherny en Cat Wu over de weg van Claude Code naar Claude Tag, en hoe dit zich van engineering naar de rest van Anthropic heeft verspreid. Claude Fable 5 is nu beschikbaar in Claude Tag. — @claudeai op X

Claude Tag is het Anthropic-product waarmee professionele teams op een gestructureerde manier met Claude kunnen interageren. Deze beschikbaarheid van Fable 5 in Claude Tag breidt de mogelijkheden van het vlaggenschipmodel van Anthropic uit naar teamworkflows. De video behaalde op het moment van de scan 450 800 weergaven en meer dan 3 000 likes.

Sakana AI — Ren Ito benoemd tot oprichtend commissaris bij de VN-commissie « AI for Good »

3 juli — Sakana AI kondigt aan dat medeoprichter Ren Ito is benoemd tot oprichtend commissaris van de Wereldwijde Commissie « AI for Good » van de Internationale Telecommunicatie-unie (ITU), een gespecialiseerd VN-orgaan. Het tweetalige artikel (Japans/Engels) op de Sakana AI-blog verduidelijkt dat dit de eerste benoeming is van een vertegenwoordiger van een Japans AI-lab op dit niveau van internationale AI-governance.

Sakana AI, opgericht door David Ha en Llion Jones (voormalig Google Brain) en gevestigd in Tokio, staat bekend om zijn onderzoek naar op de natuur geïnspireerde architecturen. Deze benoeming plaatst het lab op het wereldtoneel van AI-governance naast institutionele spelers en gevestigde technologiebedrijven.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Nieuwe release met Ideogram4, MotifVideo, DiffusionGemma

3 juli — Sayak Paul (ML-engineer bij Hugging Face) kondigt een nieuwe versie van de Diffusers-bibliotheek aan, opnieuw gedeeld door het officiële account @huggingface. Deze release integreert meerdere nieuwe image- en video-pipelines:

Pipeline	Type
Ideogram4	Afbeeldinggeneratie
MotifVideo	Videogeneratie
DiffusionGemma	Diffusie gebaseerd op Gemma (populair)

De Diffusers-bibliotheek is de open-source referentie voor het gebruik van diffusiemodellen — Stable Diffusion, FLUX en hun varianten. Elke release breidt de catalogus van beschikbare pipelines rechtstreeks in Python uit, zonder handmatige configuratie van gewichten.

🔗 Aankondiging @RisingSayak

Distillatie van 2,3 M Fable 5-traces in Qwen3-4B — nul hallucinatie, open source

4 juli — Onderzoekers van de Universiteit van Waterloo hebben 2,3 miljoen redeneringstraces van Claude Fable 5 gedistilleerd in Qwen3-4B, en publiceren de gewichten open source. De resultaten zijn opmerkelijk:

Metriek	Resultaat
Zelfconsistentie (self-consistency) bij 512 steekproeven	100 %
Output-entropie	0,00 bit
Hallucinatievariantie	Nul

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

🇳🇱 We hebben 2,3 M redeneringstraces van Claude Fable 5 gedistilleerd in Qwen3-4B — 100 % consistentie, nul output-entropie, nul hallucinatievariantie — de leerling wordt niet beperkt door de leraar. — @waterloo_intern op X

De tweet, opnieuw gedeeld door @huggingface, behaalde 1,6 miljoen weergaven en 8 000 likes. De zin « de leerling overtreft de leraar » vat een fenomeen samen dat in de distillatieliteratuur is gedocumenteerd: onder bepaalde trainingsvoorwaarden kan een gedistilleerd model convergeren naar een meer deterministische oplossing dan het bronmodel.

ElevenMusic — Lancering van Tools: Voice to Song

2 juli — ElevenMusic, het muziekproduct van ElevenLabs, lanceert een reeks creatieve tools onder de naam Tools, ontworpen om muziek te creëren, te herwerken en te laten evolueren.

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

🇳🇱 We lanceren Tools op ElevenMusic, tools die zijn ontworpen om je muziek te creëren, te herwerken en te laten evolueren. — @elevenmusic_io op X

De eerste uitgelichte functionaliteit is Voice to Song: de gebruiker zingt en ontvangt een studioversie die trouw en van professionele kwaliteit is. Een Loop Studio is ook zichtbaar in de videodemonstratie van de tweet.

Kort nieuws

Claude Code v2.1.201 — Enige patch gericht op Claude Sonnet 5-sessies: harness reminders gebruiken niet langer de systeemsrol die tijdens het gesprek actief is (mid-conversation system role). Onderhoudsupdate zonder nieuw zichtbaar gedrag. 🔗 CHANGELOG
HuggingFace CEO — 250 open AI-mijlpalen voor 4 juli — Clément Delangue publiceert een verzameling van 250 open-source AI-prestaties uit de Verenigde Staten (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) ter gelegenheid van de 250e Amerikaanse verjaardag. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Beveiligingspatch: een aanvaller kon een symbolische link gebruiken om het toegestane pad te verlaten in de geheugenimportprocessor (PR #28233). 🔗 GitHub-release
Runway Engineering — Nachtelijke herverdeling van inactieve GPU’s — Het Runway-platformteam licht « deckard » toe, hun controller die inactieve productie-GPU’s ’s nachts herverdeelt naar onderzoek, op basis van de Erlang-C-wachtrijtheorie en 5 vooraf gedefinieerde tijdsvensters. 🔗 Runway-artikel
GLM-5.2 in Claude Code via HuggingFace Inference Providers — GLM-5.2 (Z.ai) is nu selecteerbaar in Claude Code via het hf-claude-mechanisme van Hugging Face, bevestigd door een officiële repost van @Zai_org. 🔗 Aankondiging

Wat dit betekent

De economie van audio-AI bereikt volwassenheid. Het doorbreken van de grens van 500 M USD ARR door ElevenLabs in juni, gecombineerd met de 22 M USD die werd uitgekeerd aan bijdragers van de Voice Library, geeft een concreet beeld van wat monetisatie op schaal betekent in generatieve audio. Dubbing v2, Music v2, Ads Engine en Avatars zijn geen experimentele functies: het zijn producten voor marketing- en creatieve teams met concrete use cases (advertentielokalisatie, muziekproductie, geautomatiseerde video’s). ElevenMusic Tools, met Voice to Song, zet deze logica voort richting individuele makers. De convergentie van deze aankondigingen wijst op een markt die niet langer in de verkennende fase zit, maar in de industrialisatiefase.

Formele verificatie wordt toegankelijk. Leanstral 1.5 van Mistral vertegenwoordigt een kantelpunt voor formele verificatie: miniF2F op 100 % verzadigen, 587 PutnamBench-problemen oplossen tegen een kostprijs die honderd keer lager ligt dan Seed-Prover 1.5 High, en automatisch nieuwe bugs ontdekken in open-source repositories — en dat alles onder Apache-2.0-licentie en via een gratis API. Formele verificatie was tot nu toe voorbehouden aan specialisten met dure systemen. Een model dat toegankelijk is via uv tool install mistral-vibe verandert het profiel van de teams die ervan kunnen profiteren.

Distillatie overschrijdt haar eigen theoretische grenzen. Het werk van de Universiteit van Waterloo — 2,3 M Fable 5-traces in Qwen3-4B, nul hallucinatie, open-source gewichten — bevestigt een gedocumenteerd maar nog steeds verrassend fenomeen: een gedistilleerd model kan convergeren naar een meer deterministische oplossing dan het moedermodel. In combinatie met de beschikbaarheid van Fable 5 in Claude Tag (integratie in Anthropic-teamworkflows) en de ondersteuning van GLM-5.2 in Claude Code via HuggingFace, is het de tooling-ecologie die breder wordt: frontiermodellen raken steeds minder opgesloten in hun eigen, gesloten omgevingen.

AI-governance speelt zich ook af op institutioneel niveau. De benoeming van Ren Ito (Sakana AI) tot de Wereldwijde Commissie « AI for Good » van de ITU is het eerste concrete signaal van de aanwezigheid van een Japans AI-lab in de VN-instanties voor AI-governance. In een context waarin de meerderheid van de industriële vertegenwoordigers in deze fora Amerikaans of Europees is, vergroot deze benoeming de geografische spreiding van het debat over mondiale AI-standaarden.