Google releases Gemini 4 Carbon, its strongest model yet, with an agent 'swarm' feature
Google is rolling out Gemini 4 Carbon to the general public after first giving it to a select group of cybersecurity defenders. Google says it pushes beyond its Argon model, though Argon remains the suggested choice for most coding and knowledge work.
Developers and users now have a new top-tier Google model to compare against the best systems from Anthropic and OpenAI.
aii.news picks and summarizes stories from trusted news sources with the help of AI. Every story links to the original reporting. How we work.
Keep reading
-
35,000 apps built with Grok exposed patient data and passwords due to open default sharing
A security firm found more than 35,000 apps built with Grok's coding tool open to anyone without login, including patient data, plaintext passwords and confidential SpaceXSI documents. The cause was a default setting of 'Anyone with the link', and only SpaceXSI's own employee apps were taken offline.
Why it mattersAnyone using AI app builders should check sharing defaults, since generated apps may leak sensitive data publicly.
-
Anthropic releases Claude Fable 5.2 and Mythos 5.2 and cuts API prices by 20%
Anthropic introduced Claude Fable 5.2 and Mythos 5.2, which share one underlying model with different safeguards and bring gains in coding, reasoning and vision. Fable is broadly available, while Mythos is limited to vetted cybersecurity and life sciences groups, and both now cost $8 per million input tokens and $40 per million output tokens.
Why it mattersDevelopers get a stronger coding model at a lower price, and the split release shows how labs are gating the most capable models for sensitive uses.
-
DeepMind's AlphaProof Code formally verifies Signal's cryptographic core in four weeks
Google DeepMind's AlphaProof Code mathematically verified the core cryptographic code of Signal in four weeks, a task that usually takes years, with AI agents writing more than six million lines of proof code. DeepMind plans to apply the method to critical infrastructure such as power grids and medical devices.
Why it mattersAI could make formal proof of software correctness practical for security-critical systems that people rely on every day.
-
Anthropic says its AI ported Claude to AMD chips in three days, weakening Nvidia's CUDA lock-in
Anthropic says its in-house model Mythos moved Claude onto AMD GPUs in three days with almost no human help, a job that normally takes months. Claude now runs on four chip families as the company seeks lower costs and less dependence on single vendors.
Why it mattersIf AI can cheaply port software between chip makers, Nvidia's software advantage shrinks and hardware competition grows.
-
Railway breach let hackers run up about $740,000 in AI charges with stolen customer keys
Platform provider Railway said AI provider keys stored by customers were stolen in an October breach and used for an estimated $740,000 in unauthorized usage, potentially affecting up to 100,000 workspaces. The company promised to cover charges that AI providers will not refund.
Why it mattersStored AI API keys are now a direct target for theft and resale of compute, so set spending limits and rotate keys kept on third-party platforms.
