OpenAI Daybreak 加码补丁自动化：AI 安全竞赛从“发现漏洞”转向“合并修复”
OpenAI 在 Daybreak 体系下推出 Patch the Planet、Codex Security 插件和 GPT-5.5-Cyber 完整版，重点不再只是发现漏洞，而是帮助开源维护者把修复真正合并进代码库。
Anthropic与Theorem公布AI形式化验证成果：证明覆盖到哪里？
Anthropic与Theorem公布AI生成形式化证明的研究成果。本文结合公开仓库，区分239个研究入口与60个公开入口，解释RISC-V构建、系统模型及终止性边界，并梳理开源维护者的参与路径。
Anthropic开放OSS Scanner：AI安全开始深入开源软件供应链
Anthropic在网络安全使命相关公开材料中展示OSS Scanner，用AI辅助发现开源软件中的漏洞与风险。它释放的信号是：AI安全的重点正在从模型拒答扩展到代码、依赖和软件供应链。
SAFE 事件报告机制登场：AI Agent 安全从单点防护走向行业共治
Open Secure AI Alliance 推动 Shared AI Findings Exchange（SAFE）讨论，把 AI Agent 的异常行为、越权调用和安全发现变成可共享、可复盘的行业信号。
IBM、Red Hat 与 Palo Alto 扩展 Project Lightwell：AI 时代的漏洞响应开始“先防护、再修复”
IBM、Red Hat 与 Palo Alto Networks 在 6 月 24 日宣布扩展 Project Lightwell，把开源软件修复、漏洞情报和网络层虚拟补丁连接起来，回应 AI 加速漏洞发现后的企业安全压力。