The Decoder· Matthias Bastian·· 4 天前AI 评分74
Anthropic用Claude自动完成代码形式化验证
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic的Frontier Red Team与合作方Theorem合作，让Claude对现有开源代码进行数学正确性证明：模型在数周内生成约1.8亿行证明代码，覆盖Google OSS-Fuzz项目中123个开源库的测试程序，由独立程序Rocq自动校验。
这篇内容暂未取得可阅读的正文，目前提供中文导读和原文入口。节目介绍或原站公开片段不代表完整文章。
来源：The Decoder · the-decoder.com
原文链接：https://the-decoder.com/anthropics-claude-now-writes-code-and-proves-it-safe-automatically/