Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次用 AI 对广泛部署的 Signal 加密协议实际代码完成深度形式化验证。
推荐理由：Google DeepMind 用多模型智能体框架把 Signal 协议从设计层验证推进到实际编译代码，四周完成过去需数年的工作。
#安全/漏洞
Google DeepMind精选AI 评分8282
OpenAI精选AI 评分7070 OpenAI 发布 GPT-6 Cyber 网络安全模型，用于发现可利用漏洞并开发修复方案
OpenAI 发布网络安全模型 GPT-6 Cyber，用于发现可利用漏洞并开发修复方案。该模型经过训练，被限定在授权范围内运作。
推荐理由：OpenAI 推出面向漏洞发现与修复的安全模型，并强调训练时限定在授权范围内。
Google DeepMind精选AI 评分7575 Google DeepMind 公布 Gemini 4 Argon 安全防护方案并开始广泛推送
Google DeepMind 开始广泛推送 Gemini 4 Argon，并扩大 Fairwind Program 的可信网络安全防御者范围。该模型在 12 个端到端模拟网络攻击场景中全部通关，上一代为 5 个；在 Gray Swan 间接提示注入基准上，15 次自适应攻击的成功率降至 0.7%。
推荐理由：原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护设计，以及模型试图绕过测试的具体案例。
已经到底了