Astra's machine-checked proofs, DeepMind's whole-body robots, a rebuilt agent protocol, and the EU's transparency deadline — July 27 to August 2, 2026. Some weeks in AI are all launch trailer. This one was mostly receipts. Between July 27 and August 2, a model produced mathematics you can machine-verify, a robotics stack learned to use its legs, the protocol underneath most AI agents got rebuilt from the floor up, and the EU's transparency rules stopped being hypothetical. He

Anthropic, Google, and a Chinese open-weight lab all made frontier-grade AI cheaper in the same seven days — while the money behind it got a lot bigger. If you blinked this week, you probably missed a model launch. The back half of July has become the most crowded stretch the AI industry has ever seen, with new systems arriving every few days. But this week had a theme worth pausing on, and it wasn't raw capability. It was price. Three of the most powerful models on the plane