Anthropic与Theorem公布AI形式化验证研究，覆盖123个开源库

Anthropic在10月22日介绍与Theorem合作的研究：使用Claude验证123个开源库的特定安全性质，并公开部分证明。结论依赖明确的运行假设，不等于软件不存在任何漏洞。 来源：https://www.anthropic.com/research/formal-verification