Anthropic 与 TheoremLabs 用 Claude 验证百余个真实开源库的安全属性

Anthropic 与 TheoremLabs 合作，利用 Claude 在数周内对超过 100 个真实开源库证明安全属性。研究人员指出，当前验证采用单入口规范，证明体量较大且主要依赖复制改造，进一步扩展规模仍需组合推理与模块化抽象。