Google AI 首度证明 Signal 实际代码安全，四周完成

据链新闻发布，Google DeepMind 发表 AlphaProof Code，AI 代理用 600 万行 Lean 证明 Signal 加密协定在装置上实际执行的代码符合主要安全性质，四周完成、人只需审 1%；DeepMind 说这类协定实作首度被完整形式验证。 这篇文章 Google AI 首度证明 Signal 实际代码安全，四周完成最早出现于链新闻 ABMedia 。