RecodeX 重构消息，谷歌DeepMind研究人员利用一款新的人工智能工具，对广泛使用的加密协议Signal进行了形式化验证，证明其按设计预期正常运行。研究团队还设定了更高目标：将这一方法推广至“世界上所有软件”的安全性验证。