AI leaves the lab. We follow what happens next.

Archive August 20, 2026 16:13 UTC
Signal: Verification is the bottleneck now -- proofs, exploits and hiring scores nobody can audit -- while towns block the power rather than the data centre.
Nudify Ban Passed 132-1. The DOJ Just Filed Against It.
The Justice Department filed a statement of interest on Elon Musk's side in xAI's First Amendment challenge to Minnesota's AI nudification ban -- without taking a position on the injunction the judge says he will rule on soon.
Law Commentary: Ellison says a product function is not protected expression KSTP: a judge already refused once to pause the law, citing the delayed filing 404 Media: the fakes hardest to spot are the barely altered ones

Alibaba's Capex Rose 75%. Its Profit Fell 75%.
The clearest single-company bill yet for the buildout: Alibaba's AI and cloud revenue grew at its fastest pace in 22 quarters while capital spending rose 75% to $10bn and net income fell by three quarters.
SCMP: free cash outflow more than doubled to 44.7bn yuan on cloud spending Tom's Hardware: Alibaba is selling its games studio to help fund the buildout
NEWTao: A Proof No Human Can Explain Isn't Done
Terence Tao's essay for the International Congress of Mathematicians warns that AI proofs are arriving faster than anyone can check them, and proposes a test: a result whose authors cannot explain it in a talk should not be published.
The Verge: OpenAI's published solutions left mathematicians 'shell-shocked'
GOP to AI: We Can't Fix Your Toxic Brand
The Senate Republican campaign arm told AI companies their data centers are a toxic brand; a Michigan township has now banned the substation rather than the building, and Loudoun County -- 250 data centers, $1.1bn a year -- is slowing construction anyway.
Tom's Hardware: Ypsilanti banned the substation, not the data centre implicator.ai: the public Ohio poll names inflation first, no data-center figure
Ghost Note The AI Receptionist Can't Do Yorkshire