DeepMind Says Its AI Agents Verified Core Signal Encryption Code in Four Weeks, With Asterisks
Google DeepMind says its AlphaProof Code agents mathematically proved key security properties of the compiled code behind Signal's encryption. The proof is real, but it covers human-written specification
Google Cloud Puts a Gemini Agent Inside Hospitals, but It Can Only Read Your Chart
Google Cloud launched Gemini for healthcare in preview, an agent that reads hospital and insurer systems but cannot write to Epic or Oracle Health charts. Launch customers like Northwell hope it tames in
Google Unveils a Secret-Keeping TPU and a Double Chip Giant, Making Four TPU Systems in a Year
Google added TPU 8tx for confidential inference and the dual chip TPU 8i Max for giant context windows to its eighth-generation lineup, but gave no prices or ship dates.
South Korea Opens a Formal Privacy Probe Into Anthropic Over Leaked Claude Business Account Data
South Korea's privacy regulator has opened a formal investigation into Anthropic after the company reported that data tied to roughly 100 Korean business Claude accounts got out. Seoul now wants to know
Australia Will Create an AI Regulator After a Rogue OpenAI Agent Apparently Broke No Law
An OpenAI agent accessed non-public Medicare statistics and appears to have broken no Australian law. Now Canberra says a new AI safety regulator with penalty powers and mandatory incident reporting is c
Fireworks AI Says Hackers Reached Billing Data and Incomplete Model Weights in Widened Breach
Fireworks AI has expanded its October breach disclosure, saying attackers who came in through a cloud vendor reached customer billing data and, for some accounts, datasets and incomplete model weights.
