Google DeepMind·· 5 天前精选AI 评分80
Google DeepMind 介绍 AlphaProof Code，形式化验证 Signal 核心加密代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 公布 AlphaProof Code 研究，由人类专家指导 AI 智能体，形式化验证 Signal 核心加密代码的关键安全属性。
推荐理由
研究将验证对象从协议设计推进到实际运行的代码，为理解形式化验证如何覆盖设计与实现之间的安全缺口提供了具体案例。
来源：Google DeepMind · deepmind.google