← All news

Artificial Intelligence

Google DeepMind’s AI agents formally verify Signal’s encryption code

Google DeepMind says AI agents have mathematically proved that the code behind Signal’s encryption keeps its main security promises. The lab announced the result on 10 November, together with a new framework called AlphaProof Code and a technical paper.

Read the full story on The Next Web.

Read at source (opens in a new tab)

Latest from The Next Web