The Decoder· Manuel Uth·· 4 天前
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 的加密协议上完成验证，耗时四周，而这类工作通常需要数年。
入选记录
门槛 76媒体与个人第一次 88第二次 88
入选两次之和 176 ≥ 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：AlphaProof Code用AI智能体验证加密代码
- 推荐理由
- DeepMind 用 AI 智能体完成 Signal 加密核心的形式化验证，给出耗时与人工复核比例，可对照传统验证流程的成本。
- 同一件事
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：The Decoder · the-decoder.com