DeepMind用AlphaProof Code四周验证Signal加密核心

Google DeepMind发布AlphaProof Code，一个用数学证明软件符合安全规格的AI系统，并用它验证了Signal加密协议的核心代码，四周完成；DeepMind称这类工作通常需要数年。 验证流程为：专家先定义形式化安全要求，再由基于Gemini Carbon的AI智能体用Lean证明语言写出六百多万行代码，其中约1%的代码被标记出来交人工审查；测试中故意植入的两个bug被立即发现。 DeepMind计划通过CodeMender等系统把该方法扩展到电网和医疗设备。

AI 根据报道生成 · 2 小时前更新

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