微软研究院发布PDD Kit原型以验证AI生成代码

微软研究院发布了 PDD Kit，这是一套基于“证明驱动开发”（Proof-Driven Development）的工具包，旨在通过形式化验证解决 AI 智能体生成全栈 Web 应用时的可靠性问题。 目前 PDD Kit 仅作为研究原型存在。受限于底层工具 Verus 的支持范围，该工具包当前只能对 Rust 语言编写的代码进行验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。