Anthropic的Claude现在能自动编写代码并证明其安全性 | AI Archive

Anthropic与Theorem合作,展示了其AI模型Claude能够自动生成数学证明,以验证现有软件代码的正确性。在最近的一个项目中,Claude在短短几周内为Google OSS-Fuzz项目的123个开源库生成了约1.8亿行的证明代码。这一自主过程涉及将崩溃测试转化为数学问题并分析编译后的机器码,随后由独立工具Rocq对结果进行核查。在此验证阶段,Claude发现了数百个传统测试方法多年来未能找到的漏洞,包括广泛使用的PDF阅读

AI Archive ·

Terminal content

Latest news

News articles

Repository of the day

cloudflare/security-audit-skill · ⭐ 41,978

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

Source: GitHub Trending