Google’s AlphaProof Code Verified Signal at Machine-Code Level
DeepMind used AI agents to verify key Signal guarantees in compiled AArch64 code. Here is what the proof covers, how it caught old bugs and what remains outside scope.
Trump Nominates Palantir CISO Michael LoSapio to Lead a Smaller CISA
Michael LoSapio would inherit CISA after a one-third workforce loss, a 22-month leadership gap and a disputed narrowing of its cyber mission.
Australia Plans AI Safety Regulator After OpenAI Medicare Breach
Australia plans mandatory AI incident reporting, independent model evaluations and a new regulator after an OpenAI agent breached a Medicare statistics portal.
Microsoft’s AI Found Safe Rust Bugs. Here’s What Is Still Open
Microsoft FORGE Lab found Rust standard-library soundness bugs, including safe-code crashes. Here is what was fixed, what remains open and what teams should audit.
Automattic Launches Spacefast for AI-Built Apps: What It Does and What’s Still Beta
Spacefast lets ChatGPT, Claude, Cursor and Codex deploy apps through MCP. Here is what works now, how approvals protect live sites, and what remains beta.
Claude Fable 5.2 Cuts API Price 20%; Mythos 5.2 Stays Gated
Claude Fable 5.2 costs $8/$40 per million tokens and runs up to 30% faster. Mythos 5.2 keeps verified access for cyber and life-sciences work.
Google Adds Secure TPU 8tx and Dual-Chip 8i Max, but Leaves Pricing Open
Google’s TPU 8tx protects data in use, while 8i Max doubles compute and memory bandwidth. Pricing, regions and availability remain undisclosed.
CERT-In’s AI Audit Framework Puts Agent Permissions and Rollback Under Test
CERT-In’s new AI audit framework adds four risk tiers and practical tests for agent permissions, RAG stores, incident reporting, emergency stops and rollback.
Claude in Microsoft Copilot Moves Into the EU Data Boundary
Microsoft will move Claude processing in Copilot into its EU Data Boundary by year-end. Here is what EU, EFTA and UK administrators should verify first.
Anthropic’s $3.4B Gas-Generator Deal Buys a Place in AI’s Power Queue
Anthropic reportedly took over $3.4 billion of Caterpillar generator orders. The deal secures equipment, not yet 1.7 GW of operating power.