DeepMind用AI形式化验证Signal关键部分

2026年11月11日，Ars Technica报道，Google DeepMind通过一个为期四周的项目，对Signal的关键部分进行了数学形式化验证。该工作显示，人工智能可能让形式化验证这一原本耗时费力的手段变得更加实用。目前仅有一篇报道，尚无更早版本可供对照，事件的后续进展有待观察。

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

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