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

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