Anthropic称，Claude与Theorem合作，用数周为123个开源软件库的239个测试入口生成约1.8亿行形式化证明，并发现数百个此前难以通过模糊测试发现的漏洞。项目已开放部分证明和OSS Verify，但目前仅覆盖特定硬件、部分入口及内存安全等条件，证明成本仍高。
来源：腾讯新闻
Anthropic称，Claude与Theorem合作，用数周为123个开源软件库的239个测试入口生成约1.8亿行形式化证明，并发现数百个此前难以通过模糊测试发现的漏洞。项目已开放部分证明和OSS Verify，但目前仅覆盖特定硬件、部分入口及内存安全等条件，证明成本仍高。
来源：腾讯新闻
