谷歌 DeepMind 刚刚从数学上验证了 Signal 的关键部分
原文：Google DeepMind just mathematically verified key parts of Signal
这个为期四周的项目暗示人工智能可以使形式验证更加实用。
正文没能搬到本站：该站禁止服务器（机房 IP）抓取，返回 site，换任何浏览器标识都拿不到。在手机上打开原站往往又慢又卡，下面先把收录到的内容给你。
本站会持续尝试重新抓取；也可以收藏这条，正文抓到后会永久保留。
正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。
