The Decoder· Manuel Uth·· 18 小时前精选AI 评分82
Google DeepMind 发布 AlphaProof Code，四周内完成 Signal 加密核心形式化验证
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
AI 导读
Google DeepMind 发布 AlphaProof Code，该系统利用 AI 智能体在四周内完成了 Signal 加密核心代码的形式化验证，而传统方法通常需要数年。基于 Gemini Carbon 构建的智能体生成了超过 600 万行 Lean 证明代码，仅标记约 1% 的代码供人工审查，并立即捕获了测试中故意植入的两个漏洞。
推荐理由
原文展示了 AI 系统对 Signal 加密核心进行形式化验证的具体流程与耗时对比，为理解代码安全验证提供了新视角。
来源：The Decoder · the-decoder.com