Ars Technica · AI· Lily Hay Newman, wired.com·· 2 天前AI 评分44
Google DeepMind 用 AI 数学验证 Signal 关键部分
Google DeepMind just mathematically verified key parts of Signal
AI 导读
Google DeepMind 用四周时间的项目，对 Signal 的关键部分进行了数学形式化验证，成果暗示 AI 或可让形式验证变得更实用。
来源：Ars Technica · AI · arstechnica.com