#PDD

微软披露PDD Kit：让AI编程接受形式证明约束，登录验证能保证什么？

微软研究院公布PDD Kit原型，尝试将证明驱动开发引入AI编程：先把开发者意图…