[DeepMind Formalizes Signal Protocol with AlphaProof Code in Four Weeks] According to a report by Jinse Finance on November 10th, WIRED reported that Google DeepMind researchers used a new AI framework called AlphaProof Code to formally verify that the Signal protocol functions as expected within four weeks. The analysis did not find any new vulnerabilities in the examined parts of the protocol, but correctly identified known issues on an older version of Signal containing known vulnerabilities, showing that this version failed formal verification. DeepMind research scientist Swarat Chaudhuri stated that this is a milestone in extending formal verification to all software targets globally, but there is still a long way to go. The researchers also released the specifications and proofs developed for this analysis to assist other formal verification efforts.