Claude 形式验证 123 个开源函式库，过程挖出数百个错误

据链新闻发布，Anthropic 与 Theorem 合作，用 Claude 对 Google OSS-Fuzz 里 123 个开源函式库的 239 个进入点做形式验证，证明小于 64 MB 的输入都不会当机，过程找出数百个错误；Anthropic 也说明证明只涵盖单执行绪 RISC-V 等限制。 这篇文章 Claude 形式验证 123 个开源函式库，过程挖出数百个错误最早出现于链新闻 ABMedia 。