Anthropic 用 Claude 几周啃下 123 个开源库的形式化验证，还顺手揪出一批藏了多年的陈年 Bug。 以往做形式化证明全靠顶级专家手工抠，只… · @LanzhiAI · TwKit

@LanzhiAI

Anthropic 用 Claude 几周啃下 123 个开源库的形式化验证，还顺手揪出一批藏了多年的陈年 Bug。 以往做形式化证明全靠顶级专家手工抠，只有航天和芯片这种不计成本的场景才用得起。 验证成本一旦被 AI 打下来，软件工程的合格线可能真要变天了：以后光看单元测试跑通，恐怕根本交代不过去。 #Anthropic #Claude https://x.com/AnthropicAI/status/2113390212911083894

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