AlphaProof Code Verifies Signal Encryption in Weeks

Google Deepmind unveiled AlphaProof Code, an AI system that verified Signal's cryptographic core in four weeks instead of years. Researchers used Gemini Carbon to write over six million lines of Lean proof language, flagging roughly one percent for human review and catching two deliberately planted bugs immediately.