Anthropic 用 Claude 给123个开源库做了数学上的安全证明。 跟 Theorem 合作，Claude 写了机器可检查的证明，确认239个测试… · @SimonLe99917871 · TwKit

@SimonLe99917871

Anthropic 用 Claude 给123个开源库做了数学上的安全证明。 跟 Theorem 合作，Claude 写了机器可检查的证明，确认239个测试入口点在64MB以下任何输入都不会崩溃，还顺便找到了一些多年测试都没发现的bug。这说明AI可以把以前对大多数软件来说太贵的形式化验证，变成应对AI驱动黑客的常规手段。

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