注目のストーリー進行中
Claude、100以上のOSSライブラリを形式検証
1件の報道1件のソース2 時間前更新
これまでの経緯
報道より
AnthropicはFrontier Red Teamブログで、Claudeを使ってソフトウェアを大規模に形式検証する研究を公開した。@theoremlabsと共同で、数週間のうちに100を超える実在のオープンソースライブラリでセキュリティ特性を証明したという。全文は https://www.anthropic.com/research/formal-verification で読める。
AnthropicAI (X)より
報道タイムライン
報道を追って、ストーリーのさまざまな側面を確認しましょう。
10月23日
- AnthropicAI (X)Anthropic、Claudeで大規模ソフトウェアを形式検証する研究をFrontier Red Teamブログで公開
AnthropicはFrontier Red Teamブログで、Claudeを使ってソフトウェアを大規模に形式検証する研究を公開した。@theoremlabsと共同で、数週間のうちに100を超える実在のオープンソースライブラリでセキュリティ特性を証明したという。全文は https://www.anthropic.com/research/formal-verification で読める。
このニュースの注目度の推移
推移を表示するための継続的な観測データがまだ足りません。