Ars Technica · AI· Lily Hay Newman, wired.com·· 2 天前AI 评分58
Google DeepMind 用数学方法验证了 Signal 的关键部分
Google DeepMind just mathematically verified key parts of Signal
AI 导读
据 Ars Technica 报道，Google DeepMind 完成了一个为期四周的项目，用数学方法验证了 Signal 的关键部分。这项工作暗示，AI 可能让形式化验证变得实用得多，不过报道没有提供更多技术细节。
来源:Ars Technica · AI · arstechnica.com