ElevenLabsが6月にARR 5億USDを突破、Leanstral 1.5がminiF2Fを飽和、Fable 5がClaude Tagに展開

2026年7月4日は、生成メディア分野における並外れた総括が示される日となった。ElevenLabsはDubbing v2、Music v2、Ads Engine、Avatarsを提供しながら、6月に経常年換算収益5億USDを突破した。並行して、MistralはLeanstral 1.5を公開し、miniF2Fで100%を達成してLean 4形式検証のSOTAとしての地位を確立した。Anthropicでは、Fable 5が社内チーム向けツールであるClaude Tagで利用可能になり、ウォータールー大学の研究者たちは、230万件のFable 5トレースで蒸留したQwen3-4Bが幻覚ゼロを達成することを示した。

ElevenLabs — 2026年6月の総括：ARR 5億USD、ワルシャワでのサミット、Dubbing v2とAvatars

7月3日 — Mati Staniszewski（ElevenLabs CEO）が2026年6月の完全な総括を公開し、同社にとって複数の記録が同時に更新されたことを示した。

6月の主要指標：

指標	結果
ARR（経常年換算収益）	5億USDを突破
Voice Libraryの報酬	2,200万USDを寄稿者に支払い
ElevenLabs Summit	ワルシャワに2,500人のリーダーが集結
政府とのパートナーシップ	4つの新しい政府パートナー

モデルと研究：

Dubbing v2 — 新しい吹き替えモデルは、感情、演技、元コンテンツの意図を保持し、平板で文脈から切り離された吹き替えという慢性的な問題を解決する。
Music v2 — ボーカル、楽器編成、アレンジ、マルチジャンルの多言語対応が大幅に改善された。

カスタマーエクスペリエンス・チーム向けツール：

Procedures — 一般的なシナリオにおけるエージェントの振る舞いを定義する、パッケージ化された指示セット（従業員向けの標準業務手順に相当）。
新しいモダリティ — エージェントは会話の中で画像、ファイル、音声メモ、連絡先、位置情報を扱えるようになった。
Speech Engine — 既存のチャットエージェントを、単一のプロンプトで完全な音声エージェントに変換する。

クリエイターとマーケター向けツール：

Ads Engine — 50以上の言語で広告を自動ローカライズし、広告プラットフォームへ直接再投入する。
Avatars — スクリプト、音声、写真から「talking head」型動画を生成する。
Flows Agent — ノードベースのキャンバス上で、自然言語だけで完全なクリエイティブ・ワークフローを構築する。

ElevenLabsは、コンテンツの真正性を確保するための新しい透かし技術（watermarking）も発表した。ARR 5億USDの突破により、ElevenLabsは、この市場成熟段階においてその水準に到達した数少ない音声生成AI企業の一つとなった。

🔗 2026年6月の総括 — Mati Staniszewski

Leanstral 1.5 — Lean 4形式検証のSOTA、Apache-2.0（Mistral）

7月2日 — Mistralは、Apache-2.0ライセンスの下で提供されるLean 4形式検証モデル Leanstral 1.5 を公開した。総パラメータ数は1190億、アクティブなパラメータはわずか60億（MoEアーキテクチャ）。

形式検証ベンチマーク：

ベンチマーク	Leanstral 1.5のスコア	コンテキスト
miniF2F	100%（飽和）	検証およびテスト
PutnamBench	587 / 672	Seed-Prover 1.5 Highに対して+7、1問あたり約4 USD vs 約300 USD
FATE-H	87%	SOTA
FATE-X	34%	SOTA

このモデルは2つの環境で動作する。1つはマルチターン環境で、Leanコンパイラを用いて定理をループ内で証明または反証するもの。もう1つはコードエージェント環境で、ファイルシステム、bash、Lean言語サーバーにアクセスできる。学習は3段階で進む：中間事前学習（mid-training）、教師あり微調整（supervised fine-tuning）、そしてCISPOによる強化学習。

実践では、Aeneasパイプライン（Rust → Lean）をLeanstralと組み合わせることで、57個のオープンソースリポジトリから5件の未報告バグが発見された。推論時のスケーリング（test-time scaling）も注目に値する。50,000トークンで44問を解き、400万トークンで587問に到達する。

Leanstral 1.5はHugging Face経由および無料API（leanstral-1-5）経由で無料提供されている。推奨される使用方法はMistral Vibeを用いること。

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

🔗 公式記事 — Mistral

Fable 5がClaude Tagで利用可能に

7月2日 — Anthropicは、Claude Fable 5がClaude Tagで利用可能になったと発表した。Claude Tagは、チームが日常的にClaudeを使って作業するための社内ツールである。この発表には、AnthropicのClaude Code責任者であるBoris ChernyとCat Wuによる対談動画も添えられており、Claude CodeからClaude Tagへと至る道のりと、その採用がエンジニアリングから会社全体へどのように広がったかが語られている。

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.

🇯🇵 Boris ChernyとCat Wuによる、Claude CodeからClaude Tagへの道のり、そしてそれがエンジニアリングからAnthropic全体へどのように広がったかについての会話です。Claude Fable 5は現在Claude Tagで利用可能です。 — @claudeai on X

Claude Tagは、プロのチームがClaudeと構造化された形でやり取りするためのAnthropic製品である。Claude TagでのFable 5の提供により、同社のフラッグシップモデルの能力がチームのワークフローへと広がった。動画はスキャン時点で45万800ビューと3,000件超のいいねを獲得していた。

Sakana AI — Ren Itoが国連「AI for Good」委員会の創設コミッショナーに任命

7月3日 — Sakana AIは、共同創業者のRen Itoが国際電気通信連合（ITU）の**「AI for Good」世界委員会**の創設コミッショナーに任命されたと発表した。国連の専門機関である。Sakana AIのブログに掲載された日英バイリンガルの記事では、日本のAI研究所の代表がこのレベルの国際AIガバナンスに任命されたのは初めてだと説明している。

David HaとLlion Jones（いずれも元Google Brain）によって設立され、東京を拠点とするSakana AIは、自然に着想を得たアーキテクチャ研究で知られている。この任命により、同研究所は既存の技術企業や制度的プレーヤーと並んで、世界的なAIガバナンスの舞台に立つことになった。

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — Ideogram4、MotifVideo、DiffusionGemmaを含む新リリース

7月3日 — Hugging FaceのMLエンジニアであるSayak Paulが、公式アカウント@huggingfaceによって再投稿された、Diffusersライブラリの新バージョンを発表した。このリリースには、複数の新しい画像・動画パイプラインが含まれている。

パイプライン	種類
Ideogram4	画像生成
MotifVideo	動画生成
DiffusionGemma	Gemmaベースの拡散（人気）

Diffusersライブラリは、Stable Diffusion、FLUX、およびその派生モデルを使うためのオープンソースの標準的存在である。各リリースは、重みの手動設定なしにPythonから直接利用できるパイプラインのカタログを拡張していく。

🔗 @RisingSayakの発表

230万件のFable 5トレースをQwen3-4Bに蒸留 — 幻覚ゼロ、オープンソース

7月4日 — ウォータールー大学の研究者たちは、Claude Fable 5の推論トレース230万件を Qwen3-4B に蒸留し、その重みをオープンソースで公開した。結果は注目に値する。

指標	結果
一貫性（self-consistency）512サンプル	100%
出力エントロピー	0.00 bit
幻覚分散	ゼロ

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

🇯🇵 Claude Fable 5の推論トレース230万件をQwen3-4Bに蒸留しました。100%の一貫性、出力エントロピーゼロ、幻覚分散ゼロ——生徒は教師に縛られていません。 — @waterloo_intern on X

@huggingfaceによって再投稿されたこのツイートは、160万回の閲覧と8,000件のいいねを集めた。「弟子は師匠を超える」という言葉は、蒸留研究で記述されてきた現象を要約している。すなわち、特定の学習条件下では、蒸留されたモデルが元のモデルよりもより決定論的な解に収束しうるというものだ。

ElevenMusic — Tools: Voice to Songをリリース

7月2日 — ElevenLabsの音楽製品であるElevenMusicは、音楽を創作し、作り変え、進化させるために設計されたToolsと名付けられたクリエイティブツール群を発表した。

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

🇯🇵 ElevenMusicでToolsを公開します。これは、あなたの音楽を創作し、作り変え、進化させるために設計されたツール群です。 — @elevenmusic_io on X

最初に打ち出された機能はVoice to Songで、ユーザーが歌うと、スタジオ品質でプロフェッショナルな忠実度の高いバージョンが返ってくる。また、ツイートの動画デモではLoop Studioも確認できる。

ブリーフ

Claude Code v2.1.201 — Claude Sonnet 5セッションのみを対象とした単一の修正：ハーネスのリマインダー（harness reminders）が、会話の途中のシステムロール（mid-conversation system role）を使わなくなった。新しい挙動は公開されていない保守アップデート。 🔗 CHANGELOG
HuggingFace CEO — 7月4日に向けた米国発の250のオープンAI節目 — Clément Delangueが、米国発の250件のオープンソースAI成果（Attention is All You Need、PyTorch、GPT-2、LLaMA、ImageNet、LoRA…）を、米国建国250周年に合わせて公開。 🔗 Tweet @ClementDelangue
Gemini CLI v0.51.0-nightly.20260702 — セキュリティ修正：攻撃者がシンボリックリンクを使って、メモリインポート処理系で許可ディレクトリを回避できた可能性があった（PR #28233）。 🔗 GitHubリリース
Runway Engineering — 非稼働GPUの夜間回収 — Runwayのプラットフォームチームが、実稼働していないGPUを夜間に研究用へ再割り当てする制御装置「deckard」について詳述。Erlang-C待ち行列理論と5つのあらかじめ定義された時間帯ウィンドウに基づいている。 🔗 Runway記事
HuggingFace Inference Providers経由でClaude CodeにGLM-5.2 — GLM-5.2（Z.ai）は、Hugging Faceのhf-claudeメカニズムを通じてClaude Codeで選択可能になり、@Zai_orgの公式リポストで確認された。 🔗 発表

これが意味すること

音声AIの経済は成熟期に入った。 ElevenLabsが6月にARR 5億USDを突破し、Voice Libraryの寄稿者に2,200万USDを還元したことは、生成音声におけるスケール時の収益化が何を意味するのかを具体的に示している。Dubbing v2、Music v2、Ads Engine、Avatarsは実験的な機能ではなく、明確なユースケース（広告ローカライズ、音楽制作、自動生成動画）を持つマーケティングおよびクリエイティブチーム向けの製品である。ElevenMusic ToolsのVoice to Songは、この流れを個人クリエイターにまで拡張する。これらの発表が重なることで、市場はもはや探索段階ではなく産業化段階にあることが示唆される。

形式検証は手の届くものになりつつある。 MistralのLeanstral 1.5は、形式検証にとって転換点となる。miniF2Fで100%を達成し、Seed-Prover 1.5 Highの100分の1以下のコストで587のPutnamBench問題を解き、オープンソースのリポジトリから未報告のバグを自動発見する——しかもApache-2.0ライセンスで、無料APIを通じて利用できる。これまで形式検証は、高価なシステムを扱える専門家に限られていた。uv tool install mistral-vibe経由で利用できるモデルは、恩恵を受けられるチームの輪郭を変える。

蒸留は自らの理論的限界を超えつつある。 ウォータールー大学の研究——Fable 5の230万件のトレースをQwen3-4Bに蒸留し、幻覚ゼロ、オープンソース重み——は、文献では知られていてもなお驚きを伴う現象を裏付けている。すなわち、蒸留モデルが教師モデルよりもより決定論的な解に収束しうるということだ。Claude TagでのFable 5の利用可能化（Anthropicのチームワークフローへの統合）と、HuggingFace経由でClaude CodeにGLM-5.2が対応したことを合わせると、ツール群のエコシステムが広がっていることがわかる。フロンティアモデルは、ますます自前の環境に閉じ込められなくなっている。

AIガバナンスは、制度レベルでも争われている。 Ren Ito（Sakana AI）がITUの世界「AI for Good」委員会に任命されたことは、日本のAI研究所が国連のAIガバナンス機関に存在感を示した最初の具体的シグナルである。こうしたフォーラムで産業界の代表の大半が米国または欧州出身である状況において、この任命は世界的なAI標準をめぐる議論の地理的範囲を広げる。