Ars Technica · AI· Lily Hay Newman, wired.com·· 4 天前
Google DeepMind 对 Signal 的关键部分完成数学验证
Google DeepMind just mathematically verified key parts of Signal
AI 导读
Google DeepMind 对 Signal 的关键部分完成数学验证，该项目历时四周。原文称这一项目暗示 AI 可能让形式化验证变得更实用。
入选记录
门槛 76媒体与个人第一次 58第二次 58
未入选两次之和 116 < 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：AI用于数学形式化验证Signal加密
- 同一件事
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Ars Technica · AI · arstechnica.com