The Decoder· Matthias Bastian·· 2 小时前
Anthropic 用 Claude 自动生成数学证明验证现有代码安全性
Anthropic's Claude now writes code and proves it safe automatically
SI 导读
Anthropic 与 Theorem 合作，让 Claude 在数周内生成约 180 million lines 数学证明代码，自动验证 123 个开源库现有代码正确性。
SI 评分73
来源：The Decoder · the-decoder.com