AnthropicはTheoremと協力し、Claudeで100を超えるオープンソースライブラリの特定の安全性を証明したと報告しました。
10月22日の研究は、コンパイル済みRISC-Vコードと機械検証された証明が対象です。保証は明示された仕様と仮定に限られ、あらゆるバグの排除を意味しません。開発チームは個別のテストと性質の証明を区別し、仕様と実際の実行環境も確認する必要があります。
注目の動向
Anthropic、Claudeで100超のライブラリの形式的証明を報告
AnthropicはTheoremと協力し、Claudeで100を超えるオープンソースライブラリの特定の安全性を証明したと報告しました。
出典の公開日 2026-10-22
この記事は翻訳です。 原文を読む
原典公式情報
ツール一覧Claude機能・利用条件・プラン