The Decoder· Manuel Uth·· 2 小时前同新闻AI 评分72
DeepMind发布AlphaProof Code：四周完成Signal加密核心验证
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
AI 导读
DeepMind发布AlphaProof Code，基于Gemini Carbon的AI代理在四周内完成Signal加密协议核心代码的形式化验证，通常需数年。系统生成超六百万行Lean证明代码，发现约1%代码需人工审查，并立即捕获两个预设漏洞。该技术验证实际运行代码，而非仅理论设计，未来计划扩展至电网和医疗设备。
同一新闻，精选展示《Google DeepMind 发布 AlphaProof Code：实现 Signal 加密协议代码的深度形式化验证》
来源：The Decoder · the-decoder.com