Google Deepmind's AlphaProof Code verifies Signal's crypto core in 4 weeks

google deepmind's alphaproof code used ai agents to verify signal's cryptographic core code in four weeks, a process that usually takes years. the ai system, built on gemini carbon, wrote over six million lines in the lean proof language and flagged roughly one percent of the codebase for human review. two deliberately planted bugs were caught immediately. signal cto ehren kret says this approach strengthens trust in data privacy as ai threats grow. deepmind plans to extend this method to other systems like power grids and medical devices.