#Gemini Carbon

12:02研究拡散指数 71

Google DeepMindがAlphaProof Code公開、Signalのコードを数学的に検証

Google DeepMindは、Signalの暗号化プロトコルの実装コードを厳密に数学的検証するフレームワーク「AlphaProof Code」を発表しました。Gemini駆動のエージェントが600万行超のLean証明コードを生成し、従来数年かかった検証をわずか4週間で完了。人間の確認が必要な箇所を全体の1%に抑えました。