open-source 杂的

Anthropic 的 Claude 现在可以自动生成代码并验证其安全性.

Anthropic 的 Claude 为123个图书馆生成了验证,发现罕见错误并显示核查限制和成本.