Microsoft Research 发布 PDD Kit 验证 Agent 代码
热点事件持续更新
Microsoft Research 发布 PDD Kit 验证 Agent 代码
1 篇报道1 个报道来源6 小时前更新
先了解这件事
AI 综述
2026年11月6日，Microsoft Research 发布名为 PDD Kit 的研究原型工具包，旨在将证明驱动开发引入 AI 编码流程。该工具包首先将自然语言意图转化为 Verus 形式规约，随后对 Agent 生成的 Rust 代码进行全输入证明，并利用测试覆盖形式证明未涵盖的部分。根据官方说明，由于底层依赖于 Verus 语言，PDD Kit 目前仅支持验证 Rust 代码，暂不支持其他编程语言。
AI 根据报道生成 · 4 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
11月6日
- Microsoft Research精选Microsoft Research 发布 PDD Kit，用形式验证校验 Agent 编写的 Rust 全栈 Web 应用
Microsoft Research 发布 PDD Kit，将证明驱动开发引入 AI 编码流程：先将自然语言意图转化为 Verus 形式规约，再对 Agent 生成的 Rust 代码做全输入证明，证明覆盖不到的部分用测试补位。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 911月6日 02:00
- 近 24 小时变化
- –
02.557.510
02:0003:0004:0005:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。