AI 日报 · 2026年11月12日 · 星期四
Google DeepMind 的 AlphaProof Code 用四周完成 Signal 加密核心验证
AI 导读
Google DeepMind 发布 AlphaProof Code，能在数学上证明软件符合安全规格且无错误，并在 Signal 加密协议上完成验证，耗时四周，而这类工作通常需要数年。同日，Gemini 4 Carbon 向所有用户开放，输入定价 $2/百万 token、输出 $10/百万 token，并计划在 12 月 1 日翻倍至 $4/$20。
模型发布/更新
Gemini 4 Carbon 向所有用户开放，llm-gemini 0.36 同步支持
Gemini 4 Carbon 两周前仅面向部分网络安全人员开放，现已向所有用户开放，输入定价 $2/百万 token、输出 $10/百万 token，并计划在 12 月 1 日翻倍至 $4/$20。
Google 推出 Gemini Decisions API 与 Gemini Decision 1 模型
Google DeepMind 推出 Gemini Decisions API，底层模型 Gemini Decision 1 可在单次调用中处理最多 1000 个独立问题，覆盖文本、图像、音频、视频和 PDF，直接对选项打分并返回带置信度的概率，延迟 150 到 250 毫秒。
Google DeepMind 发布 AlphaGenome 2，按细胞类型预测 DNA 变异影响
Google DeepMind 发布 AlphaGenome 2，这是一个条件式 DNA 序列模型，可针对特定细胞类型或状态预测变异对基因表达的影响。模型基于 68 种组织、超过 1.07 亿个单细胞图谱训练，在 TenK10K 数据集上识别出的因果变异比例从 16% 提升到 30%，方向性基因效应从 23% 提升到 43%。
产品发布/更新
Google DeepMind 的 AlphaProof Code 用四周完成 Signal 加密核心验证
Google DeepMind 发布 AlphaProof Code，这套 AI 系统能在数学上证明软件符合安全规格且无错误，并在 Signal 的加密协议上完成验证，耗时四周，而这类工作通常需要数年。
AWS 开源 UAEF：跨框架闭环评测 AI 智能体
AWS 发布开源框架 UAEF，用适配器把 LangGraph、LangChain、Strands Agents、Amazon Bedrock AgentCore 和 Langfuse 的执行轨迹统一为 AgentTrace，再以 7 个维度 36 项内置指标打分。
行业动态
Claroc 称 3.5 万个 Grok 生成应用可免登录访问，含患者数据与明文密码
安全公司 Claroc 报告称，在其检查的 37,571 个仍在线 Grok 生成应用中，35,578 个（94.7%）无需登录即可访问，原因是发布对话框默认预选“Anyone with the link”。
Anthropic 称 AI 正削弱 Nvidia CUDA 优势，AMD 芯片迁移从数月缩短到三天
Anthropic 在投资者材料中称，其前沿模型 Mythos 几乎无需人工介入，三天内就把 Claude 移植到 AMD MI355X GPU 上运行，并自行编写了近 100% 的 kernel，而传统工程方式需要六到十二个月。
企业客户推动 OpenAI 第三季度营收达 100 亿美元，但仍落后于 Anthropic
OpenAI 第三季度营收环比增长约 50% 至 100 亿美元，调整后经营亏损从 101 亿美元小幅升至 109 亿美元。Anthropic 同期营收增长 47% 至 170 亿美元，含股权激励的经营亏损仅 5.67 亿美元，并计划下周 IPO。OpenAI 企业业务在第三季度翻倍并成为营收主体，ChatGPT 周活跃用户达 12 亿、付费订阅用户 1 亿。