Summary

With the aim of securing other vital systems, Google DeepMind plans to open-source its AlphaProof Code. Researchers at Google DeepMind used AI to formally verify portions of Signal ‘s underlying code — meaning they’ve mathematically proven that at least part s of the encrypted messaging app’s code do what they say, without errors. That’s reassuring given how many vulnerabilities AI systems have discovered in software lately , and how many people’s communications are protected by Signal’s cryptography. WhatsApp and Google Messages use the same encryption.

AI summaries can be wrong sometimes—always verify important details using the source article.