DeepMind's AlphaProof Code Mathematically Proves Signal's Encryption Code Is Sound
Google DeepMind announced on November 10 that a team of AI agents has mathematically proved key security properties of the actual code underlying the Signal protocol, the encryption technology that protects billions of private conversations in apps such as Signal and Google Messages. DeepMind called it a milestone long considered a grand challenge.