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

Summary

Google expanded paid access to Gemini 4 Carbon through the Gemini API and Gemini for business, with Google AI Ultra subscribers also gaining access, at introductory rates of $2/$10 per million input/output tokens until November 30. Google DeepMind used agents running on Carbon and Claude Opus 5.5 to generate roughly 6.5 million lines of Lean proofs verifying security guarantees, including forward secrecy, post-compromise security and authentication, for libsignal's compiled machine code. The verification covered Google's own build of the code, not Signal's own applications.

Topics

• AI agents

Related items

• InfoGoogle releases Gemini 4 Carbon with agent ‘swarm’ featureSame vendor · The Verge (AI)
• InfoAnthropic sets price range of $70 to $78 in upcoming IPO as AI lab marches toward NasdaqSame vendor · CNBC Technology
• InfoAnthropic's Claude Fable 5.2 Beats GPT-6 Cyber in Multi-Stage Cyberattack BenchmarkSame vendor · The Hacker News
• InfoJim Cramer says Anthropic's IPO could make or break the AI trade. Here's whySame vendor · CNBC Technology
• InfoApple’s $50 Intelligence Usage Packs extend access to some AI featuresSame vendor · The Verge (AI)