Anthropic／官方：以 Claude 大規模形式化驗證一百二十三個開源庫——RISC‑V 組譯級；約一億八千萬行 Rocq；與 Theorem 合作
Anthropic 於十月二十二日經官方研究頁宣布，與 Theorem 合作，以 Claude 在 RISC‑V 組譯層面對一百二十三個真實開源庫完成大規模形式化驗證：把 Google OSS‑Fuzz 模糊測試入口轉成「在既定假設下對任何小於六十四 MB 輸入皆不崩潰」的規格，再以約一億八千萬行 Rocq 證明約二百...
Anthropic 於十月二十二日經官方研究頁宣布，與 Theorem 合作，以 Claude 在 RISC‑V 組譯層面對一百二十三個真實開源庫完成大規模形式化驗證：把 Google OSS‑Fuzz 模糊測試入口轉成「在既定假設下對任何小於六十四 MB 輸入皆不崩潰」的規格，再以約一億八千萬行 Rocq 證明約二百...