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

谷歌 DeepMind 借助 AlphaProof Code 多智能体 AI 框架，用 AI 辅助编写数学证明，在机器码层面完成 Signal 协议核心 libsigna