微软发布 PDD Kit 实现 AI 代码形式化验证

微软研究部门发布 PDD Kit，旨在通过形式化验证确保 AI Agent 生成的 Web 应用代码严格符合用户意图。 该工具包基于“证明驱动开发”（Proof-Driven Development, PDD）范式，将形式化方法引入日常软件开发流程。其核心目标是解决 AI 生成代码可能偏离用户实际需求的问题，通过严格的逻辑证明机制来保证输出结果的准确性与一致性。

AI 根据报道生成 · 42 分钟前更新

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