Anthropic稱Claude生成239項安全性形式證明

2026年10月23日，Unite.AI 報道 Anthropic 發佈一項研究。Anthropic 稱，Claude 已為 123 個開源程式庫的 239 個模糊測試入口生成安全性形式證明。報道指出，這些證明是在 RISC-V 組合語言層級生成，並可由機器核查。研究披露的成果包括涉及的程式庫及入口數量，以及證明生成所處的技術層級和可機器核查的特性；以上是這篇報道提及的工作與目前進展。

AI 根據報道生成 · 2 小時前更新

還沒有足夠的連續觀測數據，暫不繪製趨勢。