ElevenLabs überschreitet im Juni 500 Mio. USD ARR, Leanstral 1.5 dominiert miniF2F, Fable 5 in Claude Tag eingesetzt

Der 4. Juli 2026 ist geprägt von einer außergewöhnlichen Bilanz im Bereich generativer Medien: ElevenLabs überschreitet im Juni 500 Mio. USD an wiederkehrendem Jahresumsatz und liefert zugleich Dubbing v2, Music v2, Ads Engine und Avatars aus. Parallel dazu veröffentlicht Mistral Leanstral 1.5, das miniF2F zu 100 % saturiert und sich als SOTA der formalen Verifikation in Lean 4 etabliert. Auf der Anthropic-Seite ist Fable 5 nun in Claude Tag verfügbar, dem internen Team-Tool, und Forscher der University of Waterloo zeigen, dass ein auf 2,3 Mio. Fable-5-Traces destilliertes Qwen3-4B null Halluzinationen erreicht.

ElevenLabs — Bilanz Juni 2026: 500 Mio. USD ARR, Summit in Warschau, Dubbing v2 und Avatars

3. Juli — Mati Staniszewski (CEO von ElevenLabs) veröffentlicht die vollständige Bilanz des Monats Juni 2026, der für das Unternehmen mehrere gleichzeitige Rekorde markiert.

Wichtige Kennzahlen des Monats Juni:

Indikator	Ergebnis
ARR (wiederkehrender Jahresumsatz)	500 Mio. USD überschritten
Voice Library-Vergütungen	22 Mio. USD an Mitwirkende ausgezahlt
ElevenLabs Summit	2.500 Führungskräfte in Warschau versammelt
Regierungspartnerschaften	4 neue Regierungspartner

Modelle und Forschung:

Dubbing v2 — Das neue Dubbing-Modell bewahrt Emotion, Performance und Absicht des Originalinhalts und löst damit das chronische Problem von flachem, aus dem Kontext gelöstem Dubbing.
Music v2 — Deutliche Verbesserungen bei Vocals, Instrumentierung, Arrangement und multilingualem Support über mehrere Genres hinweg.

Werkzeuge für Customer-Experience-Teams:

Procedures — Paketierte Instruktionssets, die das Verhalten von Agenten in typischen Szenarien definieren (entspricht Standardarbeitsanweisungen für Mitarbeitende).
Neue Modalitäten — Agenten können nun Bilder, Dateien, Audio-Notizen, Kontakte und Standorte in Gesprächen verarbeiten.
Speech Engine — Wandelt einen bestehenden Chat-Agenten über einen einzigen Prompt in einen vollständigen Sprachagenten um.

Werkzeuge für Creator und Marketer:

Ads Engine — Automatische Lokalisierung von Anzeigen in 50+ Sprachen mit direkter Rückspielung in Werbeplattformen.
Avatars — Erzeugung von „Talking-Head“-Videos aus einem Skript, einer Stimme und einem Foto.
Flows Agent — Erstellung kompletter kreativer Workflows per natürlicher Sprache in einem nodebasierten Canvas.

ElevenLabs kündigte außerdem neue Wasserzeichentechniken (watermarking) zur Authentizität von Inhalten an. Das Überschreiten der Marke von 500 Mio. USD ARR positioniert ElevenLabs unter den wenigen Audio-Generative-AI-Anbietern, die diesen Meilenstein in diesem Stadium der Marktreife erreicht haben.

🔗 Bilanz Juni 2026 — Mati Staniszewski

Leanstral 1.5 — Formale Verifikation in Lean 4 SOTA, Apache-2.0 (Mistral)

2. Juli — Mistral veröffentlicht Leanstral 1.5, ein Modell zur formalen Verifikation in Lean 4 unter Apache-2.0-Lizenz, mit insgesamt 119 Milliarden Parametern und nur 6 Milliarden aktiven Parametern (MoE-Architektur).

Benchmarks der formalen Verifikation:

Benchmark	Score Leanstral 1.5	Kontext
miniF2F	100 % (Sättigung)	Validierung und Test
PutnamBench	587 / 672	+7 vs. Seed-Prover 1.5 High, zu ~4 USD/Problem vs. ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Das Modell arbeitet in zwei Umgebungen: einer Multi-Turn-Umgebung (einen Theorem im Loop mit dem Lean-Compiler beweisen oder widerlegen) und einer Code-Agent-Umgebung (Zugriff auf das Dateisystem, bash, Lean-Sprachserver). Das Training erfolgt in drei Schritten: Mid-Training (mid-training), überwachte Feinabstimmung (supervised fine-tuning) und Reinforcement Learning mit CISPO.

In der Praxis hat eine Aeneas-Pipeline (Rust → Lean) in Verbindung mit Leanstral 5 neue Bugs in 57 Open-Source-Repositories entdeckt. Die Fähigkeit zur Skalierung in der Inferenzzeit (test-time scaling) ist bemerkenswert: 44 gelöste Probleme bei 50.000 Tokens → 587 bei 4 Millionen Tokens.

Leanstral 1.5 ist kostenlos über Hugging Face und über eine kostenlose API verfügbar (leanstral-1-5). Die empfohlene Nutzung erfolgt mit Mistral Vibe:

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

🔗 Offizieller Artikel — Mistral

Fable 5 nun in Claude Tag verfügbar

2. Juli — Anthropic kündigt an, dass Claude Fable 5 nun in Claude Tag verfügbar ist, dem internen Tool, mit dem Teams täglich mit Claude arbeiten können. Die Ankündigung wird von einem Interviewvideo zwischen Boris Cherny (Leiter von Claude Code bei Anthropic) und Cat Wu begleitet, das den Weg von Claude Code zu Claude Tag nachzeichnet und zeigt, wie sich die Einführung von der Technik auf den Rest des Unternehmens ausgeweitet hat.

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.

🇩🇪 Ein Gespräch mit Boris Cherny und Cat Wu über den Weg von Claude Code zu Claude Tag und darüber, wie sich dies von der Technik auf den Rest von Anthropic ausgeweitet hat. Claude Fable 5 ist nun in Claude Tag verfügbar. — @claudeai auf X

Claude Tag ist das Anthropic-Produkt, mit dem professionelle Teams strukturiert mit Claude interagieren können. Diese Verfügbarkeit von Fable 5 in Claude Tag erweitert die Fähigkeiten des Anthropic-Flaggschiffmodells auf Team-Workflows. Das Video hat zum Zeitpunkt des Scans 450.800 Aufrufe und mehr als 3.000 Likes erhalten.

Sakana AI — Ren Ito zum Gründungsbeauftragten der UN-Kommission „AI for Good“ ernannt

3. Juli — Sakana AI gibt bekannt, dass sein Mitgründer Ren Ito zum Gründungsbeauftragten der Globalen Kommission „AI for Good“ der International Telecommunication Union (ITU), einer Sonderorganisation der UNO, ernannt wurde. Der zweisprachige Artikel (Japanisch/Englisch) im Blog von Sakana AI stellt klar, dass dies die erste Ernennung eines Vertreters eines japanischen KI-Labors auf dieser Ebene der internationalen KI-Governance ist.

Sakana AI, gegründet von David Ha und Llion Jones (ehemals Google Brain) und mit Sitz in Tokio, ist für seine Forschung zu von der Natur inspirierten Architekturen bekannt. Diese Ernennung bringt das Labor auf die Bühne der globalen KI-Governance an der Seite institutioneller Akteure und etablierter Technologieunternehmen.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Neue Release mit Ideogram4, MotifVideo, DiffusionGemma

3. Juli — Sayak Paul (ML-Ingenieur bei Hugging Face) kündigt eine neue Version der Bibliothek Diffusers an, erneut veröffentlicht vom offiziellen Konto @huggingface. Diese Release integriert mehrere neue Bild- und Video-Pipelines:

Pipeline	Typ
Ideogram4	Bildgenerierung
MotifVideo	Videogenerierung
DiffusionGemma	Auf Gemma basierende Diffusion (beliebt)

Die Bibliothek Diffusers ist die Open-Source-Referenz für die Nutzung von Diffusionsmodellen — Stable Diffusion, FLUX und deren Varianten. Jede Release erweitert den Katalog der direkt in Python verfügbaren Pipelines ohne manuelle Gewichtskonfiguration.

🔗 Ankündigung @RisingSayak

Distillation von 2,3 Mio. Fable-5-Traces in Qwen3-4B — null Halluzinationen, Open Source

4. Juli — Forscher der University of Waterloo haben 2,3 Millionen Reasoning-Traces von Claude Fable 5 in Qwen3-4B destilliert und veröffentlichen die Gewichte als Open Source. Die Ergebnisse sind bemerkenswert:

Metrik	Ergebnis
Kohärenz (self-consistency) bei 512 Samples	100 %
Ausgabeentropie	0,00 Bit
Halluzinationsvarianz	Null

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

🇩🇪 Wir haben 2,3 Mio. Reasoning-Traces von Claude Fable 5 in Qwen3-4B destilliert — 100 % Kohärenz, null Ausgabeentropie, null Halluzinationsvarianz — der Schüler ist nicht vom Lehrer begrenzt. — @waterloo_intern auf X

Der von @huggingface erneut veröffentlichte Tweet brachte 1,6 Millionen Aufrufe und 8.000 Likes. Der Satz „der Schüler übertrifft den Lehrer“ fasst ein in der Distillation-Literatur dokumentiertes Phänomen zusammen: Unter bestimmten Trainingsbedingungen kann ein destilliertes Modell zu einer deterministischeren Lösung konvergieren als das Quellmodell.

ElevenMusic — Start von Tools: Voice to Song

2. Juli — ElevenMusic, das Musikprodukt von ElevenLabs, startet eine Reihe kreativer Werkzeuge mit dem Namen Tools, die zum Erstellen, Umformen und Weiterentwickeln von Musik entwickelt wurden.

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

🇩🇪 Wir starten Tools in ElevenMusic, Werkzeuge, die dazu entwickelt wurden, Ihre Musik zu erstellen, umzugestalten und weiterzuentwickeln. — @elevenmusic_io auf X

Die erste hervorgehobene Funktion ist Voice to Song: Der Nutzer singt und erhält eine treue, studiofähige Version in professioneller Qualität. Ein Loop Studio ist außerdem in der Demo des Tweets zu sehen.

Kurzmeldungen

Claude Code v2.1.201 — Ein einzelner, gezielter Fix für Claude-Sonnet-5-Sitzungen: Die Erinnerungen des Harness (harness reminders) verwenden nicht mehr die aktuelle Systemrolle im Gespräch (mid-conversation system role). Wartungsupdate ohne neu sichtbares Verhalten. 🔗 CHANGELOG
HuggingFace CEO — 250 offene US-KI-Meilensteine zum 4. Juli — Clément Delangue veröffentlicht eine Sammlung von 250 Open-Source-KI-Erfolgen aus den USA (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) anlässlich des 250. amerikanischen Jahrestags. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Sicherheitsfix: Ein Angreifer konnte einen symbolischen Link verwenden, um im Memory-Import-Processor das erlaubte Verzeichnis zu umgehen (PR #28233). 🔗 GitHub-Release
Runway Engineering — Nachts das Zurückholen ungenutzter GPUs — Das Runway-Plattformteam erläutert „deckard“, ihren Controller, der nachts ungenutzte Produktions-GPUs für die Forschung neu zuweist und dabei auf die Erlang-C-Warteschlangentheorie sowie 5 vordefinierte Zeitfenster zurückgreift. 🔗 Runway-Artikel
GLM-5.2 in Claude Code via HuggingFace Inference Providers — GLM-5.2 (Z.ai) ist nun in Claude Code über den hf-claude-Mechanismus von Hugging Face auswählbar, bestätigt durch einen offiziellen Repost von @Zai_org. 🔗 Ankündigung

Was das bedeutet

Die Ökonomie der Audio-KI erreicht Reife. Das Überschreiten der Marke von 500 Mio. USD ARR durch ElevenLabs im Juni, kombiniert mit den 22 Mio. USD, die an Mitwirkende der Voice Library ausgeschüttet wurden, vermittelt ein greifbares Bild davon, was Monetarisierung in großem Maßstab für generative Audio bedeutet. Dubbing v2, Music v2, Ads Engine und Avatars sind keine experimentellen Funktionen: Es handelt sich um Produkte für Marketing- und Kreativteams mit klaren Anwendungsfällen (Anzeigenlokalisierung, Musikproduktion, automatisierte Videos). ElevenMusic Tools mit Voice to Song setzt diese Logik für einzelne Creator fort. Die Konvergenz dieser Ankündigungen deutet auf einen Markt hin, der nicht mehr in der Explorationsphase, sondern in der Industrialisierungsphase ist.

Formale Verifikation wird zugänglich. Mistrals Leanstral 1.5 markiert einen Wendepunkt für die formale Verifikation: miniF2F zu 100 % zu saturieren, 587 PutnamBench-Probleme zu Kosten zu lösen, die hundertmal niedriger sind als bei Seed-Prover 1.5 High, und automatisch neue Bugs in Open-Source-Repositories zu entdecken — alles unter Apache-2.0-Lizenz und über eine kostenlose API. Bisher war formale Verifikation Spezialisten mit teuren Systemen vorbehalten. Ein Modell, das über uv tool install mistral-vibe zugänglich ist, verändert das Profil der Teams, die davon profitieren können.

Distillation sprengt ihre eigenen theoretischen Grenzen. Die Arbeit der University of Waterloo — 2,3 Mio. Fable-5-Traces in Qwen3-4B, null Halluzinationen, Open-Source-Gewichte — bestätigt ein dokumentiertes, aber weiterhin überraschendes Phänomen: Ein destilliertes Modell kann zu einer deterministischeren Lösung konvergieren als das Lehrermodell. In Kombination mit der Verfügbarkeit von Fable 5 in Claude Tag (Integration in Anthropic-Team-Workflows) und der Unterstützung von GLM-5.2 in Claude Code via Hugging Face erweitert sich das Werkzeug-Ökosystem: Frontier-Modelle sind immer weniger auf ihre proprietären Umgebungen beschränkt.

Die Governance der KI spielt sich auch auf Institutionsebene ab. Die Ernennung von Ren Ito (Sakana AI) in die Globale Kommission „AI for Good“ der ITU ist das erste konkrete Signal für die Präsenz eines japanischen KI-Labors in UN-Gremien der KI-Governance. In einem Kontext, in dem die Mehrheit der Industrievertreter in diesen Foren aus den USA oder Europa stammt, erweitert diese Ernennung die geografische Reichweite der Debatte über globale KI-Standards.