THE DECODER· Matthias Bastian·· 2 小时前精选AI 评估 · 80/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Anthropic 让 Claude 自动为代码生成形式化安全证明
Anthropic's Claude now writes code and proves it safe automatically
AI 导读
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 项目中 123 个开源库的测试程序做形式化验证，几周内产出约 1.8 亿行数学证明代码，由 Rocq 独立校验，几乎无需人工审查。
推荐理由
Anthropic 用 Claude 对 OSS-Fuzz 库做形式化验证，并给出算力成本与适用边界，可据此判断 AI 自动验证代码的可行范围。
来源：THE DECODER · the-decoder.com