Google says its new AI proved Signal’s encryption in weeks

Google has introduced Gemini 4 Carbon, a new AI model designed for complex tasks such as software engineering, cybersecurity, and scientific reasoning. Carbon outperforms its predecessor, Gemini 4 Argon, in these areas and is capable of multi-package migrations, cross-subsystem debugging, and long-horizon workflows. Notably, Carbon was used to mathematically verify key security properties of Signal's cryptographic protocol in a matter of weeks, a process that typically takes expert teams years. Google claims Carbon leads in various cybersecurity benchmarks and has already been used to identify critical vulnerabilities in open-source projects. However, the company has not disclosed the full scope of the verified properties, the extent of human intervention, or whether the proof artifacts will be made public. Carbon is available to developers through Google AI Studio, Android Studio, and enterprise offerings, with pricing set to double after November 30.