Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 向开发者、企业、科研人员和消费者开放 Gemini 4 Carbon，称其在网络安全能力和长程智能体工作流上达到前沿水平。
推荐理由：原文给出 Carbon 与 Argon 的定位差异、多项基准排名和每任务成本对比，读者可据此判断何时该用更重的模型。
#安全/对齐
Google DeepMind精选AI 评分8888
Google DeepMind精选AI 评分8282 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个由多个 LLM 智能体组成的形式化验证框架，并用它证明了 Signal 协议实际代码的关键安全属性。
推荐理由：DeepMind 用多智能体框架在四周内完成 Signal 协议代码的形式化验证，并公开了验证产物。
Google DeepMind精选AI 评分8282 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长周期任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：官方给出 Carbon 在网络安全与长周期任务上的基准与内部部署数据，可对照两周前发布的 Argon 看迭代节奏。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出基于 ModernBERT 的密钥检测分类器，扩展 push protection
GitHub 推出与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器，用代码上下文识别无固定格式的密钥，可在 2 毫秒内评估一批候选密钥，并称有望让可拦截的密钥数量翻倍以上。