Anthropic、Claudeが既存コードの形式的な安全性証明を自動生成

入選の記録

入選二回の合計 160 ≥ 基準の 2 倍 152

情報源の区分

メディアと個人、この区分の基準は 76 点

予備審査

通過：Claude自动生成代码安全证明，属AI技术进展

推薦理由

AnthropicがClaudeでOSS-Fuzzのライブラリを形式的に検証した手法と、アーキテクチャ・スレッド・入力規模における明確な限界がわかる。

採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。