微软研究院发布 PDD Kit 校验 AI 生成代码

微软研究院发布 Proof-Driven Development（PDD）Kit，试图用形式化方法校验 AI 生成的代码。按其说明，这套工具先把开发者的意图转成形式化规格，再用形式化验证证明生成的代码符合该规格。 微软研究院称，此举针对 AI 智能体越来越多参与写代码后带来的正确性问题。目前公开信息只描述了这一流程，未给出验证准确率或适用范围等效果数据。

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

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