百度文心 5.5 Flash Preview 发布：主打快、省、开源三张牌
百度文心 5.5 Flash Preview 正式发布，已上线千帆平台，Web 端与 API 同步开放，模型权重将于11月25日前以 Apache 2.0 许可证开源，支持 SGLang 和 vLLM 部署。
#推理
雷峰网AI 评分7373
The DecoderAI 评分6161 Google 发布 Gemini Decision 1 与 Gemini Decisions API
Google DeepMind 推出 Gemini Decisions API，底层模型 Gemini Decision 1 可在一次处理中完成最多 1,000 个独立问题，覆盖文本、图像、音频、视频和 PDF，直接给出选项评分与带置信值的概率，延迟为 150 至 250 毫秒。
The DecoderAI 评分7474 Google DeepMind 发布 AlphaProof Code，四周验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，一个能数学证明软件符合安全规格的 AI 系统，并在 Signal 加密协议上完成验证，用时四周，而这类工作通常需要数年。
Google DeepMind精选AI 评分8888 Google DeepMind 开源 Gemini 4 Carbon 模型正式开放使用
Google DeepMind 宣布 Gemini 4 Carbon 正式向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流，适用于复杂多步编码调试和开放式科学研究，消耗 token 多于 Gemini 4 Argon。
推荐理由：原文给出 Carbon 与 Argon 的分工、定价和多项基准名次，可据此判断它在复杂任务中的定位与迁移成本。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次用 AI 在这一深度形式化验证广泛部署的密码学协议 Signal 的实际代码，也是任何方法首次验证此类协议的实现。
推荐理由：原文给出验证深度、耗时与人工复核比例等关键数字，读者可据此评估 AI 形式化验证相对传统方法的效率差异。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 宣布推出下一个前沿模型 Gemini 4 Carbon，称其为迄今最强模型，具备 SOTA 网络安全与长时程能力，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出了网络安全与长时任务的具体基准分数和分阶段开放路径，读者可据此判断其面向的首批用户与能力边界。