AI 写代码之后，下一步可能不是写更多，而是证明代码在特定条件下不会崩 Anthropic 称 Claude 已对 123 个开源库的部分程序做形式化验证，… · @AiPoJuGe · TwKit

@AiPoJuGe

AI 写代码之后，下一步可能不是写更多，而是证明代码在特定条件下不会崩 Anthropic 称 Claude 已对 123 个开源库的部分程序做形式化验证，并发现隐藏 bug 以后代码评审会不会先看证明、再看 PR？

曝光 56 · 评论 1 · 点赞 0 · 书签 0