Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years Nov 11, 2026 Google Deepmind has unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specs without errors. Researchers demonstrated the technology on Signal's encryption protocol, completing in four weeks work that typically takes years. Earlier verification efforts stopped at the theoretical design stage, accordin