The Decoder· Matthias Bastian·· 1 天前AI 评分74
Anthropic 用 Claude 自动生成数学证明，验证现有代码在限定条件下的正确性
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 与 Theorem 使用 Claude 验证现有软件，几周内为 Google OSS-Fuzz 项目中 123 个开源库的测试程序生成了约 180 million 行数学证明代码。
来源：The Decoder · the-decoder.com