← 返回 AIRadar 首页

微软研究院发布 PDD 套件：利用形式化验证保障 AI 智能体生成代码正确性

针对 AI 智能体代码生成量激增带来的可靠性隐患，微软研究院推出形式化证明驱动开发套件，通过意图规范转化与严格数学证明确保生成代码的正确性。