AI 行业资讯 - 形式化验证

Anthropic与Theorem Labs报告：大模型让形式化验证规模化落地成为可能

Anthropic与Theorem Labs发布报告，称其Claude模型针对123个开源软件库的239个程序入口生成约1.8亿行Rocq证明代码，发现并修复数百个Bug，首次大规模在汇编指令层面（RISC-V）将形式化验证应用于生产软件。