Google Deepmind Verifies Signal's Code in Four Weeks Using AlphaProof

Google Deepmind successfully verified Signal's cryptographic core code in just four weeks, a process that typically takes years. The verification was conducted using AI agents powered by Gemini Carbon, which wrote over six million lines of proof code, flagging only about one percent for human review. This innovative approach represents a significant advancement in code verification, expediting complex processes that usually require extensive time. Deepmind plans to extend this method to critical infrastructure, including power grids and medical devices, highlighting AI's potential to enhance security and efficiency.