DeepMind发布AlphaProof Code验证框架

Google DeepMind 发布 AlphaProof Code，一个结合人类专业知识与 AI 智能体的形式化验证框架，并称已用它对 Signal 协议实际代码的关键安全属性完成数学证明。DeepMind 表示，此次突破由该框架完成，并称将开源相关形式化验证产物供社区使用。 该框架的定位是提升形式化验证的深度，具体验证对象为 Signal 协议代码的安全属性；开源范围限于验证产物，而非框架本身或全部工具。

AI 根据报道生成 · 45 分钟前更新

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