Google launches Gemini 4 Carbon and agent-swarm preview

Google says Gemini 4 Carbon is broadly available to paying developers, enterprises, and Ultra subscribers, alongside an Antigravity agent-swarm preview. Early reports include a claim that Gemini agents produced about 6.5 million lines of Lean proofs for Signal code in four weeks; methods, access, quotas, latency, and independent task-level comparisons need follow-up.