AlphaProof Code 简介：深度验证复杂软件的突破

原文：Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

AlphaProof Code 代理用 Lean 编写了 300 万行证明来验证 Signal 的核心加密。

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。