**Anthropic Claude 实现代码自动生成与安全自动验证**

_Anthropic&\#039;s Claude now writes code and proves it safe automatically_

> Anthropic 的 Claude 模型现已具备自动生成代码并自动证明其安全性的能力。该模型为 123 个开源库生成了约 1.8 亿行数学证明代码，成功发现了传统测试遗漏的漏洞，旨在将形式化验证变得像标准测试一样普及。

**来源信息**
- **来源**：The Decoder：AI News（RSS）
- **分类**：ai-models
- **发布时间**：2026-10-23 19:32（北京时间）
- **原文**：[打开原文](https://the-decoder.com/anthropics-claude-now-writes-code-and-proves-it-safe-automatically)