AI形式化验证 に関するニュース

AnthropicとTheoremが連携、ClaudeがOSS-Fuzz収録123ライブラリのRISC-Vアセンブリでゼロクラッシュを初めて数学的に証明

AnthropicとTheoremは共同研究を発表し、ClaudeがGoogle OSS-Fuzz収録の123個の実在オープンソースライブラリに対して約1億8000万行のRocq証明コードを生成し、RISC-Vアセンブリレベルで239のエン