Signal

Google DeepMind Uses AlphaProof Code to Prove Signal Security at the Machine-Code Level

Human-guided AI agents connected Signal’s encryption guarantees to compiled code, producing millions of lines of machine-checked proofs.