Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功 2026/11/11 AI, ソフトウェア, サイエンス, セキュリティ,