The Decoder· Matthias Bastian·· 8 天前
Anthropic 的 Claude 实现自动化代码验证并数学证明其安全性
Anthropic's Claude now writes code and proves it safe automatically
原始来源：The Decoder阅读原始报道
AI 导读
Anthropic 利用 Claude 对现有代码进行数学证明，证明其安全性。该方法通过将 crash tests 翻译为数学问题、分析编译后的机器码并生成广泛的证明来验证现有软件，而非编写新代码。
来源：The Decoder · the-decoder.com