原创 Anthropic联手Theorem Claude首证123库RISC-V汇编零崩溃 2026年10月22日，Anthropic与Theorem发布研究，Claude为123个开源库生成约1.8亿行Rocq证明代码，在RISC-V汇编层面对239个入口点证明任意输入不崩溃，同时发现经万亿次模糊测试未触发的漏洞。此前seL4验 AI形式化验证 开源软件安全 Anthropic 5小时前 100
