Ars Technica · AI· Lily Hay Newman, wired.com·· 2 天前AI 评分33
Google DeepMind 数学验证 Signal 关键部分
Google DeepMind just mathematically verified key parts of Signal
AI 导读
Google DeepMind 通过为期四周的项目，对 Signal 的关键组件完成了数学形式化验证。该成果表明 AI 技术能显著提升形式化验证的实用性，使其更易于在实际工程中应用。
来源：Ars Technica · AI · arstechnica.com