Anthropic称Claude为123个开源库生成机器验证安全证明
热点事件历史事件
Anthropic称Claude为123个开源库生成机器验证安全证明
1 篇报道1 个报道来源8 天前更新
先了解这件事
报道摘要
Anthropic与Theorem合作发表研究称，Claude针对123个开源库的239个模糊测试入口点，在RISC-V汇编代码层面生成了经机器验证的安全形式化证明，证明约1.8亿行Rocq代码通过检查，典型证明约60万行。
摘自 AICSO.AI汇总
最新进展10月23日 06:22
Anthropic称Claude为123个开源库生成机器验证的汇编层安全证明报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- AICSO.AI汇总精选Anthropic称Claude为123个开源库生成机器验证的汇编层安全证明
Anthropic与Theorem合作发表研究称，Claude针对123个开源库的239个模糊测试入口点，在RISC-V汇编代码层面生成了经机器验证的安全形式化证明，证明约1.8亿行Rocq代码通过检查，典型证明约60万行。