Anthropic 报告与 Theorem 合作，使用 Claude 为超过 100 个开源库证明选定的安全属性。
10 月 22 日的研究涉及编译后的 RISC-V 代码和机器检查的证明。保证仅适用于声明的规范及假设，不能理解为消除了所有漏洞。对工程团队而言，值得区分的是测试具体样例与验证明确属性；规范本身以及实际部署环境仍需审查。
值得关注
Anthropic 报告用 Claude 为百余个开源库完成形式化证明
Anthropic 报告与 Theorem 合作，使用 Claude 为超过 100 个开源库证明选定的安全属性。
来源发布于 2026-10-22
本文为译文。 阅读原稿
原始来源官方来源
工具导航Claude功能、访问与方案