The Decoder· Matthias Bastian·· 10 天前精选AI 评分70
Anthropic 的 Claude 现在可以自动编写和验证代码
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 使用 Claude 自动编写和验证代码，通过将崩溃测试转换为数学问题，分析编译后的机器代码，并生成广泛的证明来验证现有软件。
推荐理由
原文给出了能力变化和开放入口，读者可以据此判断它会怎样改变现有工作流。
来源：The Decoder · the-decoder.com