Chinese contentAnthropic 用 Claude 对开源库做数学级安全验证，几周完成 123 个库
Anthropic 用 Claude 把测试变成数学证明，几周验证了 123 个开源库，还顺手修了上百个老 Bug，做安全的人可以看看思路。
#Theorem
1 stories · 1 in 7 days · 1 in 30 days
Stories, products and papers tagged "Theorem", newest first.
Oct 23
Anthropic 用 Claude 把测试变成数学证明，几周验证了 123 个开源库，还顺手修了上百个老 Bug，做安全的人可以看看思路。
