AI leaves the lab. We follow what happens next.

Archive September 9, 2026 01:06 UTC
Listen to today's briefing 24:44
Signal: Canberra offers an off switch the same day agents drain Claude tokens, leak Gmail, and put a payment card behind the buy button.
OpenAI Cracked Navier-Stokes. He Says They Front-Ran Him.
An internal model OpenAI says beats Astra produced a Lean-checked proof in about 50 hours - days after word of NYU mathematician Tristan Buckmaster's own approach reached the company, which concedes it cannot rule out that de-identified Codex data improved its models.
TechCrunch: 300 billion output tokens, and a route almost nobody else was working on Scientific American: the pair who invented the method are 'a little bit in shock' OpenAI: a spiralling vortex that blows up in finite time, formalised in Lean

Meta Ships an Agent That Can Spend Your Money
Muse runs on a dedicated cloud VM per user, opens a browser, fills forms, sends email and books travel, and asks before it buys - launched weeks after Meta agreed to pay nearly $17bn to state attorneys general.
CNBC: internally code-named Hatch, free tier plus $20 and $100 plans Meta: $130,000 bounty for a single successful prompt injection
NSA Names DeepSeek Among Six Distilling US Models
A joint CISA, NSA and FBI advisory names DeepSeek, Moonshot, Alibaba, MiniMax, StepFun and Z.AI as having pulled billions of tokens from Claude, GPT, Gemini and Grok since late 2024 - and says Beijing likely knew.
The agencies say the traffic was spread across clouds and API aggregators to hide it
NEWAustralia Will Let You Switch the Algorithm Off
Draft laws released Tuesday would make every platform ask users over 16 whether they want a recommended feed at all - and extend a duty of care to games, apps and AI chatbots - with fines above A$100m for refusing.
PM's office: 'My Feed, My Way' goes out for targeted consultation Guardian: it captures search engines and chatbots, and Albanese expects blowback
Ghost Note Fake AI Eminem Outranks the Real One