A four-page math statement and a 10,000-agent proof put verifiability in the spotlight, while TVs, CDNs, wikis, and office software each test who holds control when capability gets faster, cheaper, and more concentrated.