GoKawiilGoogle DeepMind uses AI to formally verify part of Signal's encryption code
Google DeepMind researchers used an AI system called AlphaProof Code to mathematically verify that a portion of Signal's encryption code functions as intended, building on prior verification work by the Signal Foundation. Human researchers and AI agents split the task, with agents running DeepMind's Gemini Carbon model executing proofs and flagging only about 1% of the codebase for human review. The team also tested the tool on two previously fixed Signal bugs, and it produced correct proofs for both.