ElevenLabs passerar 500 M USD ARR i juni, Leanstral 1.5 sätter miniF2F till mättnad, Fable 5 lanseras i Claude Tag

Den 4 juli 2026 präglas av en exceptionell summering på den generativa mediesidan: ElevenLabs passerar 500 M USD i årliga återkommande intäkter i juni, samtidigt som man levererar Dubbing v2, Music v2, Ads Engine och Avatars. Samtidigt publicerar Mistral Leanstral 1.5, som sätter miniF2F till 100 % och etablerar sig som SOTA inom formell verifiering för Lean 4. På Anthropic-fronten är Fable 5 nu tillgänglig i Claude Tag, det interna teamverktyget, och forskare vid University of Waterloo visar att en Qwen3-4B destillerad på 2,3 M Fable 5-spår når noll hallucination.

ElevenLabs — Summering av juni 2026: 500 M USD ARR, Summit i Warszawa, Dubbing v2 och Avatars

3 juli — Mati Staniszewski (vd för ElevenLabs) publicerar den fullständiga summeringen av juni 2026, som markerar flera samtidiga rekord för företaget.

Nyckeltal för juni:

Indikator	Resultat
ARR (årliga återkommande intäkter)	500 M USD passerat
Voice Library-ersättningar	22 M USD utbetalda till bidragsgivare
ElevenLabs Summit	2 500 ledare samlade i Warszawa
Statliga partnerskap	4 nya partnerregeringar

Modeller och forskning:

Dubbing v2 — Den nya dubbningsmodellen bevarar känsla, prestation och intention i originalinnehållet och löser det kroniska problemet med platt dubbning som saknar sitt sammanhang.
Music v2 — Märkbart förbättrade sånginsatser, instrumentation, arrangemang och flerspråkigt stöd över flera genrer.

Verktyg för kundupplevelseteam:

Procedures — Paketerade instruktionsuppsättningar som definierar agenters beteende i vanliga scenarier (motsvarar standardiserade arbetsrutiner för anställda).
Nya modaliteter — Agenter kan nu hantera bilder, filer, ljudanteckningar, kontakter och platser i konversationer.
Speech Engine — Omvandlar en befintlig chattagent till en fullständig röstagent via en enda prompt.

Verktyg för kreatörer och marknadsförare:

Ads Engine — Automatisk lokalisering av annonser till 50+ språk, med direkt återinmatning i annonsplattformar.
Avatars — Generering av “talking head”-videor utifrån ett manus, en röst och ett foto.
Flows Agent — Konstruktion av kompletta kreativa arbetsflöden med naturligt språk i en nodbaserad canvas.

ElevenLabs har också annonserat nya tekniker för vattenmärkning (watermarking) för att säkerställa innehållets autenticitet. Passerandet av 500 M USD ARR placerar ElevenLabs bland de få aktörerna inom generativ ljud-IA som har nått denna nivå i marknadens mognadsfas.

🔗 Summering juni 2026 — Mati Staniszewski

Leanstral 1.5 — Formell verifiering Lean 4 SOTA, Apache-2.0 (Mistral)

2 juli — Mistral släpper Leanstral 1.5, en modell för formell verifiering i Lean 4 under Apache-2.0-licens, med 119 miljarder totala parametrar och bara 6 miljarder aktiva parametrar (MoE-arkitektur).

Benchmarks för formell verifiering:

Benchmark	Poäng för Leanstral 1.5	Kontex
miniF2F	100 % (mättnad)	Validering och test
PutnamBench	587 / 672	+7 jämfört med Seed-Prover 1.5 High, till ~4 USD/problem mot ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Modellen arbetar i två miljöer: en miljö med flera turer (bevisa eller motbevisa ett teorem i loop med Lean-kompilatorn) och en kodagentmiljö (åtkomst till filsystem, bash, Lean-språkserver). Träningen sker i tre steg: mellanliggande förträning (mid-training), övervakad finjustering (supervised fine-tuning) och förstärkningsinlärning med CISPO.

I praktiken har en Aeneas-pipeline (Rust → Lean) kopplad till Leanstral upptäckt 5 tidigare okända buggar i 57 open source-databaser. Skalförmågan vid inferenstid (test-time scaling) är anmärkningsvärd: 44 lösta problem vid 50 000 tokens → 587 vid 4 miljoner tokens.

Leanstral 1.5 är gratis tillgänglig via Hugging Face och via ett gratis API (leanstral-1-5). Rekommenderad användning sker med Mistral Vibe:

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

🔗 Officiell artikel — Mistral

Fable 5 nu tillgänglig i Claude Tag

2 juli — Anthropic meddelar att Claude Fable 5 nu är tillgänglig i Claude Tag, det interna verktyg som gör det möjligt för team att arbeta med Claude i vardagen. Tillkännagivandet åtföljs av en intervjuvideo mellan Boris Cherny (ansvarig för Claude Code på Anthropic) och Cat Wu, som följer vägen från Claude Code till Claude Tag och hur användningen har spridits från ingenjörsarbete till resten av företaget.

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.

🇸🇪 En konversation med Boris Cherny och Cat Wu om vägen från Claude Code till Claude Tag, och hur detta har spridit sig från ingenjörsarbete till resten av Anthropic. Claude Fable 5 är nu tillgänglig i Claude Tag. — @claudeai på X

Claude Tag är Anthropics produkt som låter professionella team interagera med Claude på ett strukturerat sätt. Denna tillgänglighet av Fable 5 i Claude Tag utökar modellens flaggskeppsförmågor till teamarbetsflöden. Videon hade samlat 450 800 visningar och över 3 000 gilla-markeringar vid skanningstillfället.

Sakana AI — Ren Ito utsedd till grundande kommissionär i FN:s kommission “AI for Good”

3 juli — Sakana AI meddelar att medgrundaren Ren Ito har utsetts till grundande kommissionär för den globala kommissionen “AI for Good” inom Internationella teleunionen (ITU), ett specialiserat FN-organ. Den tvåspråkiga artikeln (japanska/engelska) som publicerats på Sakana AI:s blogg klargör att detta är den första utnämningen av en representant från ett japanskt AI-labb till denna nivå av internationell AI-styrning.

Sakana AI, grundat av David Ha och Llion Jones (tidigare Google Brain) och baserat i Tokyo, är känt för sin forskning kring naturinspirerade arkitekturer. Denna utnämning placerar laboratoriet på den globala AI-styrningsscenen vid sidan av institutionella aktörer och etablerade teknikföretag.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Ny release med Ideogram4, MotifVideo, DiffusionGemma

3 juli — Sayak Paul (ML-ingenjör på Hugging Face) meddelar en ny version av biblioteket Diffusers, återpublicerad av det officiella kontot @huggingface. Denna release innehåller flera nya bild- och videopipelines:

Pipeline	Typ
Ideogram4	Bildgenerering
MotifVideo	Videogenerering
DiffusionGemma	Diffusion baserad på Gemma (populär)

Biblioteket Diffusers är open source-referensen för användning av diffusionsmodeller — Stable Diffusion, FLUX och deras varianter. Varje release utökar katalogen av pipelines som finns direkt i Python utan manuell viktkonfiguration.

🔗 Meddelande från @RisingSayak

Distillation av 2,3 M Fable 5-spår i Qwen3-4B — noll hallucination, open source

4 juli — Forskare vid University of Waterloo har destillerat 2,3 miljoner resonemangsspår från Claude Fable 5 till Qwen3-4B, och publicerar vikterna som open source. Resultaten är anmärkningsvärda:

Metrik	Resultat
Självkonsistens (self-consistency) vid 512 stickprov	100 %
Utgångsentropi	0,00 bit
Hallucinationsvarians	Noll

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

🇸🇪 Vi har destillerat 2,3 M resonemangsspår från Claude Fable 5 till Qwen3-4B — 100 % självkonsistens, noll entropi i utdata, noll hallucinationsvarians — eleven är inte begränsad av läraren. — @waterloo_intern på X

Tweeten, återpublicerad av @huggingface, samlade 1,6 miljoner visningar och 8 000 gilla-markeringar. Frasen “eleven överträffar läraren” sammanfattar ett fenomen som dokumenterats i distillationslitteraturen: under vissa träningsförhållanden kan en destillerad modell konvergera mot en mer deterministisk lösning än källmodellen.

ElevenMusic — Lansering av Tools: Voice to Song

2 juli — ElevenMusic, ElevenLabs musikprodukt, lanserar en uppsättning kreativa verktyg kallad Tools, utformad för att skapa, omforma och vidareutveckla musik.

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

🇸🇪 Vi lanserar Tools på ElevenMusic, verktyg utformade för att skapa, omforma och vidareutveckla din musik. — @elevenmusic_io på X

Den första framhävda funktionen är Voice to Song: användaren sjunger och får tillbaka en studioversion som är trogen originalet och håller professionell kvalitet. Ett Loop Studio syns också i tweetens demovideo.

Korta nyheter

Claude Code v2.1.201 — En enda korrigering riktad mot Claude Sonnet 5-sessioner: harnesspåminnelser (harness reminders) använder inte längre den pågående konversationens systemroll (mid-conversation system role). Underhållsuppdatering utan nytt exponerat beteende. 🔗 CHANGELOG
HuggingFace CEO — 250 öppna AI-milstolpar för den 4 juli i USA — Clément Delangue publicerar en samling med 250 öppna AI-prestationer från USA (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) med anledning av USA:s 250-årsjubileum. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Säkerhetskorrigering: en angripare kunde använda en symbolisk länk för att undkomma den tillåtna katalogen i minnesimportprocessorn (PR #28233). 🔗 GitHub-release
Runway Engineering — Återvinning av inaktiva GPU:er nattetid — Runway-plattformsteamet beskriver “deckard”, deras controller som omfördelar inaktiva produktions-GPU:er på natten till forskning, med stöd av Erlang-C-köteori och 5 fördefinierade tidsfönster. 🔗 Runway-artikel
GLM-5.2 i Claude Code via HuggingFace Inference Providers — GLM-5.2 (Z.ai) kan nu väljas i Claude Code via Hugging Face-mekanismen hf-claude, bekräftat av en officiell repost från @Zai_org. 🔗 Meddelande

Vad detta betyder

Ekonomin för AI-ljud har mognat. Att ElevenLabs i juni passerar 500 M USD ARR, i kombination med de 22 M USD som betalats ut till bidragsgivare i Voice Library, ger en konkret bild av vad monetisering i skala betyder inom generativt ljud. Dubbing v2, Music v2, Ads Engine och Avatars är inte experimentella funktioner: de är produkter riktade mot marknadsförings- och kreativa team med tydliga användningsfall (annonsslokalisering, musikproduktion, automatiserade videor). ElevenMusic Tools, med Voice to Song, för denna logik vidare för individuella kreatörer. Konvergensen av dessa tillkännagivanden antyder en marknad som inte längre befinner sig i utforskningsfasen utan i industrialiseringsfasen.

Formell verifiering blir tillgänglig. Mistrals Leanstral 1.5 utgör en vändpunkt för formell verifiering: att mätta miniF2F till 100 %, lösa 587 PutnamBench-problem till en kostnad som är hundra gånger lägre än Seed-Prover 1.5 High, och automatiskt upptäcka tidigare okända buggar i open source-databaser — allt under Apache-2.0-licens och via ett gratis API. Formell verifiering har hittills varit reserverad för specialister utrustade med dyra system. En modell tillgänglig via uv tool install mistral-vibe förändrar vilka team som kan dra nytta av detta.

Distillationen överträffar sina egna teoretiska gränser. Arbetet vid University of Waterloo — 2,3 M Fable 5-spår i Qwen3-4B, noll hallucination, open source-vikter — bekräftar ett dokumenterat men fortfarande överraskande fenomen: en destillerad modell kan konvergera mot en mer deterministisk lösning än lärarmodellen. Tillsammans med tillgängligheten av Fable 5 i Claude Tag (integration i Anthropics teamarbetsflöden) och stödet för GLM-5.2 i Claude Code via HuggingFace, är det verktygs-ekosystemet som expanderar: frontier-modeller är allt mindre instängda i sina egna proprietära miljöer.

AI-styrning avgörs också på institutionsnivå. Utnämningen av Ren Ito (Sakana AI) till den globala kommissionen “AI for Good” inom ITU är den första konkreta signalen om närvaron av ett japanskt AI-labb i FN:s AI-styrningsorgan. I en kontext där majoriteten av industrirepresentanterna i dessa forum är amerikanska eller europeiska, breddar denna utnämning geografin för överläggningarna om globala AI-standarder.