AI圈报
论文研究普通

Anthropic 用 Claude 自动生成数学证明验证现有代码安全性

信息来源:The Decoder:AI News(RSS)·
原始标题: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