Google DeepMind

AI首次在数学上证明了@signalapp的协议在代码层面是安全的。 使用我们的突破性AlphaProof代码框架，我们验证了这款消息应用的加密系统——该系统每天保护数十亿条私人消息。 https://t.co/iWNJ8UiTSQ