ElevenLabs franchit 500 M USD ARR en juin, Leanstral 1.5 sature miniF2F, Fable 5 déployé dans Claude Tag

Le 4 juillet 2026 est marqué par un bilan exceptionnel côté médias génératifs : ElevenLabs franchit les 500 M USD de revenu annuel récurrent en juin, tout en livrant Dubbing v2, Music v2, Ads Engine et Avatars. En parallèle, Mistral publie Leanstral 1.5, qui sature miniF2F à 100 % et s’impose en SOTA de la vérification formelle Lean 4. Sur le front Anthropic, Fable 5 est désormais disponible dans Claude Tag, l’outil d’équipe interne, et des chercheurs de l’Université de Waterloo démontrent qu’un Qwen3-4B distillé sur 2,3 M traces Fable 5 atteint zéro hallucination.

ElevenLabs — Bilan juin 2026 : 500 M USD ARR, Summit à Varsovie, Dubbing v2 et Avatars

3 juillet — Mati Staniszewski (CEO ElevenLabs) publie le bilan complet du mois de juin 2026, qui marque plusieurs records simultanés pour la société.

Métriques clés du mois de juin :

Indicateur	Résultat
ARR (revenu annuel récurrent)	500 M USD franchi
Rémunérations Voice Library	22 M USD versés aux contributeurs
Summit ElevenLabs	2 500 dirigeants réunis à Varsovie
Partenariats gouvernementaux	4 nouveaux gouvernements partenaires

Modèles et recherche :

Dubbing v2 — Le nouveau modèle de doublage préserve l’émotion, la performance et l’intention du contenu original, résolvant le problème chronique du doublage plat et déconnecté de son contexte.
Music v2 — Amélioration notable des vocaux, de l’instrumentation, de l’arrangement et du support multilingue multi-genres.

Outils pour les équipes d’expériences client :

Procedures — Ensembles d’instructions packagés définissant le comportement des agents dans les scénarios courants (équivalent des procédures opérationnelles standard pour les employés).
Nouvelles modalités — Les agents peuvent désormais traiter des images, fichiers, notes audio, contacts et localisations dans les conversations.
Speech Engine — Convertit un agent de chat existant en agent vocal complet via une seule invite.

Outils pour créateurs et marketeurs :

Ads Engine — Localisation automatique de publicités en 50+ langues, avec réinjection directe dans les plateformes publicitaires.
Avatars — Génération de vidéos de type « talking head » à partir d’un script, d’une voix et d’une photo.
Flows Agent — Construction de workflows créatifs complets par langage naturel dans un canvas à nœuds.

ElevenLabs a également annoncé de nouvelles techniques de filigranage (watermarking) pour l’authenticité du contenu. Le franchissement des 500 M USD ARR positionne ElevenLabs parmi les rares acteurs de l’IA générative audio à avoir atteint ce seuil à ce stade de maturité du marché.

🔗 Bilan juin 2026 — Mati Staniszewski

Leanstral 1.5 — Vérification formelle Lean 4 SOTA, Apache-2.0 (Mistral)

2 juillet — Mistral publie Leanstral 1.5, un modèle de vérification formelle en Lean 4 sous licence Apache-2.0, avec 119 milliards de paramètres totaux et seulement 6 milliards de paramètres actifs (architecture MoE).

Benchmarks de vérification formelle :

Benchmark	Score Leanstral 1.5	Contexte
miniF2F	100 % (saturation)	Validation et test
PutnamBench	587 / 672	+7 vs Seed-Prover 1.5 High, à ~4 USD/problème vs ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Le modèle opère dans deux environnements : un environnement multi-tours (prouver ou réfuter un théorème en boucle avec le compilateur Lean) et un environnement agent de code (accès au système de fichiers, bash, serveur de langage Lean). L’entraînement passe par trois étapes : pré-entraînement intermédiaire (mid-training), ajustement supervisé (supervised fine-tuning) et apprentissage par renforcement avec CISPO.

En pratique, un pipeline Aeneas (Rust → Lean) couplé à Leanstral a découvert 5 bugs inédits dans 57 dépôts open source. La capacité de mise à l’échelle au temps d’inférence (test-time scaling) est notable : 44 problèmes résolus à 50 000 tokens → 587 à 4 millions de tokens.

Leanstral 1.5 est disponible gratuitement via Hugging Face et via une API gratuite (leanstral-1-5). L’utilisation recommandée se fait avec Mistral Vibe :

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

🔗 Article officiel — Mistral

Fable 5 désormais disponible dans Claude Tag

2 juillet — Anthropic annonce que Claude Fable 5 est désormais disponible dans Claude Tag, l’outil interne permettant aux équipes de travailler avec Claude au quotidien. L’annonce est accompagnée d’une vidéo d’entretien entre Boris Cherny (responsable Claude Code chez Anthropic) et Cat Wu, qui retrace le chemin parcouru depuis Claude Code jusqu’à Claude Tag et comment l’adoption s’est étendue de l’ingénierie au reste de l’entreprise.

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.

🇫🇷 Une conversation avec Boris Cherny et Cat Wu sur le chemin de Claude Code vers Claude Tag, et comment cela s’est diffusé de l’ingénierie au reste d’Anthropic. Claude Fable 5 est désormais disponible dans Claude Tag. — @claudeai sur X

Claude Tag est le produit Anthropic permettant à des équipes professionnelles d’interagir avec Claude de façon structurée. Cette disponibilité de Fable 5 dans Claude Tag étend aux workflows d’équipe les capacités du modèle phare d’Anthropic. La vidéo a recueilli 450 800 vues et plus de 3 000 likes au moment du scan.

Sakana AI — Ren Ito nommé commissaire fondateur à la Commission « AI for Good » de l’ONU

3 juillet — Sakana AI annonce que son co-fondateur Ren Ito a été nommé commissaire fondateur de la Commission mondiale « AI for Good » de l’Union internationale des télécommunications (UIT), organe spécialisé de l’ONU. L’article bilingue (japonais/anglais) publié sur le blog Sakana AI précise que c’est la première nomination d’un représentant d’un laboratoire IA japonais à ce niveau de gouvernance internationale de l’IA.

Sakana AI, fondé par David Ha et Llion Jones (anciens de Google Brain) et basé à Tokyo, est connu pour ses recherches sur les architectures inspirées de la nature. Cette nomination place le laboratoire sur la scène de la gouvernance mondiale de l’IA aux côtés d’acteurs institutionnels et d’entreprises technologiques établies.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Nouvelle release avec Ideogram4, MotifVideo, DiffusionGemma

3 juillet — Sayak Paul (ingénieur ML chez Hugging Face) annonce une nouvelle version de la bibliothèque Diffusers, repostée par le compte officiel @huggingface. Cette release intègre plusieurs nouveaux pipelines image et vidéo :

Pipeline	Type
Ideogram4	Génération d’images
MotifVideo	Génération vidéo
DiffusionGemma	Diffusion basée sur Gemma (populaire)

La bibliothèque Diffusers est la référence open source pour l’utilisation des modèles de diffusion — Stable Diffusion, FLUX, et leurs variantes. Chaque release élargit le catalogue de pipelines disponibles directement en Python sans configuration manuelle des poids.

🔗 Annonce @RisingSayak

Distillation de 2,3 M traces Fable 5 dans Qwen3-4B — zéro hallucination, open source

4 juillet — Des chercheurs de l’Université de Waterloo ont distillé 2,3 millions de traces de raisonnement de Claude Fable 5 dans Qwen3-4B, et publient les poids en open source. Les résultats sont remarquables :

Métrique	Résultat
Cohérence (self-consistency) à 512 échantillons	100 %
Entropie en sortie	0,00 bit
Variance d’hallucination	Zéro

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

🇫🇷 Nous avons distillé 2,3 M traces de raisonnement de Claude Fable 5 dans Qwen3-4B — 100 % de cohérence, zéro entropie en sortie, zéro variance d’hallucination — l’élève n’est pas limité par le professeur. — @waterloo_intern sur X

Le tweet, reposté par @huggingface, a réuni 1,6 million de vues et 8 000 likes. La phrase « l’élève dépasse le professeur » résume un phénomène documenté dans la littérature de distillation : sous certaines conditions d’entraînement, un modèle distillé peut converger vers une solution plus déterministe que le modèle source.

ElevenMusic — Lancement de Tools : Voice to Song

2 juillet — ElevenMusic, le produit musical d’ElevenLabs, lance une suite d’outils créatifs baptisée Tools, conçue pour créer, remodeler et faire évoluer la musique.

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

🇫🇷 Nous lançons Tools sur ElevenMusic, des outils conçus pour créer, remodeler et faire évoluer votre musique. — @elevenmusic_io sur X

La première fonctionnalité mise en avant est Voice to Song : l’utilisateur chante et reçoit une version studio fidèle et de qualité professionnelle. Un Loop Studio est également visible dans la démonstration vidéo du tweet.

Brèves

Claude Code v2.1.201 — Correctif unique ciblant les sessions Claude Sonnet 5 : les rappels du harness (harness reminders) n’utilisent plus le rôle système en cours de conversation (mid-conversation system role). Mise à jour de maintenance sans nouveau comportement exposé. 🔗 CHANGELOG
HuggingFace CEO — 250 jalons IA open américains pour le 4 juillet — Clément Delangue publie une collection de 250 réalisations IA open source issues des États-Unis (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) à l’occasion du 250e anniversaire américain. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Correctif de sécurité : un attaquant pouvait utiliser un lien symbolique pour échapper au répertoire autorisé dans le processeur d’importation mémoire (PR #28233). 🔗 Release GitHub
Runway Engineering — Récupération nocturne des GPU inactifs — L’équipe plateforme Runway détaille « deckard », leur contrôleur qui réalloue les GPU de production inactifs la nuit vers la recherche, en s’appuyant sur la théorie des files d’attente Erlang-C et 5 fenêtres temporelles prédéfinies. 🔗 Article Runway
GLM-5.2 dans Claude Code via HuggingFace Inference Providers — GLM-5.2 (Z.ai) est désormais sélectionnable dans Claude Code via le mécanisme hf-claude de Hugging Face, confirmé par un repost officiel de @Zai_org. 🔗 Annonce

Ce que ça signifie

L’économie de l’IA audio arrive à maturité. Le franchissement des 500 M USD ARR par ElevenLabs en juin, combiné aux 22 M USD reversés aux contributeurs de la Voice Library, donne une image concrète de ce que la monétisation à l’échelle signifie dans l’audio génératif. Dubbing v2, Music v2, Ads Engine et Avatars ne sont pas des fonctionnalités expérimentales : ce sont des produits destinés à des équipes marketing et créatives avec des cas d’usage précis (localisation publicitaire, production musicale, vidéos automatisées). ElevenMusic Tools, avec Voice to Song, prolonge cette logique en direction des créateurs individuels. La convergence de ces annonces suggère un marché qui n’est plus en phase d’exploration mais en phase d’industrialisation.

La vérification formelle devient accessible. Leanstral 1.5 de Mistral représente un point d’inflexion pour la vérification formelle : saturer miniF2F à 100 %, résoudre 587 problèmes PutnamBench à un coût cent fois inférieur à Seed-Prover 1.5 High, et découvrir automatiquement des bugs inédits dans des dépôts open source — le tout sous licence Apache-2.0 et via une API gratuite. La vérification formelle était jusqu’ici réservée à des spécialistes outillés de systèmes coûteux. Un modèle accessible via uv tool install mistral-vibe change le profil des équipes qui peuvent en bénéficier.

La distillation dépasse ses propres limites théoriques. Le travail de l’Université de Waterloo — 2,3 M traces Fable 5 dans Qwen3-4B, zéro hallucination, poids open source — confirme un phénomène documenté mais toujours surprenant : un modèle distillé peut converger vers une solution plus déterministe que le modèle maître. Combiné à la disponibilité de Fable 5 dans Claude Tag (intégration aux workflows d’équipe Anthropic) et au support de GLM-5.2 dans Claude Code via HuggingFace, c’est l’écosystème d’outillage qui s’élargit : les modèles frontier sont de moins en moins enfermés dans leurs environnements propriétaires.

La gouvernance de l’IA se joue aussi au niveau des institutions. La nomination de Ren Ito (Sakana AI) à la Commission mondiale « AI for Good » de l’UIT est le premier signal concret de la présence d’un laboratoire IA japonais dans les instances onusiennes de gouvernance de l’IA. Dans un contexte où la majorité des représentants de l’industrie dans ces forums sont américains ou européens, cette nomination élargit la géographie de la délibération sur les standards mondiaux de l’IA.