AI 新闻 · The Decoder
谷歌 Deepmind 的 AlphaProof Code 在四个星期而不是几年内验证了 Signal 的加密核心
发布于 · 本站收录 2026-11-12 08:02
Google Deepmind 的 AlphaProof Code 在四个星期内从数学上验证了 Signal 的加密核心代码，这一过程通常需要数年时间。由 Gemini Carbon 提供支持的 AI 代理编写了超过 600 万行的验证代码，并且仅标记了大约 1% 供人工审核。
英文原文标题与摘要
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote more than six million lines of proof code and flagged only about one percent for human review.
本站程序每小时从公开 RSS / 官方博客自动收集，英文内容为机器翻译摘要，已自动过滤低俗、时政等敏感内容；细节以原文为准。