Google Expands Gemini 4 Carbon Access After AI Agents Verify Signal Code

Google has opened its Gemini 4 Carbon model to paying developers and businesses, following DeepMind's use of AI agents built on it to verify security guarantees in libsignal, the cryptographic protocol behind Signal. This marks a notable advancement in AI-driven code verification, though the scope and reliability of the verification remain unclear. The move signals growing commercial deployment of AI for security-critical tasks, potentially reshaping software assurance practices.

AI disclosure: Model-written summary of the source, not a verified fact. Check the sources. How Mosaic works