Google DeepMind 发布 Gemini 4 Carbon 模型
Google DeepMind 向开发者、企业、科研人员和消费者开放 Gemini 4 Carbon，称其在网络安全能力和长周期智能体工作流上达到前沿水平。
推荐理由：官方给出 Carbon 与 Argon 的定位差异、多项基准排名和每任务成本，便于判断何时该用更重的模型。
#安全/对齐
Google DeepMind精选AI 评分8888
Google DeepMind精选AI 评分8585 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，并用它数学证明了 Signal 协议实际代码的关键安全属性。
推荐理由：DeepMind 用多 LLM 智能体框架对 Signal 协议实际代码做形式化验证，四周完成过去需数年的工作，并开源验证产物。
OpenAI NewsAI 评分4040 OpenAI Control Room：追踪并叫停研究基础设施中的模型工作负载
OpenAI 介绍 Control Room，一套可跨其研究基础设施追踪模型工作负载的中央系统，在出现安全或安保顾虑时能快速叫停这些工作负载。该系统用于统一掌握模型任务运行情况，并在需要时迅速中止。
AWS Machine Learning Blog精选AI 评分7878 Claude Fable 5.2 与 Mythos 5.2 上线 Amazon Bedrock
AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用。
推荐理由：原文交代了 Fable 5.2 在编码与科研任务上的定位，以及 Bedrock 上的调用方式和迁移路径。
OpenAI News精选AI 评分7878 OpenAI 发布 GPT-6 Cyber 网络安全模型
OpenAI 发布网络安全模型 GPT-6 Cyber，用于发现可利用漏洞并开发修复方案。该模型经过训练，被要求只在授权范围内行动。
推荐理由：OpenAI 推出面向网络安全的专用模型，强调在授权范围内工作，可观察安全智能体的对齐约束如何落地。
Google DeepMind精选AI 评分8888 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出网络安全与长程智能体任务的基准成绩和分阶段开放路径，可据此判断前沿模型在攻防场景的进展。
Google DeepMindAI 评分5858 Google DeepMind 与新加坡政府合作推出端侧诈骗检测模型
Google DeepMind 与新加坡政府科技局（GovTech Singapore）合作，基于轻量级 Gemma 模型微调出一个端侧诈骗检测模型，可在用户设备上分析对话并实时预警。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出基于 ModernBERT 的密钥检测分类器，扩展 push protection 覆盖范围
GitHub 发布与 Microsoft Applied Sciences 共建的 ModernBERT 微调分类器，用代码上下文识别数据库 URL、Kubernetes Secret、Dockerfile 中的非结构化密钥，候选批次评估耗时不到 2 毫秒，可把可拦截的密钥数量提升一倍以上。