Google DeepMind
@GoogleDeepMind
For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level.
Using our breakthrough AlphaProof Code framework, we verified the messaging app’s cryptographic system – which protects billions of private messages every day. https://t.co/iWNJ8UiTSQ
