谷歌 Deepmind 的 AlphaProof 代码在四个星期而不是几年内验证了 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 计划将该方法扩展到电网和医疗设备等关键基础设施。谷歌文章

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。