Google DeepMind 推出 AlphaProof Code，四周验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，用 AI 智能体对软件进行数学证明，验证其符合安全规格。研究团队在 Signal 的加密协议上演示，四周完成了通常需要数年的工作，验证对象是用户设备上实际运行的加密核心代码，而非此前的理论设计阶段。
#评测/基准
The DecoderAI 评分7676
Google DeepMind精选AI 评分7474 Google DeepMind 发布 Gemini 4 Carbon 前沿模型，主打网络安全与长周期任务
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长周期任务能力上达到 SOTA，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：官方给出 Carbon 在漏洞发现、利用验证与补丁生成三项安全基准上的具体分数，可据此判断前沿模型在防御侧的实际位置。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出基于 ModernBERT 的密钥检测分类器，将 push protection 扩展到非结构化密钥
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器，用代码上下文识别数据库 URL、Kubernetes Secret manifest、Dockerfile 中的非结构化密钥，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。