谷歌DeepMind用AI验证了Signal关键部分

经过四周的项目研究，谷歌DeepMind在数学上验证了加密通讯软件Signal的关键组件，这表明人工智能在形式验证方面可能更具实用性。

本文由人工智能根据 Ars Technica 的公开报道翻译、整理，仅供参考，请以原文为准；原文版权归原媒体所有。如有版权问题，请联系我们。