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

Google has expanded access to Carbon, making it available to paying developers and businesses. This move follows the use of AI agents, built on Carbon, by DeepMind to verify the security guarantees of libsignal. The AI agents were able to prove the security of the libsignal code, leading to the wider release of Carbon. DeepMind's verification of libsignal security guarantees was a key factor in Google's decision to open up Carbon to more users. The expansion is part of the Gemini 4 initiative. Google's decision to widen access to Carbon is a significant development in the use of AI to verify code security.