Anthropic联手Theorem Labs，让Claude下沉至机器码/RISC-V汇编层，对大量生产级开源代码库进行形式化验证。数周内完成123个开源代码库、239个测试入口，产出1.8亿行通过核验的Rocq数学证明代码。更震撼的是，它挖出了连万亿次模糊测试都未能发现的隐秘漏洞。
