Anthropic与Theorem合作，在汇编层面形式化证明100多个开源库的安全属性
Anthropic表示正与Theorem合作，使用Claude在汇编层面形式化证明100多个开源库的安全属性。即使成熟且经过大量测试的软件也可能存在漏洞；Anthropic称，大语言模型发现这类问题的能力正在提升。
本文来源：Techmeme，仅供学习参考，版权归原作者所有。