本期持续更新，周期结束后留出 6 小时补齐采集与翻译，再固定归档。
OpenAI 推出 GPT‑6 Cyber，称其在安全研究能力与模型对齐方面均有提升，并已用于此前的 Linux 内核研究；Mozilla、Palo Alto Networks、Cisco 等安全团队及 OpenAI 内部已在试用。该模型目前仅向部分 Daybreak Red 客户开放，后续将逐步扩大。
AI推荐理由 OpenAI 官方发布新模型 GPT‑6 Cyber，称其兼顾安全研究能力与模型对齐，并提及 Mozilla、Palo Alto Networks、Cisco 等安全团队已在使用，且该模型支撑了此前的 Linux 内核研究。属于重要模型发布信息，但能力表述来自厂商自述，缺少基准与细节，且仅面向部分 Daybreak Red 客户。
Microsoft Research 发布 PDD Kit，用于应对 AI Agent 大规模生成代码后人工逐行审查难以扩展的问题。该工具将开发者意图转化为 Verus 形式化规范，证明 Agent 代码对所有输入均满足规范，在无法证明的部分回退到测试。研究团队在 GitHub Next 的 Chopin 环境中对 Rust 商店应用 Pet Store 的登录逻辑进行验证，称 Verus 强化了代码并发现既有 bug，开发者只需审查意图而非逐行阅读生成代码。
AI推荐理由 Microsoft Research 官方博客介绍 PDD Kit：将开发者意图转为 Verus 形式化规范，证明 AI 生成代码对所有输入满足规范，无法证明处回退到测试。文中给出在 GitHub Next 的 Chopin 环境中对 Rust 商店应用 Pet Store 登录逻辑做形式化验证的案例，称发现既有 bug 并证明登录逻辑相对规范无缺陷。属于研究者来源、方法明确，对 Agent 生成代码的可验证性有实际价值；但案例规模有限，效果仍属研究性验证。
阅读条件齐全、质量分至少 80 分，按真实发布或有依据的报道时间入期。
复用已审核的中文摘要与推荐理由，按质量分编排，不追加模型分析。
同一原文、已确认的重复 X 正文，以及同日完整长标题严格一致且含具体数值的事件合并保留全部来源；短标题、汇总标题或仅主题相似不合并。