2026 年 11 月 11 日 · 星期三每天 08:00 出刊

AI 日报 · 2026 年 11 月 11 日 · 星期三

热点时间线

第 21 期11

2026 年 11 月星期三

12件大事16个来源0件一手发布约 6 分钟读完

头条

DeepMind 首次用 AI 数学证明验证 Signal 协议实际代码安全性

DeepMind 发布多智能体框架 AlphaProof Code，并用 AI 数学化证明了 Signal 协议实际代码的关键安全性质。研究团队将安全目标转化为形式化数学规范并逐条审阅，随后由 Gemini Carbon 驱动的智能体生成超过 600 万行 Lean 证明代码，相关技术论文同步发布。

AGI Hunt另外 4 家也报道了原文

模型发布/更新

Hacker News另外 4 家也报道了

Google 发布 Gemini 4 Carbon 前沿模型

Google 发布 Gemini 4 Carbon，面向开发者、企业、科学家和消费者开放。Carbon 聚焦复杂多步编码、网络安全、科学推理和长流程智能体任务，在 CursorBench 4.0、Perplexity WANDR 和 Zapier AutomationBench 上排名第一，API 付费价格为每百万输入 tokens $2、每百万输出 tokens $10。

Google 发布 Gemini 4 Carbon 并预览 /swarm 多智能体功能The Decoder
Google 发布 Gemini 4 Carbon 并预览 Antigravity 的 swarm 功能The Verge AI

原文

AIHOT另外 2 家也报道了

Google DeepMind 发布 Gemini 4 Carbon 前沿模型

Google DeepMind 发布 Gemini 4 Carbon，面向开发者、企业、科学家和消费者开放，支持复杂知识工作、软件工程、科学推理和网络安全等任务。

原文

Latent Space

Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2，重夺 LLM 综合榜首

Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2，重新登上多项独立评测榜首。两者输入与输出价格降至每 1M token $8 和 $40，但更积极的测试与子智能体调用使 GDPx 单任务成本由 $67.16 升至 $88.15。文章还梳理了模型能力、订阅配额、数据保留、部署限制及其与 Anthropic IPO 的同期背景。

原文

MarkTechPost另外 5 家也报道了

Meta 发布面向大规模智能体任务的1M上下文模型 Muse Ember

Meta 发布 Muse Ember，这是一款面向智能体重复性子任务的托管多模态推理模型，支持文本、图像、音频和视频输入。Muse Ember 提供1M-token 上下文窗口和最高512K-token 输出，在 AA Intelligence Index 上得分36，并可通过 Meta Model API 和 Muse Code 使用。

Meta AI 发布 Muse Ember 轻量模型Simon Willison
Meta发布面向低成本AI智能体的Muse Ember模型SiliconANGLE AI

原文

量子位另外 2 家也报道了

蚂蚁灵波开源触觉基础模型 LingBot-Touch

蚂蚁灵波开源触觉基础模型 LingBot-Touch，通过统一编码磁触觉、视触觉和压阻式触觉信号，将接触位置、受力大小与变化方向转换为动作模型可用的触觉 Token。

原文

产品发布/更新

Hacker News另外 1 家也报道了

Modern Web Guidance 发布技能集，指导编码智能体采用现代 Web 原语

Modern Web Guidance 发布面向编码智能体的技能集，通过本地语义搜索将现代浏览器 API、CSS、布局、性能、可访问性与安全实践注入上下文。工具覆盖 250 个 Web 特性和 203 个真实开发用例，可用 npx modern-web-guidance@latest install 安装，并提供 legacy-scan 扫描旧式 JavaScript 模式。

原文

GitHub 新星仓库

deep-reach 0.11.1 发布：为 AI 智能体提供分层降级上网工具

deep-reach 0.11.1 为 AI 智能体提供统一的通用上网入口，按 P0 至 P3 调度免费接口、公开网页、第三方采集与 bsk 浏览器回退。项目支持 21 个可见渠道，其中 10 个覆盖 P0，8 个 default 渠道通过 live smoke，并提供 254 个单元测试。工具要求 Python 3.10+ 和 uv，写操作需确认用户意图，仓库采用 MIT 许可。

原文