The Decoder· Matthias Bastian·· 3 小时前AI 评分74
Claude 自动生成代码正确性证明并发现数百个漏洞
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 与 Theorem 利用 Claude 自动为开源库生成形式化正确性证明，在数周内产出约 180 million 行证明代码，并发现数百个常规测试难以捕获的漏洞。
来源：The Decoder · the-decoder.com