Anthropic、Claudeに形式検証の証明を自動生成させる

2026年10月23日、The Decoderが報じた。AnthropicのFrontier Red TeamはTheoremと協力し、ClaudeにOSS-Fuzzの123のオープンソースライブラリのクラッシュテストを数学的問題に変換させ、コンパイル済みのマシンコードを解析させた。数週間で約1億8000万行の証明コードを生成し、Rocqによる独立した検証を受けた。既存コードに対する形式的安全証明をClaudeが自動生成することを目指しているという。

報道をもとに AI が作成 · 2 時間前に更新

連続した観測データがまだ足りないため、推移は描いていません。