APPSO· 发现明日产品的·· 5 小时前同新闻AI 评分81
Anthropic 公布 Claude 在代码安全与形式化验证中的两项研究进展
全球互联网差点炸了，Claude 甩出 1.8 亿行证明来补窟窿
AI 导读
Anthropic 宣布 Claude 在软件安全领域取得两项进展：一是协助发现 25 个开源项目中的 493 项不必要的功能暴露，相关修复已体现在 OpenSSH 10.6 中。
同一新闻，精选展示《Anthropic 与 Theorem Labs 使用 Claude 实现大规模软件形式化验证》
来源：APPSO · mp.weixin.qq.com