Anthropic

我们前沿红队博客的最新消息：使用Claude大规模地正式验证软件。 正式验证可以证明代码没有某些错误，但从历史上看，它只适用于小型代码库（或者需要大量的专家时间）。 然而，随着人工智能模型的出现，这种情况开始发生变化。在与@定理实验室的合作中，我们使用Claude在几周内证明了100多个真实世界的开源库的安全属性。 在这里阅读我们的研究全文：https://t.co/zUyx8CjBEk