FinHotFINHOT / AI 与硬科技 / 论文研究
DeepMind发布AlphaProof Code，四周验证Signal加密核心代码
Google DeepMind发布AI系统AlphaProof Code，称可用数学方法证明软件符合安全规范。研究团队在Signal加密协议上演示：专家先定义形式化安全要求，基于Gemini Carbon的AI代理用Lean证明语言编写逾600万行，标记约1%代码库供人工复核，并在四周内验证用户设备上实际运行的加密核心代码；此前验证多止于理论设计阶段。
信源原题：Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
摘要供资讯阅读参考，请核对原文。 反馈与更正 →