谁还敢让 AI 写的代码直接上生产？ 10 月 21 日，GitHub Next 和微软研究院一起，掏了个研究预览：PDD Kit，Proof-Driven… · @chenYijl · TwKit

@chenYijl

谁还敢让 AI 写的代码直接上生产？ 10 月 21 日，GitHub Next 和微软研究院一起，掏了个研究预览：PDD Kit，Proof-Driven Development Kit。 核心思想就一句话：别再指望人一行行看 diff 了，给代码配一份数学规约，让机器自己证明它是对的。 流程是五步：先在 Chopin 里组队把需求聊明白（GitHub Next 的多人智能体协作规划工具）；PDD Kit 把意图推导成 Verus 写的规约；你只批规约，不看代码；最后 Verus 验证器自动证明：对所有可能的输入，代码都满足规约；证不出来的边角，才回退到测试和 computer-use agent 补位。 演示用的是一个登录流程：从"你想让它干什么"开始，最后产出一个 verified pull request，盖了"已证明"的戳。 GitHub 自己的野心写得很直白：让团队不用再逐行 review AI 生成的代码，就能直接发生产——号称比 code review 加测试还靠谱。 唯一的问题是：Verus 只认 Rust！ 其他语言的 AI 代码，你们还得自己一行行看。📐

曝光 9 · 评论 0 · 点赞 0 · 书签 0