跳到正文
2026 年 11 月 6 日 · 星期五每天 08:00 出刊

AI 日报 · 2026 年 11 月 6 日 · 星期五

TOMABC

第 25 期062026 年 11 月星期五
8件大事7个来源7件一手发布2个新模型约 2 分钟读完
头条

OpenAI 发布 GPT‑6 Cyber 网络安全模型

OpenAI 推出 GPT‑6 Cyber,一款用于发现可利用漏洞并开发修复方案的网络安全模型,训练其在授权范围内运行。

OpenAI News一手另有 2 家信源报道原文
01

模型发布/更新

02

产品发布/更新

03

论文研究

04

技巧与观点

Microsoft Research一手

微软发布 PDD Kit 用形式化验证 Agent 编写的完整栈 Web 应用

微软研究发布 PDD Kit,把开发者意图转成 Verus 形式化规格,再证明 Agent 写的代码对每个输入都满足该规格,证明达不到的地方回退到测试。它在 GitHub Next 的 Chopin 中验证了 Rust 电商应用 Pet Store 的登录逻辑,硬化代码并发现既有 bug,证明其不存在登录漏洞。

(本期完)

TomABC 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本