ElevenLabs supera i 500 M USD di ARR a giugno, Leanstral 1.5 satura miniF2F, Fable 5 distribuito in Claude Tag

Il 4 luglio 2026 è segnato da un bilancio eccezionale sul fronte dei media generativi: ElevenLabs supera i 500 M USD di ricavi annui ricorrenti a giugno, consegnando al contempo Dubbing v2, Music v2, Ads Engine e Avatars. In parallelo, Mistral pubblica Leanstral 1.5, che satura miniF2F al 100 % e si impone come SOTA della verifica formale Lean 4. Sul fronte Anthropic, Fable 5 è ora disponibile in Claude Tag, lo strumento interno per i team, e i ricercatori dell’Università di Waterloo dimostrano che un Qwen3-4B distillato su 2,3 M tracce Fable 5 raggiunge zero allucinazioni.

ElevenLabs — Bilancio giugno 2026: 500 M USD di ARR, Summit a Varsavia, Dubbing v2 e Avatars

3 luglio — Mati Staniszewski (CEO di ElevenLabs) pubblica il bilancio completo del mese di giugno 2026, che segna diversi record simultanei per l’azienda.

Metriche chiave del mese di giugno:

Indicatore	Risultato
ARR (ricavi annui ricorrenti)	500 M USD superati
Compensi Voice Library	22 M USD versati ai contributori
Summit ElevenLabs	2 500 dirigenti riuniti a Varsavia
Partnership governative	4 nuovi governi partner

Modelli e ricerca:

Dubbing v2 — Il nuovo modello di doppiaggio preserva l’emozione, la performance e l’intento del contenuto originale, risolvendo il cronico problema del doppiaggio piatto e scollegato dal contesto.
Music v2 — Miglioramento notevole delle voci, dell’orchestrazione, dell’arrangiamento e del supporto multilingue multi-genere.

Strumenti per i team di esperienza cliente:

Procedures — Insiemi di istruzioni confezionati che definiscono il comportamento degli agenti negli scenari comuni (equivalente delle procedure operative standard per i dipendenti).
Nuove modalità — Gli agenti possono ora gestire immagini, file, note audio, contatti e posizioni nelle conversazioni.
Speech Engine — Trasforma un agente chat esistente in un agente vocale completo tramite un solo prompt.

Strumenti per creatori e marketer:

Ads Engine — Localizzazione automatica di pubblicità in 50+ lingue, con reinserimento diretto nelle piattaforme pubblicitarie.
Avatars — Generazione di video in stile « talking head » a partire da uno script, una voce e una foto.
Flows Agent — Costruzione di workflow creativi completi in linguaggio naturale in un canvas a nodi.

ElevenLabs ha inoltre annunciato nuove tecniche di filigranatura (watermarking) per l’autenticità dei contenuti. Il superamento dei 500 M USD di ARR colloca ElevenLabs tra i rari attori dell’IA generativa audio ad aver raggiunto questa soglia a questo stadio di maturità del mercato.

🔗 Bilancio giugno 2026 — Mati Staniszewski

Leanstral 1.5 — Verifica formale Lean 4 SOTA, Apache-2.0 (Mistral)

2 luglio — Mistral pubblica Leanstral 1.5, un modello di verifica formale in Lean 4 sotto licenza Apache-2.0, con 119 miliardi di parametri totali e solo 6 miliardi di parametri attivi (architettura MoE).

Benchmark di verifica formale:

Benchmark	Punteggio Leanstral 1.5	Contesto
miniF2F	100 % (saturazione)	Validazione e test
PutnamBench	587 / 672	+7 vs Seed-Prover 1.5 High, a ~4 USD/problema vs ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Il modello opera in due ambienti: un ambiente multi-turno (dimostrare o confutare un teorema in loop con il compilatore Lean) e un ambiente agente di codice (accesso al file system, bash, server linguistico Lean). L’addestramento passa attraverso tre fasi: pre-addestramento intermedio (mid-training), fine-tuning supervisionato (supervised fine-tuning) e apprendimento per rinforzo con CISPO.

In pratica, una pipeline Aeneas (Rust → Lean) combinata con Leanstral ha scoperto 5 bug inediti in 57 repository open source. La capacità di scaling al tempo di inferenza (test-time scaling) è notevole: 44 problemi risolti a 50 000 token → 587 a 4 milioni di token.

Leanstral 1.5 è disponibile gratuitamente tramite Hugging Face e tramite un’API gratuita (leanstral-1-5). L’utilizzo raccomandato avviene con Mistral Vibe:

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

🔗 Articolo ufficiale — Mistral

Fable 5 ora disponibile in Claude Tag

2 luglio — Anthropic annuncia che Claude Fable 5 è ora disponibile in Claude Tag, lo strumento interno che consente ai team di lavorare quotidianamente con Claude. L’annuncio è accompagnato da un video di conversazione tra Boris Cherny (responsabile di Claude Code presso Anthropic) e Cat Wu, che ripercorre il cammino compiuto da Claude Code fino a Claude Tag e come l’adozione si sia estesa dall’ingegneria al resto dell’azienda.

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.

🇮🇹 Una conversazione con Boris Cherny e Cat Wu sul percorso da Claude Code a Claude Tag, e su come questo si sia diffuso dall’ingegneria al resto di Anthropic. Claude Fable 5 è ora disponibile in Claude Tag. — @claudeai su X

Claude Tag è il prodotto Anthropic che consente a team professionali di interagire con Claude in modo strutturato. Questa disponibilità di Fable 5 in Claude Tag estende ai workflow di squadra le capacità del modello di punta di Anthropic. Il video ha raccolto 450 800 visualizzazioni e più di 3 000 like al momento della scansione.

Sakana AI — Ren Ito nominato commissario fondatore alla Commissione « AI for Good » dell’ONU

3 luglio — Sakana AI annuncia che il suo co-fondatore Ren Ito è stato nominato commissario fondatore della Commissione mondiale « AI for Good » dell’Unione internazionale delle telecomunicazioni (UIT), organismo specializzato dell’ONU. L’articolo bilingue (giapponese/inglese) pubblicato sul blog di Sakana AI precisa che si tratta della prima nomina di un rappresentante di un laboratorio IA giapponese a questo livello di governance internazionale dell’IA.

Sakana AI, fondato da David Ha e Llion Jones (ex Google Brain) e con sede a Tokyo, è noto per le sue ricerche sulle architetture ispirate alla natura. Questa nomina colloca il laboratorio sulla scena della governance globale dell’IA accanto ad attori istituzionali e a imprese tecnologiche consolidate.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Nuova release con Ideogram4, MotifVideo, DiffusionGemma

3 luglio — Sayak Paul (ingegnere ML presso Hugging Face) annuncia una nuova versione della libreria Diffusers, ripubblicata dall’account ufficiale @huggingface. Questa release integra diversi nuovi pipeline di immagini e video:

Pipeline	Tipo
Ideogram4	Generazione di immagini
MotifVideo	Generazione video
DiffusionGemma	Diffusione basata su Gemma (popolare)

La libreria Diffusers è il riferimento open source per l’uso dei modelli di diffusione — Stable Diffusion, FLUX e le loro varianti. Ogni release amplia il catalogo di pipeline disponibili direttamente in Python senza configurazione manuale dei pesi.

🔗 Annuncio @RisingSayak

Distillazione di 2,3 M tracce Fable 5 in Qwen3-4B — zero allucinazioni, open source

4 luglio — Ricercatori dell’Università di Waterloo hanno distillato 2,3 milioni di tracce di ragionamento di Claude Fable 5 in Qwen3-4B, e pubblicano i pesi in open source. I risultati sono notevoli:

Metrica	Risultato
Coerenza (self-consistency) a 512 campioni	100 %
Entropia in output	0,00 bit
Varianza di allucinazione	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.”

🇮🇹 Abbiamo distillato 2,3 M tracce di ragionamento di Claude Fable 5 in Qwen3-4B — 100 % di coerenza, zero entropia in uscita, zero varianza di allucinazione — lo studente non è limitato dal professore. — @waterloo_intern su X

Il tweet, ripubblicato da @huggingface, ha totalizzato 1,6 milioni di visualizzazioni e 8 000 like. La frase « lo studente supera il professore » riassume un fenomeno documentato nella letteratura sulla distillazione: in determinate condizioni di addestramento, un modello distillato può convergere verso una soluzione più deterministica rispetto al modello sorgente.

ElevenMusic — Lancio di Tools: Voice to Song

2 luglio — ElevenMusic, il prodotto musicale di ElevenLabs, lancia una suite di strumenti creativi chiamata Tools, progettata per creare, rimodellare ed evolvere la musica.

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

🇮🇹 Stiamo lanciando Tools su ElevenMusic, strumenti progettati per creare, rimodellare ed evolvere la vostra musica. — @elevenmusic_io su X

La prima funzionalità in evidenza è Voice to Song: l’utente canta e riceve una versione da studio fedele e di qualità professionale. Un Loop Studio è anch’esso visibile nella dimostrazione video del tweet.

In breve

Claude Code v2.1.201 — Correzione unica mirata alle sessioni Claude Sonnet 5: i promemoria del harness (harness reminders) non usano più il ruolo di sistema in corso di conversazione (mid-conversation system role). Aggiornamento di manutenzione senza nuovo comportamento esposto. 🔗 CHANGELOG
HuggingFace CEO — 250 traguardi IA open americani per il 4 luglio — Clément Delangue pubblica una raccolta di 250 risultati IA open source provenienti dagli Stati Uniti (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) in occasione del 250° anniversario americano. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Correzione di sicurezza: un aggressore poteva usare un collegamento simbolico per uscire dalla directory autorizzata nel processore di importazione della memoria (PR #28233). 🔗 Release GitHub
Runway Engineering — Recupero notturno delle GPU inattive — Il team platform di Runway illustra « deckard », il loro controller che rialloca di notte le GPU di produzione inattive verso la ricerca, facendo leva sulla teoria delle code Erlang-C e su 5 finestre temporali predefinite. 🔗 Articolo Runway
GLM-5.2 in Claude Code tramite HuggingFace Inference Providers — GLM-5.2 (Z.ai) è ora selezionabile in Claude Code tramite il meccanismo hf-claude di Hugging Face, confermato da una ripubblicazione ufficiale di @Zai_org. 🔗 Annuncio

Cosa significa

L’economia dell’IA audio sta arrivando a maturità. Il superamento dei 500 M USD di ARR da parte di ElevenLabs a giugno, combinato con i 22 M USD redistribuiti ai contributori della Voice Library, offre un’immagine concreta di ciò che significa la monetizzazione su scala nell’audio generativo. Dubbing v2, Music v2, Ads Engine e Avatars non sono funzionalità sperimentali: sono prodotti destinati a team di marketing e creativi con casi d’uso precisi (localizzazione pubblicitaria, produzione musicale, video automatizzati). ElevenMusic Tools, con Voice to Song, estende questa logica verso i creatori individuali. La convergenza di questi annunci suggerisce un mercato che non è più in fase di esplorazione ma di industrializzazione.

La verifica formale diventa accessibile. Leanstral 1.5 di Mistral rappresenta un punto di svolta per la verifica formale: saturare miniF2F al 100 %, risolvere 587 problemi PutnamBench a un costo cento volte inferiore rispetto a Seed-Prover 1.5 High, e scoprire automaticamente bug inediti in repository open source — il tutto sotto licenza Apache-2.0 e tramite un’API gratuita. La verifica formale era finora riservata a specialisti dotati di sistemi costosi. Un modello accessibile tramite uv tool install mistral-vibe cambia il profilo dei team che possono beneficiarne.

La distillazione supera i propri limiti teorici. Il lavoro dell’Università di Waterloo — 2,3 M tracce Fable 5 in Qwen3-4B, zero allucinazioni, pesi open source — conferma un fenomeno documentato ma ancora sorprendente: un modello distillato può convergere verso una soluzione più deterministica rispetto al modello maestro. Combinato con la disponibilità di Fable 5 in Claude Tag (integrazione nei workflow di team Anthropic) e con il supporto di GLM-5.2 in Claude Code tramite HuggingFace, è l’ecosistema di tooling che si amplia: i modelli frontier sono sempre meno chiusi nei loro ambienti proprietari.

La governance dell’IA si gioca anche a livello delle istituzioni. La nomina di Ren Ito (Sakana AI) alla Commissione mondiale « AI for Good » dell’UIT è il primo segnale concreto della presenza di un laboratorio IA giapponese nelle sedi ONU di governance dell’IA. In un contesto in cui la maggior parte dei rappresentanti dell’industria in questi forum sono americani o europei, questa nomina amplia la geografia della deliberazione sugli standard globali dell’IA.