原创 DeepMind AlphaProof Code四周完成Signal机器码验证 创协议形式化证明首例 Google DeepMind于2026年11月10日发布AlphaProof Code框架，在四周内生成逾600万行Lean证明，将Signal协议安全属性验证至ARM机器码，1%代码需人工复核，并成功检出故意植入的两个旧bug。这是首次 AI形式化验证 密码学协议 DeepMind 4小时前 95
