Google DeepMind has used AI agents to verify the actual compiled code behind Signal's encryption, down to the machine-code level. This is a huge step for software security: vulnerabilities can hide in the gap between a protocol's design and the code that implements it. The system, called AlphaProof Code, generated around 6.5 million lines of machine-checked Lean proofs covering key security properties of Signal's handshake and message ratchet. Google says the work took four weeks, a task that could previously have taken expert teams years. The researchers also reintroduced two previously fixed Signal bugs, and the system proved that both broke the specified security guarantees. The proofs cover specific properties under defined assumptions, but this is a remarkable demonstration of how AI could make formal verification practical for real-world software.

Google's $10M bid for Spirit Airlines' data to train AI would cover: - 1.9B emails across 91K accounts - 664M Teams items - 91M SharePoint/OneDrive files - 30M lines of code - Booking and airfare data Unions dropped objections after privacy safeguards. Court approval pending.

Google's $10M bid for Spirit Airlines' data to train AI has advanced after unions withdrew privacy objections. The data includes 500M Microsoft Teams chats and 100M emails. Personal data on 97M customers & sensitive employee records will be excluded, with stricter protections.

Google's new TPU 8i Max uses $ARM based Axion CPUs to prepare data and manage AI workloads, joining TPU 8t and 8i. That means 3 of Google's 4 next-gen TPU systems now use Arm host CPUs, versus x86 hosts previously. The fourth, TPU 8tx, uses $AMD EPYC CPUs.

GOOGLE RELEASES GEMINI 4 CARBON, ITS STRONGEST AI MODEL YET #1# on CursorBench 4.0 #1# on Perplexity's WANDR #1# on Zapier's AutomationBench 2X+ cheaper per task than the next best rival API: $2 in / $10 out per 1M tokens Cyber: leads SEC-bench Pro and ExploitGym Found 0-days at 2 big SaaS firms in <2 hours Prompt injection success rate: 0% Available to Google AI Ultra subscribers and paying API customers. In this Google demo, Carbon agents used Antigravity’s /swarm feature to build a playable 3D game of a pelican cycling around Google’s campus.