程式開發

Claude 替 239 個進入點寫出機器檢查的證明，「已驗證」該信到哪裡？

Anthropic 與 Theorem 用 Claude 為 OSS-Fuzz 函式庫寫出 Rocq 證明並修掉 bug。證明涵蓋什麼、沒涵蓋什麼，維護者與資安團隊該怎麼讀。