论文研究普通
Anthropic 用 Claude 自动生成数学证明验证现有代码安全性
原始标题:Anthropic's Claude now writes code and proves it safe automatically
内容摘要
Anthropic 的 Frontier Red Team 与 Theorem 合作,让 Claude 将 OSS-Fuzz 测试转化为数学问题并生成约 1.8 亿行证明代码,由独立程序 Rocq 自动核验,几乎无需人工审查。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源The Decoder:AI News(RSS)
站内情报编号intel-dc981d11756fba929a1e0ed3