Anthropic 用 Claude 对开源库做数学级安全验证，几周完成 123 个库
Anthropic 用 Claude 把测试变成数学证明，几周验证了 123 个开源库，还顺手修了上百个老 Bug，做安全的人可以看看思路。
#Theorem
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「Theorem」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月23日
Anthropic 用 Claude 把测试变成数学证明，几周验证了 123 个开源库，还顺手修了上百个老 Bug，做安全的人可以看看思路。
