外部精选
ai-models
#海外 AI 资讯#AI in practice#Artificial Intelligence#Short News#AI and safetyGoogle DeepMind 用 AlphaProof Code 四周完成 Signal 加密核心形式化验证
来源标题：Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google DeepMind 的 AlphaProof Code 在四周内完成了 Signal 加密核心代码的数学验证，这类工作通常需要数年。由 Gemini Carbon 驱动的 AI 代理编写了超 600 万行证明代码，仅约 1% 被标记需人工复核。DeepMind 计划将该方法推广到电网、医疗设备等关键基础设施。
The DecoderManuel Uth2026/11/11 · 今天1 分钟阅读
这个来源的 RSS 只提供摘要，下面是原文导语；完整论述请点「打开原文」。
Google Deepmind 的 AlphaProof Code 在四周内完成了对 Signal 加密核心代码的数学验证，而这一过程通常需要数年时间。由 Gemini Carbon 驱动的 AI agent 编写了超过六百万行证明代码，仅标记出约百分之一供人工审核。Deepmind 计划将该方法推广到电网和医疗设备等关键基础设施领域。 这篇文章 Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years 最早出现在 The Decoder 上。
本条为导读摘要，完整论述请以原文为准。