Techmeme·· 23 天前AI 评分22
Anthropic 与 Theorem 合作，用 Claude 在汇编代码层面对 123 个开源库完成安全属性形式化证明
Anthropic says it partnered with Theorem to use Claude to formally prove useful security properties at the assembly code level across 123 open-source libraries (Anthropic)
AI 导读
Anthropic 宣布与 Theorem 合作，用 Claude 在汇编代码层面形式化证明 123 个开源库的有用安全属性。该工作把形式化验证推进到汇编代码层级，覆盖范围达 123 个开源库。
来源：Techmeme · techmeme.com