DeepMind用AI数学验证Signal关键部分

Google DeepMind 在一个为期四周的项目中，对加密通讯应用 Signal 的关键部分完成了数学验证。DeepMind 称，这一项目暗示 AI 有望让形式化验证变得更实用。 形式化验证是用数学方法证明代码符合特定性质的技术，此前通常耗时较长、门槛较高。此次验证的具体范围、由谁执行以及验证结果是否已用于 Signal 的实际代码，报道未作说明。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。