Anthropic 前沿红队联手 Theorem Labs，让 Claude 深入 RISC-V 机器码进行形式化验证，成功揪出隐藏在开源代码中的高危漏洞，并用数学证明确保修复后的安全性。