Ars Technica · AI· Lily Hay Newman, wired.com·· 4 小时前AI 评分45
Google DeepMind 用数学方法验证 Signal 关键部分
Google DeepMind just mathematically verified key parts of Signal
AI 导读
Google DeepMind 在为期四周的项目中对 Signal 的关键部分完成了数学验证，暗示 AI 有望让形式化验证变得更实用。
来源：Ars Technica · AI · arstechnica.com