A federal pledge shields power bills; open-weights letter hits 50

President Trump announced a major expansion of the federal Ratepayer Protection Pledge, adding more than 200 utilities, data-center developers, cooperatives, and states to a commitment the White House says now covers about 80 percent of the power delivered to US homes and businesses. The core promise is that data-center operators — not ordinary customers — pay for the new generation and grid infrastructure their AI campuses require, whether they use that power or not. Duke Energy, among the participating utilities, launched a "Customer Protection Plus" framework; chief executive Harry Sideris told CNBC that a 15-year deal with a single one-gigawatt data center could save its other customers roughly $1 billion — though the utility cautioned that means bills rise less than they otherwise would, not that they fall.

Nvidia chief executive Jensen Huang published a letter — his first-ever post on the social platform X — urging Washington not to restrict downloadable AI models, and within a day the signatory list doubled from 25 companies to 50, including OpenAI, Google, Microsoft, AMD, Cisco, and GitHub. The conspicuous absences were Anthropic, the most vocal proponent of tighter controls, and Amazon, Anthropic's largest investor. With Google — itself an Anthropic backer — signing anyway, the split leaves the safety-focused lab increasingly isolated on the year's central AI-policy fight.

DeepSeek told prospective investors it would not finalize a new funding round, pausing a deal that would have valued the Chinese lab at about $71 billion — up from roughly $52 billion when it raised $7 billion in June. The reversal followed the viral spread of remarks attributed to founder Liang Wenfeng from a leaked investor meeting, in which he reportedly argued that the entire gap between US and Chinese AI comes down to computing power rather than talent. DeepSeek is said to be working with Huawei to run its models on domestic chips and cut its reliance on Nvidia.

When a power line failed near Washington on July 22, the grid should have recovered in seconds; instead it took more than ten minutes, because roughly 3.1 gigawatts of data-center load — about three percent of the regional grid's demand — disconnected almost at once and swung voltage from Northern Virginia to Chicago. Twice the size of a similar 2024 event, the incident exposed a reliability risk that is the flip side of the affordability fears behind this week's federal ratepayer pledge — two faces of the same data-center power crunch. Proposed fixes include staggered disconnection rules, campus-scale batteries that ride through disturbances, and ride-through mandates already appearing in Texas.

Amazon said it made the largest donation in the history of the Lean Focused Research Organization, the nonprofit behind Lean — a programming language that lets developers mathematically prove their code behaves correctly rather than only testing it. Amazon already uses Lean to verify that its AI agents stay within defined limits and that cloud protocols are sound, and it is funding the work through an independent body so outside auditors and regulators can check the proofs themselves. The bet is that as AI agents take on higher-stakes decisions, formal proof offers a kind of certainty that testing alone cannot.