Before the United States destroyed five Iranian oil tankers on Tuesday, it told the crews to get off them.

Central Command put that in the statement. Four vessels in the Gulf of Oman — the Kaviz, the Charminar, the Horizon 1, the Riesco — and a fifth, the Derya, near Kharg Island, the terminal through which Iran's remaining exports move. The Riesco burned and sank; Centcom posted the video. The tankers were described as part of a multi-billion-dollar shadow fleet funding the Revolutionary Guard. The strike itself was described as a response to the Guard having targeted an American warship with ballistic missiles twice in two days. The warship, Centcom said, "successfully evaded" both attempts. No American personnel were harmed.

Then Iran answered. Twenty ballistic missiles at the Al Azraq base in Jordan, where American forces are stationed. Jordan's armed forces said its air defences brought down eighteen. The other two came down in places where nobody lives. No casualties were reported. The Guard then announced it had struck two American vessels and eight tankers attempting to cross a "prohibited and unsafe" stretch of the Strait of Hormuz, causing "great damage." Washington has confirmed damage to no American ship.

Count the contacts. Iranian missiles at an American warship: evaded. American missiles at Iranian hulls: crews warned off first. Iranian missiles at an American base: ninety per cent intercepted, the leakage landing in empty desert. And at dawn on Tuesday, Iranian naval forces boarded and seized an American submarine at the mouth of the strait — a submarine that turned out to be a nineteen-foot Anduril robot that the Pentagon said had malfunctioned the day before and carried no classified sonar, no classified radar and no sensitive data at all.

Six months and ten days into a war that began on 28 February, the two principals have become conspicuously skilled at not killing each other.

## The seventy-three

The same twenty-four hours produced seventy-three injured people. None of them were American and none were Iranian.

Yemen's Houthis, aligned with Tehran, opened what their military spokesman called a broad offensive against Saudi Arabia, striking Abha, Khamis Mushait, Jazan and Najran, and naming Aramco facilities among the targets. The Saudi-led coalition said the wounded included women and children. Fires broke out at energy installations. The energy ministry said operations at some sites were halted.

That is the shape of it. The principals exchange hardware. The proxy produces the casualties. And the third parties — Jordanian air-defence crews, Saudi firefighters, the merchant sailors of a dozen flag states now being told by both belligerents which anchorages to evacuate — absorb what is left.

## Where the rest of it lands

Brent crude rose $1.57 to $99.49 a barrel in early Asian trade on Wednesday, a fourth consecutive session of gains and the highest since late June. West Texas Intermediate was at $94.63. Roughly a fifth of the world's seaborne oil moved through Hormuz before the war; the channel is now largely choked, with Washington trying to convoy cargo through it while blockading Iran's own exports, and Tehran trying to make the passage expensive enough that the blockade costs more than it collects.

On Monday the American average price of a gallon of regular petrol was $4.15 — the first Labor Day above four dollars on record, and thirty-three cents above the previous holiday high set in 2012. Diesel set a record on Friday and beat it on each of the three days that followed. Headline inflation is running at 3.4 per cent. On Tuesday the president's job approval registered 32 per cent in the Focaldata/Financial Times tracker, his lowest reading in it, with 69 per cent disapproving of his handling of the cost of living.

This is not restraint. It is redirection. Both governments have worked out that the cheapest way to prosecute this war is to attack the other side's revenue and let the invoice travel — and an invoice, unlike a missile, is not aimed. It disperses. It lands on a Saudi refinery worker, a Jordanian radar operator, a Filipino second engineer told to abandon a ship he does not own, and an American commuter who has never heard of Kharg Island.

Mohsen Rezaei, secretary of Iran's Supreme National Security Council, has promised maps within days: a new exclusion zone running outward from the perimeter of the American blockade, with any vessel that enters it added to an Iranian sanctions list. The Guard's navy, separately, has told tanker crews lying at anchor off Kuwait and Bahrain to leave their vessels immediately, because those vessels will be targeted.

Both sides are now issuing evacuation notices to civilians as a technique of fire control. It is more humane than the alternative. It is also the reason this thing does not stop. Nobody with the authority to end it has yet been handed a bill in a currency they recognise.

The three-day quiet over Kyiv and Moscow expired on Monday evening local time, and Russia's state news agency said so out loud. By early Tuesday the drones and ballistic missiles were back over the Ukrainian capital, setting fires across several districts.

The pause existed for exactly as long as two Americans were in the country. Steve Witkoff and Jared Kushner went to Moscow, then to Kyiv, and both Vladimir Putin and Volodymyr Zelensky ordered their forces to stop hitting the other's capital while the envoys travelled. Fighting continued everywhere else. "The moment the U.S. president's peace envoys left," Ukraine's foreign minister Andrii Sybiha wrote, "Putin launched another massive, horrific attack against Kyiv."

On the count. We are not going to pick a number for you. Mayor Vitali Klitschko said three people were killed. City authorities, cited by CBS early Tuesday, said two dead and seven wounded. Politico reported at least twelve killed overnight, citing authorities in the capital. Three outlets, three figures, one night, all published within hours of each other. The spread is not a scandal; it is what the first morning after a mass strike looks like when rubble is still being moved. But a reader deserves to know that the number is not settled, and that whichever figure is repeated by lunchtime will harden into the record regardless.

On the diplomacy. Witkoff said there had been "substantive progress," including movement on scheduling further trilateral talks. The Kremlin's Yury Ushakov called the three-hour Moscow session "highly useful" and did not rule out resuming three-way negotiations. Zelensky, in a message to reporters, allowed that Kushner had brought "some very decent, worthwhile ideas" and then declined to say what any of them were, on the grounds that Kyiv had agreed with the envoys to work on them first.

And then he named the thing he actually wants. He plans to meet Donald Trump later this month, and the item on his list is a winter air-defence support package: interceptors, and more of them, because Russia has shifted to nearly round-the-clock attacks using faster jet-propelled drones and Ukraine's magazine depth is the binding constraint on whether Kyiv has electricity in January.

That is the exchange rate this negotiation actually runs on. Ideas are free and Moscow can absorb an unlimited quantity of them. Interceptors cost money, exist in finite numbers, and are the only variable either capital can move without the other's consent.

The three days are the tell. For seventy-two hours the missiles stopped in both directions, on order, because two men with diplomatic passports needed to sleep somewhere. The capacity to stop was never in question. It was simply never allocated to anybody without a passport — and the moment the passports cleared Ukrainian airspace, the allocation reverted.

The Focaldata/Financial Times tracker, released over the Labor Day weekend, put Donald Trump's job approval at 32 per cent — down three points in a month and the lowest reading since the series began in May. The subordinate number is the one worth keeping: approval among Republicans fell two points to 72 per cent, also a low.

Broader averages are less severe and point the same direction. RealClearPolitics had 39.6 approve against 57 disapprove on Tuesday; the New York Times average 38 to 58; the Silver Bulletin 38.2 to 58.4.

The internals are where the war shows up. Seventeen per cent of respondents approved of the president's handling of inflation and the cost of living. Sixty-nine per cent disapproved. That is not a polarised number. A fifty-two-point gap on a single issue means his own coalition is answering the question honestly.

AAA put the national average for regular petrol at $4.15 a gallon on Tuesday, up thirteen cents in a week and close to a dollar higher than the same date in 2025. Monday was the first Labor Day on record above four dollars, beating the 2012 high by more than thirty cents. Diesel set a record on Friday and was beaten each day of the weekend — timing that matters more than the headline, because harvest freight prices in September become grocery prices in November. Headline CPI ticked up to 3.4 per cent year over year, above where it stood in Joe Biden's final months.

AAA's own analysis notes the awkward part: prices normally fall at this point in the year as summer demand drains away. They are not falling, because crude will not let them.

The campaign problem. Congressional Republicans spent August trying to localise their races. The president spent August nationalising them — staking out positions against party orthodoxy on beef imports and on subsidies, and reacting to a strong August jobs report on Friday by threatening to cut off trade with certain countries unless the Federal Reserve lowered interest rates. That last one is a live wound: the same members spent months defending the Fed's independence during the campaign against Jerome Powell, at one point holding up the confirmation of the president's own pick for chair.

They now share a stage with him at a midterm convention in Dallas this week. Democrats lead the generic congressional ballot by seven points in the same Focaldata/FT poll, a point better than August.

The structural fact underneath all of it: the administration has restarted hostilities with Iran, and there is no mechanism by which that produces cheaper petrol before 3 November. Every strike in the Gulf of Oman is also a campaign event in Ohio, scheduled by Tehran and Central Command jointly, and neither of them is on the ballot.

The Federal Open Market Committee meets on 15 and 16 September and announces at 2 p.m. Eastern on the Wednesday, with Kevin Warsh's press conference half an hour later and a fresh set of projections alongside. The funds rate sits at 3.50 to 3.75 per cent. The question is not whether the Fed cuts. It is whether it hikes.

Here is the board as of Tuesday. Fed funds futures implied roughly a 60 per cent probability of a September increase after August payrolls came in at 162,000, better than expected. CME pricing showed the same split, 60/40. Money markets were quoted at about 58 per cent. Polymarket had it at 38 per cent, having fallen from near 50 earlier in the week after Governor Christopher Waller said cooling August inflation could persuade him to hold.

A twenty-two-point spread on a binary event, five days out, among venues that all read the same wire. That is not a forecast. That is four different theories of what this central bank is currently for.

Theory one: it is an inflation targeter with a job to do. Headline CPI is 3.4 per cent against a 2 per cent target. Three members already dissented in favour of a hike in July. Warsh has been publicly uncomfortable with how long the overshoot has run. The Cleveland Fed's nowcast has August at 0.4 per cent month over month, which would be hot. On this theory the September hike is close to automatic and the only argument is presentation.

Theory two: it cannot re-route a tanker. Brent traded at $99.49 on Wednesday morning in Asia, up $1.57, a fourth straight session higher and the best level since late June; WTI at $94.63. Petrol is at a record for the season and diesel is at an outright record. Essentially all of the recent impulse is an imported supply shock produced by missiles in the Gulf of Oman. Twenty-five basis points does not put a barrel back in a hull. Tightening into an energy shock is the textbook error of the 1970s read backwards, and a committee that hikes on 16 September is choosing to slow domestic demand as compensation for a war it does not control.

Theory three: it is a political object. On Friday, ninety minutes after a jobs report he liked, the president threatened to cut off trade with certain countries unless the Fed lowered rates. A hike eight weeks before a midterm, delivered by his own appointee, resolves the independence question in the least ambiguous way available and does so at maximum cost to the administration. Some of the 38 per cent is a bet that no institution volunteers for that.

Theory four: it is waiting, like everyone else. August PPI lands Thursday at 8.30 a.m. Eastern. August CPI lands Friday at 8.30. Five days before the vote. Waller has said in as many words that his position turns on that print.

The rest of the world is not waiting. The yen firmed to near a seven-month high on expectations the Bank of Japan moves sooner, with capital repatriation adding to it; the ECB is also expected to tighten. The two-year Treasury sat at 4.38 per cent. Asian equities were mixed and unconvinced — Sydney off 0.3 per cent, Hang Seng down 0.6, mainland blue chips up 0.2, while a chip and AI rebound carried the Nikkei up 0.6 per cent, the KOSPI up 1.6 and Taiwan's TAIEX up 0.6.

Pepperstone's Chris Weston told clients that Brent is now "one of the clearest real-time signals for sentiment" across macro markets, and that $100 "now feels like a highly achievable level."

Which is the honest summary of the whole position. The most important variable in next Wednesday's decision is not employment, not services inflation and not the chair's disposition. It is whether a shipping lane reopens. It will not have reopened by Friday.

On Tuesday morning, Tristan Buckmaster of NYU's Courant Institute and Levent Alpöge, a mathematician employed by Anthropic, posted three papers and a Lean 4 formalization: finite-time blowup with smooth forcing for the incompressible porous media equation, for the planar Boussinesq system, and for the three-dimensional incompressible Euler equations.

Six hours and fifty minutes later, OpenAI announced that an internal model had resolved the Navier–Stokes existence and smoothness problem — one of the Clay Institute's seven Millennium Prize Problems — establishing that a fluid can develop a singularity in finite time, and published a writeup with a Lean formalization beside it.

Both repositories were pushed as a single squashed commit. Neither carries any development history.

That sentence is the story. Squashing a research repository before release is ordinary practice. It is also, this week, the reason nobody outside the two groups can adjudicate what happened.

What each side says. OpenAI's post states that its effort began on 1 September after the company heard a rumour it later realised concerned Buckmaster and Alpöge; that roughly 10,000 concurrent agents reached the resolution on 5 September, about 88 hours after launch, with Lean verification taking a further 17; that the model is "significantly more capable than GPT-6 Astra"; that it then approached the two mathematicians to offer a concurrent release and recognise their priority; that its researchers and agents "did not see any of their work"; and that it is not claiming the Clay Prize.

Buckmaster's statement, released the same morning, gives his own chronology — blowup results on 15 August, Lean verification on 22 August — and recounts a sequence of increasingly urgent meeting requests culminating in two calls on Sunday 6 September, in which he says he was pressed on how credit would be framed. He is equally emphatic about credit running the other way: the underlying programme belongs to Diego Córdoba and Luis Martínez-Zoroa, who spent years constructing forced blowups with rough forcing, and in his view Martínez-Zoroa deserves a Fields Medal. He and Alpöge pushed that programme to smooth forcing and to Euler with heavy use of language models — Claude, Codex with GPT-5.6 Sol, and Astra for writeups and auditing.

The two results are also not the same result. OpenAI claims Navier–Stokes itself, alternatives (C) and (D) of the Fefferman formulation, plus unforced Euler; Buckmaster and Alpöge say they believe they have hypo-dissipative Navier–Stokes too but withheld it because the Lean verification had not finished. Neither claim has been independently verified, and MathOverflow is already probing whether the forcing term in the Navier–Stokes construction does more work than the formulation intends.

Why this is the important part. Formal verification was supposed to settle exactly this class of argument. A Lean certificate is checkable by anyone with a laptop and enough patience; it removes the referee, the two-year review cycle, the question of whether the fourth lemma really follows. What it cannot do is timestamp a thought.

And the field has just acquired a technology that compresses the interval between thought and certificate from years to days. Under the old clock, priority meant a preprint arriving eighteen months ahead of anyone else's. Under this one, the entire disputed window is nine days long, two groups can independently reach adjacent results inside it, and the artifacts arrive with no metadata because nobody ever needed metadata before.

Mathematics never built a provenance layer, because for three centuries publication *was* the provenance layer. That has now failed twice in a fortnight — first when a Fermat formalization arrived as thirteen million lines of machine-checked code no living person will read end to end, and now when the question of who solved a Millennium Problem first turns on whose account of a Sunday phone call you find more credible.

The theorem is verifiable. The history is not. It will become normal to know something is true and be unable to establish who found out.

For three years the data-centre build-out was priced in capital expenditure, which almost nobody reads, and in jobs announcements, which everybody reads and nobody checks. It is now being priced in kilowatt-hours, which arrive in an envelope monthly and are the single most legible number in most American households.

The political consequence has been fast. New York issued the country's first statewide moratorium on large data-centre construction in July, running one year. In Pennsylvania, Senate Bill 1359 — the Statewide Hyperscale Data Center Moratorium Act, introduced 4 June — would impose a 36-month pause on the development or permitting of hyperscale facilities and, notably, on the new generating capacity and transmission infrastructure required to power them. Its definition catches loads of 20 megawatts on large distribution systems and one megawatt on small ones, aggregates affiliated companies, and aggregates multiple sub-threshold facilities on a single site. Someone drafted that with the workarounds already in mind.

In Minnesota, House File 4888 would bar the state or any local government from issuing a data-centre permit until one year after the Public Utilities Commission delivers a scenario report, due July 2027 with an extension available to January 2028 — a construction that could hold permitting until 2029. The bill also requires the third-party contractor writing that report to complete a conflict-of-interest evaluation confirming it neither works for nor receives funding from a data-centre developer, which tells you something about how the last round of studies was received.

The number behind all of it is a Goldman Sachs projection of a 6 per cent national rise in electricity bills over the coming year, with the sharpest increases falling on households near the facilities. In Ohio's Senate race, Sherrod Brown has been calling Senator Jon Husted "the face of data centres" for his work bringing them to the state as lieutenant governor. Husted's answer is the Ratepayer Protection Act, legislation to limit data centres' impact on residential bills; his campaign says he believes siting should remain a local decision. Josh Shapiro, who declared Pennsylvania "all in on AI" after an Amazon investment, now restricts new development and attacks his opponent as the state's number-one data-centre fan.

Read the remedy carefully, because it is more candid than the rhetoric. A bill that shifts infrastructure costs off residential ratepayers is a bill that stipulates the costs are real, are large, and are currently landing on residents. The industry is no longer arguing that the load is free. It is arguing about the allocation.

That is a considerably weaker position than the one it held in January, and it arrived at the worst possible moment: an autumn in which the same household is already absorbing $4.15 petrol. Utility bills and pump prices are the two prices Americans see without being told them. Both are going up, for unrelated reasons, in the same eight weeks. Nobody running for anything in November will be able to keep them separate, and nobody should expect the electorate to.

The Lido put two billionaires on screen on Tuesday and I refuse to accept that as a scheduling accident.

In the afternoon: Alex Gibney's Elon Musk documentary, running close to four hours with an intermission, arriving in North American cinemas in October. In the evening: Florian Zeller's *Bunker*, in competition, in which Javier Bardem plays a celebrated architect who agrees to build a survivalist bunker for a tech billionaire and finds that the commission does something irreversible to his marriage. Penélope Cruz plays his wife. Stephen Graham, Paul Dano and Patrick Schwarzenegger are also in it. Zeller says he wrote it for Bardem and Cruz specifically, wanting to work on "love, fidelity, and forgiveness" while keeping the audience in "deliberate ambiguity" about whether they are watching reality, fiction, or a meta-examination of truth.

It got sixteen minutes and thirty seconds of applause, the longest of this festival, past the fourteen minutes *Wild Horse Nine* took earlier in the week. Searchlight has it for early next year; Sony Pictures Classics took North America.

I have not seen either film and I am not reviewing them. I am reviewing the slate, which is a legitimate object and which is telling on itself.

Here is what I think happened. Cinema spent a decade looking for an antagonist it could still cast after the audience stopped agreeing about everything else, and it has landed on the billionaire, because the billionaire is the last figure a global arthouse audience will boo in unison. He is legible in every market. He requires no political priors. He can be shot in a beautiful house. The Venice competition slate is now, structurally, a portrait gallery of rich men in glass rooms.

And the choice is doing something sly, which is letting everyone off. A film about a man who buys a bunker is a film with a person in it you can blame. The interesting version of this material is not the buyer. It is Bardem's character — the enormously talented professional who takes the commission, does superb work, and tells himself the ethics belong to the client. Zeller, to his credit, appears to know this; he has said the warning is against retreating into invisible bunkers, plural, which is a much better idea than a bunker with one owner. The architect is the audience. That is the film worth sixteen minutes.

The risk is that the marketing sells the other one, because the other one is easier: look at the rich man, hiss, go home. That version is a bunker too. It is a comfortable enclosed space where a viewer can wait out a decade in which the actual mechanisms — the load on a grid, the terms of a commission, the price of a barrel — are being decided by a very large number of people who are not billionaires and who all had reasons.

The ovations, meanwhile, have stopped meaning anything. Eight minutes is the floor now. Sixteen and a half is the record. A currency that only inflates is a currency that has been abandoned, and the festival should either start timing them honestly or stop timing them at all.

I hope *Bunker* is the film Zeller described and not the one the poster will promise. We will know in the spring, which is roughly when the electricity bills land.

*Oasis: Don't Look Back in Anger* reaches cinemas this week — the UK release lands today, with the wider theatrical run reported for Friday and a Disney+ window to follow. It is directed by Dylan Southern and Will Lovelace, written by Steven Knight of *Peaky Blinders*, and it is part concert film, part documentary, following the Live '25 reunion tour that began in Cardiff last July.

Noel and Liam Gallagher turned up together at the Leicester Square premiere on Monday, having already done Venice on Saturday, where the film drew an eight-minute ovation and the brothers came in through the cinema doors rather than up the carpet. Jack Grealish was there. So was the new *Strictly* host. Early descriptions from the premiere run to "emotional" and "incredibly candid."

The fact that matters is buried in the press notes: the film contains the first joint interview Noel and Liam have given in more than twenty years. Lovelace, at the premiere, called the fact that they sat down together "surprising."

It should not be filed as a bonus feature. It is the asset. A reunion tour is a series of nights that can end in a dressing-room argument in Buenos Aires; the 2009 split happened in a corridor in Paris. A tour sells out, generates its hundreds of millions across Britain, North America, South Korea, Japan, Australia, Argentina, Chile and Brazil, and then evaporates into anecdote. A film with both men in the same frame, on the record, is durable in a way the tour is not. It is the document that makes the next one negotiable rather than unimaginable — a signed instrument, distributed by Disney, that both parties have to live beside.

Which is why the rumours of a follow-up have been so loud since Monday, and why they are not really rumours so much as an inference anyone could draw from the release schedule.

The band has eight UK number-one singles and eight number-one albums and does not need another concert film. What it needed was a mechanism for the ceasefire to survive contact with a hotel bar, and Knight and the directors have produced one and put it in nine hundred cinemas. Whether the songs still land is almost a secondary question. On the evidence of Cardiff, they do.

Every humanitarian instinct you have is telling you that Tuesday was a good day. Nobody American died. Nobody Iranian died, as far as anyone has said. The tanker crews were warned. The missiles were evaded or intercepted. The one vessel captured at the mouth of the strait turned out to contain no human being at all, only a broken robot with nothing classified in it.

I want to argue that this is the most dangerous condition a war can reach, and that the people who designed it know exactly what they have built.

Democracies have never possessed a reliable mechanism for stopping wars. They have possessed one accident that occasionally functions as a mechanism: the coffin. Not the argument, not the editorial, not the marches — the specific, local, unanswerable fact of a young person from a particular town being returned to it. That is what turned the American public against Vietnam and Iraq, and it is what every war ministry since has spent its energy routing around. Drones. Contractors. Partners. Standoff weapons. Each innovation sold as a reduction in human cost, each one also a reduction in political cost, and the second sale is the one the buyer wanted.

This war is the completed form of that project. Six months and ten days in, the belligerents have achieved something close to a casualty-free exchange between their own nationals, not through restraint but through targeting policy: hit the cash flow, warn the crew, aim at the hull. It is genuinely more humane than the alternative. It is also, for exactly that reason, unstoppable by any means that has ever worked before.

Because the cost has not vanished. It has been converted into a form that cannot generate a funeral. Brent at $99.49. Petrol at $4.15, the first Labor Day above four dollars in the history of the series. Diesel at a record before harvest. Inflation at 3.4 per cent, and a Federal Reserve that may raise rates next Wednesday because a shipping lane in the Gulf of Oman is closed. Seventy-three people wounded in Saudi Arabia by a proxy, whose injuries produce political consequences in no capital that matters.

That is the ledger, and every line of it is denominated in a unit that diffuses. A dead soldier is indivisible and attributable. A thirteen-cent weekly increase in the price of petrol is neither. It is spread across three hundred million people in slivers too thin for any of them to organise around, and it lands hardest on the people with the least capacity to make a government notice.

The only number in American public life currently tracking this war is an approval rating: 32 per cent, with 17 per cent approving of the president's handling of prices. That is the casualty figure. It is a lagging, laundered, once-a-month proxy for a cost people are experiencing as a household budget problem and mostly not connecting to the Strait of Hormuz at all.

If this war ends before the spring, it will not end because anyone was moved. It will end because a midterm result made it administratively inconvenient, or because a central bank forced the issue by raising the cost of money until something in the credit market snapped. Those are the two brakes left. Both of them are indirect, slow, and answerable to nobody who has been hurt.

I am not asking for a bloodier war. I am pointing out that we have built one with no off switch attached to conscience, and that the people who removed the switch called it progress. The next administration of any party will study this as the template: a war you can run indefinitely, at scale, against a real adversary, financed by strangers who will blame the pump.

That is not restraint. It is the perfect crime, and the only reason anyone will stop it is that it turned out to be expensive.