🤯 Claude 开始给开源软件做数学级安全验证了！ Anthropic 联合 Theorem，在数周内验证了 123 个开源库的部分安全属性，还发现并修复… · @tieniu718 · TwKit

@tieniu718

🤯 Claude 开始给开源软件做数学级安全验证了！ Anthropic 联合 Theorem，在数周内验证了 123 个开源库的部分安全属性，还发现并修复了一些长期隐藏的漏洞。 但这不代表软件从此没有漏洞，验证范围仍有限。 官方介绍：https://www.anthropic.com/research/formal-verification

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