📅 第013期 · 2026年11月10日 · 本期主题：旗舰换新

各位开源爱好者早上好！今天开源圈的头版属于 Anthropic：新一代旗舰 Claude Fable 5.2 与 Mythos 5.2 发布，输出提速 30%、价格降 20%，Artificial Analysis 榜单以 65 分登顶，并顺手用 1000 个智能体复现了费马大定理的形式化证明。开源侧，Zyphra 把能跑在手机浏览器里的 TTS 模型 ZONOS3-Mini 以 Apache 2.0 放出；GitHub 日榜上，查遍 400 多个社交网站的老牌情报工具 sherlock 强势登顶。5 条看点、3 个项目、3 条快讯，开工前刷完。

✨ 今日看点

1. Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2 双旗舰

Anthropic 发布新一代旗舰 Claude Fable 5.2 与 Claude Mythos 5.2，两者为同一底层模型，Mythos 需通过 Cyber 或 Life Sciences Verification Program 申请访问。据 Artificial Analysis 评测，Fable 5.2 在 Intelligence Index v5 以 65 分登顶，领先 Gemini 4 Carbon（60 分）与 Claude Opus 5.5（59 分）；在 Cognition FrontierCode 2.0 编码基准以 49.1 分排名第一，相比 Fable 5.1 在低推理力度下以约三分之一的价格超过前代得分。据媒体报道，输出速度较 5.1 提升 30%、价格下降 20%。

💡 为什么值得关注：旗舰模型同时把速度、价格和能力三条曲线一起拉高，编码智能体的单位成本将明显下降，直接利好所有下游开源智能体项目。

🔗 原文：https://www.anthropic.com/claude-fable-and-mythos-5-2

2. Anthropic 用 1000 个 Fable 5.2 智能体复现费马大定理形式化证明

Anthropic 在一项玩具实验中，让 1000 个运行 Claude Fable 5.2 早期版本的智能体在没有 Prove2Me 平台和研究者指导的情况下，复现了费马大定理的形式化证明，耗时 28.7 小时，输出 token 仅为原 9 月形式化的三分之一，证明长度为其七分之一。

💡 为什么值得关注：多智能体协作第一次在数学形式化这类高严谨度任务上跑通了规模化路径，对形式化验证开源社区（如 Lean 生态）是直接的信号。

🔗 原文：https://claude.dev/blog/safely-scaling-multi-agent-teams-with-fable-5-2/

3. Zyphra 开源 ZONOS3-Mini：能在手机浏览器实时运行的 TTS 模型

Zyphra 发布 ZONOS3-Mini，一个 Apache 2.0 开源的零样本语音克隆 TTS 模型，采用稀疏 MoE 架构，总参数 8 亿、活跃参数 1 亿，在 Pixel 9 浏览器端首包音频时间低于 570 毫秒，在 M3 MacBook Air 上低于 150 毫秒。仓库已上线 GitHub（MIT 协议）。

💡 为什么值得关注：端侧 TTS 第一次把「浏览器里实时跑」做成了默认能力，语音克隆不再依赖云端 GPU，网页端语音交互的开发门槛被大幅拉低。

🔗 项目主页：https://github.com/Zyphra/ZONOS3-Mini

4. GitHub 日榜：sherlock 登顶，净室复刻软件成趋势

老牌开源情报工具 sherlock-project/sherlock 登顶 GitHub 日榜，单日新增约 3,720 星，总星数突破 10.6 万：输入一个用户名即可查遍 400 多个社交网站的注册痕迹。同榜的 misterdownloadmanager（单日 +2,520）与 NX2navi/Hookshot（塞尔达传说：时之笛复刻移植）都打着同一面旗帜——净室（clean-room）开发：不看原代码、只按外部行为重新实现。

💡 为什么值得关注：净室开发从法律规避手段变成了开源社区的流量密码，理解「行为可复现」的工程方法论，比抄代码更有长期价值。

🔗 项目主页：https://github.com/sherlock-project/sherlock

5. Anthropic 与 Diode Computers：Fable 5.2 从提示词到工厂电路板

Anthropic 与 Diode Computers 合作，让 Claude Fable 5.2 从简单提示词出发完成免提音箱、语音助手中枢和电子宠物三种设备的设计，包括 PCB 布局、CAD 建模、固件编写和 DFM 检查，三块电路板直接由工厂按设计文件制造，原型经数周使用仍正常工作。

💡 为什么值得关注：AI 辅助设计的终点从「给图纸」推进到「给能用的实物」，硬件开源项目的产品化周期有望被显著压缩。

🔗 原文：https://www.anthropic.com/research/claude-electronics-design

🚀 项目推荐

1. sherlock-project/sherlock

Star：★107,120｜许可证：MIT

社交网站用户名情报核查工具：用一个用户名在 400 多个社交网站和平台上逐个排查注册痕迹，命中结果可写入文件、CSV 或表格。支持一次查多个名字、限定站点范围、走代理。

🔗 https://github.com/sherlock-project/sherlock

2. anefzaoui/misterdownloadmanager

Star：★4,086｜许可证：GPL-3.0

净室重写的开源下载管理器，复刻 IDM 的界面与使用习惯：分类、进度窗口、浏览器扩展齐全，支持从磁力链接到做种的完整 BT 下载，Windows、macOS、Linux 三端通用，绿色免安装。日榜 24 小时新增 2,520 星。

🔗 https://github.com/anefzaoui/misterdownloadmanager

3. Zyphra/ZONOS3-Mini

Star：尚在起步｜许可证：MIT（模型权重 Apache 2.0）

稀疏 MoE 架构零样本语音克隆模型，总参数 8 亿、活跃参数 1 亿，Pixel 9 浏览器端首包音频低于 570 毫秒，Apache 2.0 权重发布。

🔗 https://github.com/Zyphra/ZONOS3-Mini

📰 开源快讯

• Meta 发布 Muse Ember：定位「最小最高效」的复杂推理执行模型，面向工具调用、编码子任务、路由、抽取和长文档解析等智能体日常重复任务。
• 字节发布 Seedream 5.5：支持围绕同一作品多达 100 轮连续编辑、非编辑区域像素级保持，新增原生 RGBA 透明素材生成，直接输出带 Alpha 通道的图像。
• 百度发布 ERNIE Evolve 自动研究系统：用双层循环组织研究方向选择与实验迭代，由 Director、Selector、Executor、Evaluator 和 Reviewer 五角色分工推进，公开任务超最好纪录并落地 ERNIE-5.5-Flash 推理优化。

内容由自动化流程生成，数据来源于公开网络资源，仅供参考，具体以官方发布为准。