Anthropic 以 Claude 對 123 個開源函式庫的 RISC-V 組合語言做形式化驗證，並發現多年未被察覺的錯誤
此次驗證證明程式在單執行緒、固定記憶體等條件下，對 64 MB 以內輸入不會因記憶體錯誤或斷言失敗而崩潰，並公開部分證明供他人重用。
Anthropic 官網一手來源
完整日報
AI 日報 2026-10-23
29 則值得知道的變化
29 則值得知道的變化
此次驗證證明程式在單執行緒、固定記憶體等條件下，對 64 MB 以內輸入不會因記憶體錯誤或斷言失敗而崩潰，並公開部分證明供他人重用。
迁移涵蓋逾 80 萬行程式碼、耗時約 14.5 週，並可將運行時以 C ABI 直接嵌入宿主應用，省去每個客戶端約 100MB 記憶體開銷。
Scope 可記錄每次執行的模型與代理版本、工具設定與操作紀錄，並支援依相依關係設定多項檢查條件，目前為研究預覽階段、採 MIT 授權。