Ben Thompson on Google I/O: world models as the next platform shift, paired with a sharp critique of Google's habit of shipping overlapping product surfaces that confuse users and underuse the underlying models.

Meta is cutting 8,000 roles to fund its AI re-org; separately Zuckerberg told staff he doesn't expect more company-wide layoffs this year. The trim-and-refocus pattern is everywhere in Big Tech right now.

OpenAI says one of its reasoning models produced a counterexample to a long-standing conjecture in discrete geometry — a small but real marker of LLMs contributing original results in pure math.