Google DeepMind 推出 AlphaProof Code，四周验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，用 AI 智能体对软件进行数学证明，验证其符合安全规格。研究团队在 Signal 的加密协议上演示，四周完成了通常需要数年的工作，验证对象是用户设备上实际运行的加密核心代码，而非此前的理论设计阶段。
#AI 模型
The DecoderAI 评分7676
Google DeepMind精选AI 评分6767 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，面向开发者、企业、科学家和消费者开放，主打网络安全能力、长程智能体工作流与科学推理。
推荐理由：官方披露了 Carbon 在漏洞发现、利用与修补基准上的表现，以及配套的滥用防护与提示注入测试数据。
Google DeepMind精选AI 评分8080 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，这是一个多 LLM 智能体框架，用于对实际运行代码做深度形式化验证。研究团队与模型协作把 Signal 协议的安全目标写成形式化规约，由 Gemini Carbon 驱动的智能体生成超过六百万行 Lean 证明，人工只需复核约 1% 的代码库，整个验证过程耗时四周。
推荐理由：AlphaProof Code 用多智能体把形式化验证推进到编译后代码层，并给出可复用的验证产物。
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 毫秒，可将可拦截的密钥数量提升一倍以上。