AnthropicはFrontier Red Teamブログで、Claudeを使ってソフトウェアを大規模に形式検証する研究を公開した。@theoremlabsと共同で、数週間のうちに100を超える実在のオープンソースライブラリでセキュリティ特性を証明したという。全文は https://www.anthropic.com/research/formal-verification で読める。
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: https://www.anthropic.com/research/formal-verification
出典: Anthropic · x.com