Google opens Gemini 4 Carbon while using AI to verify Signal code
Nov 10, 2026 · Summarized by Fundy Tech from 4 sources
Google expanded access to Gemini 4 Carbon for paying developers and businesses. DeepMind also used AI agents to help prove security guarantees in Signal’s code.
Key points
- Carbon is now available through Gemini API and Gemini for business.
- Introductory pricing is $2 and $10 per million input/output tokens.
- Google says agents helped verify libsignal security guarantees.
Why it matters
For businesses using AI tools, Google is pushing a more capable model into wider use. The Signal work shows AI is also being used for security research and formal verification, not just content generation. Pricing and access changes may affect what teams choose for coding and analysis work.
Who’s affected: Paying Gemini developers, businesses, and AI security teams
What to do
- Compare Carbon pricing with other AI tools you use.
- Review whether your team qualifies for Gemini access.
- Watch for further rollout details for Google AI Ultra and business users.
Original reporting
Not sure if this affects you?
Fundy Tech helps businesses and households across Atlantic Canada stay patched, protected and up to speed. Tell us what you’re running and we’ll tell you straight whether you need to act.