Google DeepMind·· nullおすすめAIスコア81
Google DeepMind、Signalの暗号プロトコルを形式検証するAIエージェント基盤「AlphaProof Code」を発表
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AIによる概要
Google DeepMindは、AIエージェント基盤「AlphaProof Code」を使い、Signalの暗号プロトコルの実装コードについて、主要なセキュリティ特性を数学的に証明したと発表しました。
推荐理由
設計だけでなく実際に動くSignalのコードまで形式検証した手順と、検証に4週間を要した点から、AIエージェントの適用範囲を把握できます。
出典：Google DeepMind · deepmind.google