Claude 形式驗證 123 個開源函式庫，過程挖出數百個錯誤

ABMedia 鏈新聞 · 2026/10/23 下午12:24:51

Anthropic 與 Theorem 合作，用 Claude 對 Google OSS-Fuzz 裡 123 個開源函式庫的 239 個進入點做形式驗證，證明小於 64 MB 的輸入都不會當機，過程找出數百個錯誤；Anthropic 也說明證明只涵蓋單執行緒 RISC-V 等限制。 這篇文章 Claude 形式驗證 123 個開源函式庫，過程挖出數百個錯誤 最早出現於 鏈新聞 ABMedia 。