Gemini 4 Carbon opens to all, and AI helps verify Signal's encryption
Two weeks ago, Google gave Gemini 4 Carbon only to a select group of 'cybersecurity defenders'. Now everyone can use it. Google calls it its strongest model yet, able to compete with the best from Anthropic and OpenAI. It comes with an agent 'swarm' feature, meaning many agents working together.
Simon Willison notes the launch price: $2 per million input tokens and $10 per million output tokens. A token is a small piece of text. On December 1, the price doubles to $4 and $20. The launch got 287 points on Hacker News.
Google DeepMind also showed AlphaProof Code. Its agents wrote three million lines of proofs in Lean, a language that lets a computer check math, to verify Signal's core encryption. And on Hacker News (429 points), the security firm VulnCheck published a November update tracking vulnerabilities discovered by Anthropic.
Good news first: AI that proves code is correct is exactly the kind of power we want. And still, models that find bugs can find them for attackers too. That is why Google gave defenders a head start, and that head start lasted two weeks.
