ElevenLabs 在 6 月突破 5 亿美元 ARR，Leanstral 1.5 在 miniF2F 取得满分，Fable 5 已部署至 Claude Tag

2026 年 7 月 4 日在生成式媒体领域留下了非凡战绩：ElevenLabs 在 6 月突破 5 亿美元年度经常性收入，同时交付了 Dubbing v2、Music v2、Ads Engine 和 Avatars。与此同时，Mistral 发布 Leanstral 1.5，在 miniF2F 上达到 100% 并确立了其作为 Lean 4 形式化验证 SOTA 的地位。在 Anthropic 方面，Fable 5 现已可在 Claude Tag 中使用，这是其内部团队工具；而滑铁卢大学的研究人员则证明，经过 230 万条 Fable 5 轨迹蒸馏的 Qwen3-4B 可以实现零幻觉。

ElevenLabs — 2026 年 6 月回顾：5 亿美元 ARR、华沙峰会、Dubbing v2 与 Avatars

7 月 3 日 — Mati Staniszewski（ElevenLabs CEO）发布了 2026 年 6 月的完整回顾，该月为公司带来了多个同时创下的纪录。

6 月关键指标：

指标	结果
ARR（年度经常性收入）	突破 5 亿美元
Voice Library 版税	向贡献者支付 2200 万美元
ElevenLabs 峰会	2500 名高管齐聚华沙
政府合作伙伴	新增 4 个政府合作伙伴

模型与研究：

Dubbing v2 — 新的配音模型保留了原始内容的情感、表现力与意图，解决了配音平直、脱离语境这一长期问题。
Music v2 — 在人声、配器、编曲以及多语种多风格支持方面都有显著提升。

面向客户体验团队的工具：

Procedures — 打包好的指令集合，用于定义智能体在常见场景中的行为（相当于员工的标准作业程序）。
新模态 — 智能体现在可以在对话中处理图像、文件、音频笔记、联系人和位置。
Speech Engine — 通过一次提示，就能将现有聊天智能体转换为完整语音智能体。

面向创作者和营销人员的工具：

Ads Engine — 支持 50 多种语言的广告自动本地化，并可直接回写到广告平台。
Avatars — 根据脚本、声音和照片生成“talking head”风格视频。
Flows Agent — 通过自然语言在节点式画布中构建完整的创意工作流。

ElevenLabs 还宣布了用于内容真实性的新型水印（watermarking）技术。突破 5 亿美元 ARR 使 ElevenLabs 跻身少数达到这一市场成熟度门槛的音频生成式 AI 玩家之列。

🔗 2026 年 6 月回顾 — Mati Staniszewski

Leanstral 1.5 — Lean 4 形式化验证 SOTA，Apache-2.0（Mistral）

7 月 2 日 — Mistral 发布 Leanstral 1.5，这是一个基于 Lean 4 的形式化验证模型，采用 Apache-2.0 许可证，总参数量 1190 亿，激活参数仅 60 亿（MoE 架构）。

形式化验证基准：

基准	Leanstral 1.5 得分	上下文
miniF2F	100%（满分）	验证与测试
PutnamBench	587 / 672	比 Seed-Prover 1.5 High 高 7 分，约 4 美元/题 vs 约 300 美元
FATE-H	87%	SOTA
FATE-X	34%	SOTA

该模型在两种环境中运行：一种是多轮环境（借助 Lean 编译器循环证明或反驳定理），另一种是代码智能体环境（可访问文件系统、bash 和 Lean 语言服务器）。训练分为三个阶段：中间预训练（mid-training）、监督微调（supervised fine-tuning）以及使用 CISPO 的强化学习。

在实践中，一个 Aeneas（Rust → Lean）流水线配合 Leanstral，在 57 个开源仓库中发现了 5 个全新 bug。其推理时扩展能力（test-time scaling）也很突出：在 5 万 tokens 时解决 44 道题，扩展到 400 万 tokens 后可达 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。随公告一同发布的是 Boris Cherny（Anthropic 的 Claude Code 负责人）与 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 在 X 上

Claude Tag 是 Anthropic 面向专业团队的产品，使团队能够以结构化方式与 Claude 交互。Fable 5 在 Claude Tag 中可用，将 Anthropic 旗舰模型的能力扩展到了团队工作流中。该视频在扫描时已获得 450800 次观看和超过 3000 个点赞。

Sakana AI — Ren Ito 被任命为联合国“AI for Good”委员会创始委员

7 月 3 日 — Sakana AI 宣布，其联合创始人 Ren Ito 被任命为国际电信联盟（ITU）“AI for Good”全球委员会创始委员。ITU 是联合国的专门机构。Sakana AI 博客上发布的日英双语文章指出，这是日本 AI 实验室代表首次被任命到这一层级的全球 AI 治理职位。

Sakana AI 由 David Ha 和 Llion Jones（前 Google Brain 成员）创立，总部位于东京，以受自然启发的架构研究而闻名。这一任命使该实验室站上了全球 AI 治理舞台，与各类机构和成熟科技公司并肩而立。

🔗 Sakana AI — AI for Good Commission

HuggingFace Diffusers — 新版本集成 Ideogram4、MotifVideo、DiffusionGemma

7 月 3 日 — Hugging Face 的机器学习工程师 Sayak Paul 宣布，Diffusers 库发布了一个新版本，并由官方账号 @huggingface 转发。此次发布集成了多个新的图像和视频流水线：

流水线	类型
Ideogram4	图像生成
MotifVideo	视频生成
DiffusionGemma	基于 Gemma 的扩散模型（流行）

Diffusers 库是使用扩散模型——Stable Diffusion、FLUX 及其变体——的开源标杆。每次发布都会扩展可直接在 Python 中使用、无需手动配置权重的流水线目录。

🔗 @RisingSayak 的公告

将 230 万条 Fable 5 轨迹蒸馏进 Qwen3-4B —— 零幻觉、开源

7 月 4 日 — 滑铁卢大学的研究人员将 230 万条 Claude Fable 5 推理轨迹蒸馏进 Qwen3-4B，并以开源形式发布了权重。结果非常亮眼：

指标	结果
512 次采样下的一致性（self-consistency）	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.”

🇨🇳 我们将 230 万条 Claude Fable 5 推理轨迹蒸馏进 Qwen3-4B——100% 一致性、输出熵为零、幻觉方差为零——学生并不受老师的限制。 — @waterloo_intern 在 X 上

这条由 @huggingface 转发的推文获得了 160 万次观看和 8000 个点赞。所谓“学生超过老师”这句话，概括了蒸馏文献中记录的一种现象：在某些训练条件下，被蒸馏模型可能收敛到比源模型更具确定性的解。

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 在 X 上

首个重点功能是 Voice to Song：用户先演唱，然后获得一段忠实且专业级的录音棚版本。推文视频演示中还展示了一个 Loop Studio。

简讯

Claude Code v2.1.201 — 面向 Claude Sonnet 5 会话的单一修复：harness 提醒（harness reminders）不再使用会话进行中的系统角色（mid-conversation system role）。这是一次维护更新，没有暴露新的行为。🔗 CHANGELOG
HuggingFace CEO — 为 7 月 4 日推出 250 个美国开源 AI 里程碑 — Clément Delangue 借美国 250 周年之际，发布了一组来自美国的 250 项开源 AI 成果（Attention is All You Need、PyTorch、GPT-2、LLaMA、ImageNet、LoRA……）。🔗 @ClementDelangue 的推文
Gemini CLI v0.51.0-nightly.20260702 — 安全修复：攻击者可以利用符号链接逃逸内存导入处理器中的允许目录（PR #28233）。🔗 GitHub 版本发布
Runway Engineering — 夜间回收闲置 GPU — Runway 平台团队详细介绍了“deckard”，这是他们的控制器，可在夜间将闲置的生产 GPU 重新分配给研究，并依托 Erlang-C 排队理论和 5 个预定义时间窗口。🔗 Runway 文章
通过 HuggingFace Inference Providers 在 Claude Code 中使用 GLM-5.2 — 现在可通过 Hugging Face 的 hf-claude 机制在 Claude Code 中选择 GLM-5.2（Z.ai），并已得到 @Zai_org 官方转发的确认。🔗 公告

这意味着什么

音频 AI 经济正在走向成熟。 ElevenLabs 在 6 月突破 5 亿美元 ARR，并向 Voice Library 贡献者返还 2200 万美元，这清晰地展示了生成式音频领域大规模商业化的含义。Dubbing v2、Music v2、Ads Engine 和 Avatars 不是实验性功能：它们是面向营销与创意团队、服务明确用例的产品（广告本地化、音乐制作、自动化视频）。ElevenMusic Tools 搭配 Voice to Song，则将这一逻辑延伸到个人创作者。多项公告的汇聚表明，这个市场已不再处于探索阶段，而是在进入工业化阶段。

形式化验证正在变得可用。 Mistral 的 Leanstral 1.5 是形式化验证的一个转折点：miniF2F 达到 100%，以比 Seed-Prover 1.5 High 低百倍的成本解决 587 个 PutnamBench 问题，并自动在开源仓库中发现全新 bug——这一切都基于 Apache-2.0 许可，并可通过免费 API 使用。过去，形式化验证只属于配备昂贵系统的专家。如今，一个可通过 uv tool install mistral-vibe 访问的模型，正在改变能够受益的团队类型。

蒸馏正在超越其自身的理论边界。 滑铁卢大学的工作——将 230 万条 Fable 5 轨迹蒸馏进 Qwen3-4B、实现零幻觉、并发布开源权重——再次印证了一个虽然已有文献记录但仍令人惊讶的现象：被蒸馏模型可以收敛到比教师模型更确定的解。再加上 Fable 5 在 Claude Tag 中可用（集成到 Anthropic 团队工作流）以及 GLM-5.2 通过 HuggingFace 在 Claude Code 中得到支持，工具生态正在扩张：前沿模型正越来越少地被锁定在各自的专有环境中。

AI 治理也在机构层面展开。 Ren Ito（Sakana AI）被任命为 ITU “AI for Good” 全球委员会委员，是日本 AI 实验室首次进入联合国 AI 治理机构的明确迹象。在这些论坛中，来自产业界的大多数代表仍然是美国或欧洲背景的情况下，这一任命扩展了全球 AI 标准讨论的地理范围。