Safety & PrivacyGoogle DeepMind
DeepMind uses AI-written proofs to check Signal encryption
DeepMind says its AlphaProof Code agents produced three million lines of mathematical proofs to verify Signal’s core encryption. The proofs were written in Lean, a language used to check mathematical reasoning.
Why it matters to you: Your privacy depends partly on sound encryption, though checking its core does not establish that every part of an app is secure.
Comments
Loading comments…