标签 > AI参与写证明 谷歌DeepMind完成Signal协议形式化验证

谷歌 DeepMind 依靠自研多智能体框架 AlphaProof Code，让 AI 参与撰写数学证明，完成了 Signal 加密协议 libsignal 参考实现的