DeepMind 发布 AlphaProof Code 四周验证 Signal 加密核心

Google DeepMind 发布 AI 系统 AlphaProof Code，并在四周内完成对 Signal 加密协议关键组件的数学形式化验证。研究人员称，该系统能证明软件符合安全规范且无错误，将通常需数年完成的实际代码验证工作缩短至四周。 该成果旨在展示 AI 技术可显著提升形式化验证的实用性，使其更易于在实际工程中应用。DeepMind 通过在 Signal 加密协议上的演示，证实了该技术处理复杂实际代码的能力。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。