fiora

Anthropic 和 Theorem Labs 合作做了一件很“苦”的事：让 Claude 直接对着 RISC-V 汇编，给开源软件做形式化验证。 几周时间，覆盖 123 个开源代码库、239 个测...