Models
Corroborated
Why Ranked
Timeline
First report
Wired · A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
Second source
Axios · Google DeepMind uses AI to prove Signal's encryption works
Additional source
Ars Technica · Google DeepMind just mathematically verified key parts of Signal
Ars Technica
Google DeepMind just mathematically verified key parts of Signal