The Decoder· Matthias Bastian·· 2 小时前精选AI 评分74
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 亿行形式化证明代码，以验证现有软件。
推荐理由
Claude 在 123 个开源库上的验证规模、缺陷发现和严格适用条件，为评估 AI 形式化验证能否进入开发流程提供了具体案例。
来源：The Decoder · the-decoder.com