Google DeepMind used AI to complete the formal verification of the Signal protocol, mathematically proving its end-to-end encryption reliability.

Google DeepMind used AI to complete the formal verification of the Signal protocol, mathematically proving its end-to-end encryption reliability. The analysis process took about four weeks, but the specific scale of computational resources was not disclosed, and it is currently unclear about the practical feasibility of applying the technology on a larger scale.