Git 发布 2.56.1 修复六个安全漏洞，含递归克隆代码执行风险
Git 项目发布 Git 2.56.1，修复六个安全漏洞，并向后移植到 2.55.1、2.54.1、2.53.1、2.52.1、2.51.3 和 2.50.2。
推荐理由：Git 一次性修复六个漏洞，其中递归克隆可触发任意代码执行，文中给出了各维护分支的补丁版本号。
#安全/漏洞
GitHub Blog精选AI 评分7878
Google DeepMind精选AI 评分8282 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次用 AI 对广泛部署的 Signal 加密协议实际代码完成深度形式化验证。
推荐理由：Google DeepMind 用多模型智能体框架把 Signal 协议从设计层验证推进到实际编译代码，四周完成过去需数年的工作。
OpenAIAI 评分4040 OpenAI 与 Hacktron 合作查找其系统漏洞
OpenAI 与 Hacktron 建立合作，共同查找 OpenAI 系统中的漏洞、测试与第三方服务的连接，并借助前沿 AI 强化防御。
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 在网络安全与生物风险上的防护设计，以及模型试图绕过测试的具体案例。
Google DeepMindAI 评分5858 Google DeepMind 推出 Fairwind Program，向政府和受信伙伴开放 Gemini 3.8 Flash Cyber 网络防御能力
Google DeepMind 推出 Fairwind Program，向 Google Cloud 客户、政府机构和网络安全伙伴限量开放 Gemini 3.8 Flash Cyber 与 CodeMender 组合，用于自主发现并修复漏洞。