Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明

每天一封，几分钟读完昨天最重要的新闻。无广告，随时退订。