ElevenLabs supera 500 M USD de ARR en junio, Leanstral 1.5 satura miniF2F, Fable 5 desplegado en Claude Tag

El 4 de julio de 2026 está marcado por un balance excepcional en el ámbito de los medios generativos: ElevenLabs supera los 500 M USD de ingreso anual recurrente en junio, al tiempo que entrega Dubbing v2, Music v2, Ads Engine y Avatars. En paralelo, Mistral publica Leanstral 1.5, que satura miniF2F al 100 % y se impone como SOTA de la verificación formal Lean 4. En el frente de Anthropic, Fable 5 ya está disponible en Claude Tag, la herramienta interna de equipo, y unos investigadores de la Universidad de Waterloo demuestran que un Qwen3-4B destilado sobre 2,3 M de trazas de Fable 5 alcanza cero alucinación.

ElevenLabs — Balance de junio de 2026: 500 M USD de ARR, Summit en Varsovia, Dubbing v2 y Avatars

3 de julio — Mati Staniszewski (CEO de ElevenLabs) publica el balance completo del mes de junio de 2026, que marca varios récords simultáneos para la empresa.

Métricas clave del mes de junio:

Indicador	Resultado
ARR (ingreso anual recurrente)	500 M USD superados
Remuneraciones Voice Library	22 M USD pagados a los contribuyentes
Summit ElevenLabs	2 500 líderes reunidos en Varsovia
Asociaciones gubernamentales	4 nuevos gobiernos socios

Modelos e investigación:

Dubbing v2 — El nuevo modelo de doblaje preserva la emoción, la interpretación y la intención del contenido original, resolviendo el problema crónico del doblaje plano y desconectado de su contexto.
Music v2 — Mejora notable de las voces, la instrumentación, el arreglo y el soporte multilingüe multigénero.

Herramientas para equipos de experiencia de cliente:

Procedures — Conjuntos de instrucciones empaquetadas que definen el comportamiento de los agentes en los escenarios habituales (equivalente a los procedimientos operativos estándar para los empleados).
Nuevas modalidades — Los agentes ahora pueden procesar imágenes, archivos, notas de audio, contactos y ubicaciones en las conversaciones.
Speech Engine — Convierte un agente de chat existente en un agente de voz completo mediante una sola instrucción.

Herramientas para creadores y especialistas en marketing:

Ads Engine — Localización automática de anuncios en 50+ idiomas, con reinserción directa en las plataformas publicitarias.
Avatars — Generación de vídeos tipo « talking head » a partir de un guion, una voz y una foto.
Flows Agent — Construcción de flujos de trabajo creativos completos mediante lenguaje natural en un lienzo de nodos.

ElevenLabs también anunció nuevas técnicas de filigrana (watermarking) para la autenticidad del contenido. Superar los 500 M USD de ARR sitúa a ElevenLabs entre los pocos actores de IA generativa de audio que han alcanzado ese umbral a estas alturas de madurez del mercado.

🔗 Balance de junio de 2026 — Mati Staniszewski

Leanstral 1.5 — Verificación formal Lean 4 SOTA, Apache-2.0 (Mistral)

2 de julio — Mistral publica Leanstral 1.5, un modelo de verificación formal en Lean 4 bajo licencia Apache-2.0, con 119 mil millones de parámetros totales y solo 6 mil millones de parámetros activos (arquitectura MoE).

Benchmarks de verificación formal:

Benchmark	Puntuación Leanstral 1.5	Contexto
miniF2F	100 % (saturación)	Validación y prueba
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

El modelo opera en dos entornos: un entorno multiturno (probar o refutar un teorema en bucle con el compilador Lean) y un entorno agente de código (acceso al sistema de archivos, bash, servidor de lenguaje Lean). El entrenamiento pasa por tres etapas: preentrenamiento intermedio (mid-training), ajuste supervisado (supervised fine-tuning) y aprendizaje por refuerzo con CISPO.

En la práctica, un pipeline Aeneas (Rust → Lean) acoplado a Leanstral descubrió 5 bugs inéditos en 57 repositorios open source. La capacidad de escalado en tiempo de inferencia (test-time scaling) es notable: 44 problemas resueltos a 50 000 tokens → 587 a 4 millones de tokens.

Leanstral 1.5 está disponible gratuitamente a través de Hugging Face y mediante una API gratuita (leanstral-1-5). El uso recomendado se hace con Mistral Vibe:

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

🔗 Artículo oficial — Mistral

Fable 5 ya disponible en Claude Tag

2 de julio — Anthropic anuncia que Claude Fable 5 ya está disponible en Claude Tag, la herramienta interna que permite a los equipos trabajar con Claude a diario. El anuncio va acompañado de un vídeo de conversación entre Boris Cherny (responsable de Claude Code en Anthropic) y Cat Wu, que recorre el camino desde Claude Code hasta Claude Tag y cómo la adopción se ha extendido de la ingeniería al resto de la empresa.

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 conversación con Boris Cherny y Cat Wu sobre el camino de Claude Code hacia Claude Tag, y cómo esto se ha extendido desde la ingeniería al resto de Anthropic. Claude Fable 5 ya está disponible en Claude Tag. — @claudeai en X

Claude Tag es el producto de Anthropic que permite a equipos profesionales interactuar con Claude de forma estructurada. Esta disponibilidad de Fable 5 en Claude Tag extiende a los flujos de trabajo de equipo las capacidades del modelo insignia de Anthropic. El vídeo acumuló 450 800 visualizaciones y más de 3 000 me gusta en el momento del análisis.

Sakana AI — Ren Ito nombrado comisario fundador en la Comisión « AI for Good » de la ONU

3 de julio — Sakana AI anuncia que su cofundador Ren Ito ha sido nombrado comisario fundador de la Comisión mundial « AI for Good » de la Unión Internacional de Telecomunicaciones (UIT), organismo especializado de la ONU. El artículo bilingüe (japonés/inglés) publicado en el blog de Sakana AI precisa que se trata del primer nombramiento de un representante de un laboratorio de IA japonés a este nivel de gobernanza internacional de la IA.

Sakana AI, fundado por David Ha y Llion Jones (ex-Google Brain) y con sede en Tokio, es conocido por sus investigaciones sobre arquitecturas inspiradas en la naturaleza. Este nombramiento sitúa al laboratorio en la escena de la gobernanza global de la IA junto a actores institucionales y empresas tecnológicas consolidadas.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Nueva release con Ideogram4, MotifVideo, DiffusionGemma

3 de julio — Sayak Paul (ingeniero ML en Hugging Face) anuncia una nueva versión de la biblioteca Diffusers, republicada por la cuenta oficial @huggingface. Esta release integra varios nuevos pipelines de imagen y vídeo:

Pipeline	Tipo
Ideogram4	Generación de imágenes
MotifVideo	Generación de vídeo
DiffusionGemma	Difusión basada en Gemma (popular)

La biblioteca Diffusers es la referencia open source para el uso de modelos de difusión — Stable Diffusion, FLUX y sus variantes. Cada release amplía el catálogo de pipelines disponibles directamente en Python sin configuración manual de los pesos.

🔗 Anuncio @RisingSayak

Destilación de 2,3 M trazas Fable 5 en Qwen3-4B — cero alucinación, open source

4 de julio — Investigadores de la Universidad de Waterloo han destilado 2,3 millones de trazas de razonamiento de Claude Fable 5 en Qwen3-4B, y publican los pesos en open source. Los resultados son notables:

Métrica	Resultado
Coherencia (self-consistency) con 512 muestras	100 %
Entropía de salida	0,00 bit
Varianza de alucinación	Cero

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

🇪🇸 Hemos destilado 2,3 M trazas de razonamiento de Claude Fable 5 en Qwen3-4B — 100 % de coherencia, cero entropía de salida, cero varianza de alucinación — el alumno no está limitado por el profesor. — @waterloo_intern en X

El tuit, republicado por @huggingface, reunió 1,6 millones de visualizaciones y 8 000 me gusta. La frase «el alumno supera al profesor» resume un fenómeno documentado en la literatura de destilación: bajo ciertas condiciones de entrenamiento, un modelo destilado puede converger hacia una solución más determinista que el modelo fuente.

ElevenMusic — Lanzamiento de Tools: Voice to Song

2 de julio — ElevenMusic, el producto musical de ElevenLabs, lanza una suite de herramientas creativas bautizada Tools, diseñada para crear, remodelar y hacer evolucionar la música.

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

🇪🇸 Lanzamos Tools en ElevenMusic, herramientas diseñadas para crear, remodelar y hacer evolucionar tu música. — @elevenmusic_io en X

La primera funcionalidad destacada es Voice to Song: el usuario canta y recibe una versión de estudio fiel y de calidad profesional. Un Loop Studio también aparece en la demostración en vídeo del tuit.

Breves

Claude Code v2.1.201 — Correctivo único dirigido a las sesiones Claude Sonnet 5: los recordatorios del harness (harness reminders) ya no usan el rol de sistema en curso de la conversación (mid-conversation system role). Actualización de mantenimiento sin nuevo comportamiento expuesto. 🔗 CHANGELOG
HuggingFace CEO — 250 hitos IA open estadounidenses para el 4 de julio — Clément Delangue publica una colección de 250 logros de IA open source procedentes de Estados Unidos (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) con motivo del 250.º aniversario estadounidense. 🔗 Tuit @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Correctivo de seguridad: un atacante podía usar un enlace simbólico para salir del directorio permitido en el procesador de importación de memoria (PR #28233). 🔗 Release GitHub
Runway Engineering — Recuperación nocturna de las GPU inactivas — El equipo de plataforma de Runway detalla « deckard », su controlador que reasigna por la noche las GPU de producción inactivas a investigación, apoyándose en la teoría de colas Erlang-C y 5 ventanas temporales predefinidas. 🔗 Artículo de Runway
GLM-5.2 en Claude Code vía HuggingFace Inference Providers — GLM-5.2 (Z.ai) ya puede seleccionarse en Claude Code mediante el mecanismo hf-claude de Hugging Face, confirmado por una republicación oficial de @Zai_org. 🔗 Anuncio

Qué significa esto

La economía de la IA de audio está madurando. Superar los 500 M USD de ARR por parte de ElevenLabs en junio, combinado con los 22 M USD repartidos entre los contribuyentes de Voice Library, ofrece una imagen concreta de lo que significa la monetización a escala en el audio generativo. Dubbing v2, Music v2, Ads Engine y Avatars no son funciones experimentales: son productos destinados a equipos de marketing y creativos con casos de uso precisos (localización publicitaria, producción musical, vídeos automatizados). ElevenMusic Tools, con Voice to Song, prolonga esta lógica hacia los creadores individuales. La convergencia de estos anuncios sugiere un mercado que ya no está en fase de exploración sino en fase de industrialización.

La verificación formal se vuelve accesible. Leanstral 1.5 de Mistral representa un punto de inflexión para la verificación formal: saturar miniF2F al 100 %, resolver 587 problemas PutnamBench a un coste cien veces inferior al de Seed-Prover 1.5 High, y descubrir automáticamente bugs inéditos en repositorios open source — todo ello bajo licencia Apache-2.0 y a través de una API gratuita. La verificación formal estaba hasta ahora reservada a especialistas equipados con sistemas costosos. Un modelo accesible vía uv tool install mistral-vibe cambia el perfil de los equipos que pueden beneficiarse.

La destilación supera sus propios límites teóricos. El trabajo de la Universidad de Waterloo — 2,3 M de trazas Fable 5 en Qwen3-4B, cero alucinación, pesos open source — confirma un fenómeno documentado pero aún sorprendente: un modelo destilado puede converger hacia una solución más determinista que el modelo maestro. Combinado con la disponibilidad de Fable 5 en Claude Tag (integración con los flujos de trabajo de equipo de Anthropic) y con el soporte de GLM-5.2 en Claude Code vía HuggingFace, es el ecosistema de herramientas el que se amplía: los modelos frontier están cada vez menos encerrados en sus entornos propietarios.

La gobernanza de la IA también se juega a nivel de las instituciones. El nombramiento de Ren Ito (Sakana AI) en la Comisión mundial « AI for Good » de la UIT es la primera señal concreta de la presencia de un laboratorio de IA japonés en las instancias de gobernanza de la IA de la ONU. En un contexto en el que la mayoría de los representantes de la industria en estos foros son estadounidenses o europeos, este nombramiento amplía la geografía de la deliberación sobre los estándares mundiales de la IA.