Google DeepMind新AI工具验证Signal协议安全

据WIRED AI发布，Google DeepMind研究人员能够正式验证广泛使用的加密协议按预期运行。他们的延伸目标是对“世界上所有的软件”完成同样的验证。