ElevenLabs przekracza 500 mln USD ARR w czerwcu, Leanstral 1.5 saturuje miniF2F, Fable 5 wdrożony w Claude Tag

4 lipca 2026 r. przynosi wyjątkowe podsumowanie po stronie mediów generatywnych: ElevenLabs przekracza 500 mln USD rocznego przychodu powtarzalnego w czerwcu, jednocześnie dostarczając Dubbing v2, Music v2, Ads Engine i Avatars. Równolegle Mistral publikuje Leanstral 1.5, który saturuje miniF2F w 100% i wyznacza SOTA formalnej weryfikacji Lean 4. Na froncie Anthropic Fable 5 jest już dostępny w Claude Tag, wewnętrznym narzędziu zespołowym, a badacze z University of Waterloo pokazują, że Qwen3-4B wytrenowany na 2,3 mln śladów Fable 5 osiąga zero halucynacji.

ElevenLabs — Podsumowanie czerwca 2026: 500 mln USD ARR, Szczyt w Warszawie, Dubbing v2 i Avatars

3 lipca — Mati Staniszewski (CEO ElevenLabs) publikuje pełne podsumowanie czerwca 2026, który przynosi firmie kilka jednoczesnych rekordów.

Kluczowe metryki czerwca:

Wskaźnik	Wynik
ARR (roczny przychód powtarzalny)	Przekroczono 500 mln USD
Wynagrodzenia Voice Library	22 mln USD wypłacone współtwórcom
Szczyt ElevenLabs	2 500 liderów spotkało się w Warszawie
Partnerstwa rządowe	4 nowe rządy partnerskie

Modele i badania:

Dubbing v2 — Nowy model dubbingu zachowuje emocje, wykonanie i intencję oryginalnej treści, rozwiązując chroniczny problem płaskiego dubbingu oderwanego od kontekstu.
Music v2 — Znacząca poprawa wokali, instrumentacji, aranżacji i wielojęzycznego wsparcia dla wielu gatunków.

Narzędzia dla zespołów obsługi klienta:

Procedures — Spakowane zestawy instrukcji definiujące zachowanie agentów w typowych scenariuszach (odpowiednik standardowych procedur operacyjnych dla pracowników).
Nowe modalności — Agenci mogą teraz przetwarzać obrazy, pliki, notatki audio, kontakty i lokalizacje w rozmowach.
Speech Engine — Zamienia istniejącego agenta czatu w pełnoprawnego agenta głosowego za pomocą jednego promptu.

Narzędzia dla twórców i marketerów:

Ads Engine — Automatyczna lokalizacja reklam w ponad 50 językach, z bezpośrednim ponownym wstrzykiwaniem do platform reklamowych.
Avatars — Generowanie filmów typu „talking head” na podstawie skryptu, głosu i zdjęcia.
Flows Agent — Budowa kompletnych kreatywnych workflow w języku naturalnym w canvasie opartym na węzłach.

ElevenLabs ogłosił również nowe techniki znakowania wodnego (watermarking) służące autentyczności treści. Przekroczenie progu 500 mln USD ARR pozycjonuje ElevenLabs wśród nielicznych graczy audio AI generatywnej, którzy osiągnęli ten poziom na obecnym etapie dojrzałości rynku.

🔗 Podsumowanie czerwca 2026 — Mati Staniszewski

Leanstral 1.5 — Formalna weryfikacja Lean 4 SOTA, Apache-2.0 (Mistral)

2 lipca — Mistral publikuje Leanstral 1.5, model do formalnej weryfikacji w Lean 4 na licencji Apache-2.0, z 119 miliardami parametrów łącznie i zaledwie 6 miliardami parametrów aktywnych (architektura MoE).

Benchmarki formalnej weryfikacji:

Benchmark	Wynik Leanstral 1.5	Kontekst
miniF2F	100 % (saturacja)	Walidacja i test
PutnamBench	587 / 672	+7 vs Seed-Prover 1.5 High, przy ~4 USD/problem vs ~300 USD
FATE-H	87 %	SOTA
FATE-X	34 %	SOTA

Model działa w dwóch środowiskach: wieloturowym środowisku (udowadnianie lub obalanie twierdzenia w pętli z kompilatorem Lean) oraz środowisku agenta kodu (dostęp do systemu plików, bash, serwer języka Lean). Trening przebiega w trzech etapach: pośredni pre-trening (mid-training), dostrajanie nadzorowane (supervised fine-tuning) oraz uczenie ze wzmocnieniem z CISPO.

W praktyce pipeline Aeneas (Rust → Lean) połączony z Leanstral odkrył 5 nieznanych wcześniej błędów w 57 repozytoriach open source. Skalowanie w czasie inferencji (test-time scaling) jest godne uwagi: 44 rozwiązane problemy przy 50 000 tokenów → 587 przy 4 milionach tokenów.

Leanstral 1.5 jest dostępny bezpłatnie przez Hugging Face oraz przez darmowe API (leanstral-1-5). Zalecane użycie odbywa się z Mistral Vibe:

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

🔗 Oficjalny artykuł — Mistral

Fable 5 teraz dostępny w Claude Tag

2 lipca — Anthropic ogłasza, że Claude Fable 5 jest teraz dostępny w Claude Tag, wewnętrznym narzędziu umożliwiającym zespołom codzienną pracę z Claude. Ogłoszeniu towarzyszy film z rozmową między Borisem Cherny (szefem Claude Code w Anthropic) i Cat Wu, który śledzi drogę od Claude Code do Claude Tag oraz to, jak adopcja rozprzestrzeniła się od inżynierii na resztę firmy.

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.

🇵🇱 Rozmowa z Borisem Cherny i Cat Wu o drodze od Claude Code do Claude Tag oraz o tym, jak rozprzestrzeniło się to od inżynierii na resztę Anthropic. Claude Fable 5 jest teraz dostępny w Claude Tag. — @claudeai na X

Claude Tag jest produktem Anthropic, który umożliwia zespołom profesjonalnym ustrukturyzowaną interakcję z Claude. Ta dostępność Fable 5 w Claude Tag rozszerza możliwości flagowego modelu Anthropic na workflow zespołowe. W momencie skanowania film zebrał 450 800 wyświetleń i ponad 3 000 polubień.

Sakana AI — Ren Ito mianowany komisarzem założycielem w Komisji ONZ „AI for Good”

3 lipca — Sakana AI ogłasza, że jego współzałożyciel Ren Ito został mianowany komisarzem założycielem Światowej Komisji „AI for Good” Międzynarodowego Związku Telekomunikacyjnego (ITU), wyspecjalizowanej agencji ONZ. Dwujęzyczny artykuł (japoński/angielski) opublikowany na blogu Sakana AI wyjaśnia, że to pierwsza nominacja przedstawiciela japońskiego laboratorium AI na takim poziomie międzynarodowego zarządzania AI.

Sakana AI, założone przez Davida Ha i Lliona Jonesa (byłych pracowników Google Brain) i z siedzibą w Tokio, jest znane z badań nad architekturami inspirowanymi naturą. Ta nominacja umieszcza laboratorium na scenie globalnego zarządzania AI obok instytucjonalnych graczy i uznanych firm technologicznych.

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Nowe wydanie z Ideogram4, MotifVideo, DiffusionGemma

3 lipca — Sayak Paul (inżynier ML w Hugging Face) ogłasza nową wersję biblioteki Diffusers, repostowaną przez oficjalne konto @huggingface. To wydanie wprowadza kilka nowych pipeline’ów do obrazów i wideo:

Pipeline	Typ
Ideogram4	Generowanie obrazów
MotifVideo	Generowanie wideo
DiffusionGemma	Dyfuzja oparta na Gemma (popularna)

Biblioteka Diffusers jest open source’owym punktem odniesienia do używania modeli dyfuzyjnych — Stable Diffusion, FLUX i ich wariantów. Każde wydanie poszerza katalog pipeline’ów dostępnych bezpośrednio w Pythonie, bez ręcznej konfiguracji wag.

🔗 Ogłoszenie @RisingSayak

Destylacja 2,3 mln śladów Fable 5 do Qwen3-4B — zero halucynacji, open source

4 lipca — Badacze z University of Waterloo zdestylowali 2,3 miliona śladów rozumowania Claude Fable 5 do Qwen3-4B i publikują wagi jako open source. Wyniki są imponujące:

Metryka	Wynik
Spójność (self-consistency) przy 512 próbkach	100 %
Entropia wyjściowa	0,00 bit
Wariancja halucynacji	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.”

🇵🇱 Zdystylowaliśmy 2,3 mln śladów rozumowania Claude Fable 5 do Qwen3-4B — 100% spójności, zerowa entropia wyjściowa, zerowa wariancja halucynacji — uczeń nie jest ograniczony przez nauczyciela. — @waterloo_intern na X

Tweet, repostowany przez @huggingface, zebrał 1,6 miliona wyświetleń i 8 000 polubień. Zdanie „uczeń przewyższa nauczyciela” podsumowuje zjawisko opisane w literaturze o destylacji: przy pewnych warunkach treningu model zdestylowany może zbiegać do bardziej deterministycznego rozwiązania niż model źródłowy.

ElevenMusic — Premiera Tools: Voice to Song

2 lipca — ElevenMusic, muzyczny produkt ElevenLabs, uruchamia zestaw kreatywnych narzędzi nazwany Tools, zaprojektowany do tworzenia, przekształcania i rozwijania muzyki.

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

🇵🇱 Uruchamiamy Tools w ElevenMusic — narzędzia zaprojektowane do tworzenia, przekształcania i rozwijania waszej muzyki. — @elevenmusic_io na X

Pierwszą wyróżnioną funkcją jest Voice to Song: użytkownik śpiewa i otrzymuje wierną, studyjną wersję o profesjonalnej jakości. W demonstracyjnym filmie tweeta widoczny jest również Loop Studio.

Krótkie wiadomości

Claude Code v2.1.201 — Pojedyncza poprawka ukierunkowana na sesje Claude Sonnet 5: przypomnienia harnessu (harness reminders) nie używają już roli systemowej w trakcie rozmowy (mid-conversation system role). Aktualizacja konserwacyjna bez nowego, ujawnionego zachowania. 🔗 CHANGELOG
HuggingFace CEO — 250 amerykańskich kamieni milowych open AI na 4 lipca — Clément Delangue publikuje kolekcję 250 osiągnięć open source AI ze Stanów Zjednoczonych (Attention is All You Need, PyTorch, GPT-2, LLaMA, ImageNet, LoRA…) z okazji 250. rocznicy amerykańskiej. 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — Poprawka bezpieczeństwa: atakujący mógł użyć dowiązania symbolicznego, aby wydostać się poza dozwolony katalog w procesorze importu pamięci (PR #28233). 🔗 Wydanie GitHub
Runway Engineering — Nocne odzyskiwanie bezczynnych GPU — Zespół platformy Runway opisuje „deckard”, swój kontroler, który w nocy przekierowuje bezczynne GPU produkcyjne do badań, opierając się na teorii kolejek Erlang-C i 5 z góry zdefiniowanych oknach czasowych. 🔗 Artykuł Runway
GLM-5.2 w Claude Code przez HuggingFace Inference Providers — GLM-5.2 (Z.ai) można teraz wybrać w Claude Code za pomocą mechanizmu hf-claude od Hugging Face, co potwierdza oficjalny repost @Zai_org. 🔗 Ogłoszenie

Co to oznacza

Gospodarka audio AI dojrzewa. Przekroczenie przez ElevenLabs progu 500 mln USD ARR w czerwcu, połączone z 22 mln USD przekazanymi współtwórcom Voice Library, daje konkretny obraz tego, co oznacza monetyzacja na skalę w generatywnym audio. Dubbing v2, Music v2, Ads Engine i Avatars nie są funkcjami eksperymentalnymi: to produkty skierowane do zespołów marketingowych i kreatywnych z konkretnymi przypadkami użycia (lokalizacja reklam, produkcja muzyczna, automatyzowane wideo). ElevenMusic Tools z Voice to Song rozwija tę logikę w stronę indywidualnych twórców. Zbieżność tych ogłoszeń sugeruje rynek, który nie jest już w fazie eksploracji, lecz w fazie industrializacji.

Formalna weryfikacja staje się dostępna. Leanstral 1.5 od Mistral stanowi punkt zwrotny dla formalnej weryfikacji: saturacja miniF2F w 100%, rozwiązanie 587 problemów PutnamBench przy koszcie stukrotnie niższym niż Seed-Prover 1.5 High oraz automatyczne odkrywanie nieznanych błędów w repozytoriach open source — a wszystko to na licencji Apache-2.0 i przez darmowe API. Formalna weryfikacja była dotąd zarezerwowana dla specjalistów dysponujących drogimi systemami. Model dostępny przez uv tool install mistral-vibe zmienia profil zespołów, które mogą z tego skorzystać.

Destylacja przekracza własne teoretyczne granice. Praca University of Waterloo — 2,3 mln śladów Fable 5 w Qwen3-4B, zero halucynacji, wagi open source — potwierdza zjawisko opisane, ale wciąż zaskakujące: model zdestylowany może zbiegać do bardziej deterministycznego rozwiązania niż model nauczyciel. W połączeniu z dostępnością Fable 5 w Claude Tag (integracja z workflow zespołowymi Anthropic) oraz wsparciem GLM-5.2 w Claude Code przez HuggingFace, to ekosystem narzędziowy się rozszerza: modele frontier są coraz mniej zamknięte w swoich własnościowych środowiskach.

Zarządzanie AI rozgrywa się także na poziomie instytucji. Nominacja Rena Ito (Sakana AI) do Światowej Komisji „AI for Good” ITU jest pierwszym konkretnym sygnałem obecności japońskiego laboratorium AI w forum ONZ dotyczącym zarządzania AI. W kontekście, w którym większość przedstawicieli branży w tych gremiach pochodzi ze Stanów Zjednoczonych lub Europy, ta nominacja poszerza geograficzny zakres debaty o globalnych standardach AI.