Last hour headlines

Swipe → Extra

EXTRA · OPENAI CLAIMS NAVIER–STOKES. CLAY HAS NOT.

BREAKING

WIRE

OPENAI CLAIMS NAVIER–STOKES. CLAY HAS NOT.

~10k agents, ~88h, Lean formalization. Statements C/D claimed. Prize untouched. Bridson unhurried.

Desk file · 10 SEP 2026 · 00:55 GMT

Share to X
BREAKINGNTH MERIDIAN
EXTRA collage: Altman (GPO 2023) + Oxford Mathematical Institute building + OpenAI mark — not a Clay prize ceremony

Collage: Sam Altman — Amos Ben Gershom / GPO Israel (CC BY-SA 3.0); Andrew Wiles Building — Alain Goriely (CC BY-SA 3.0); OpenAI mark (PD-textlogo/trademark). Not Clay acceptance.

TECH DESK — OpenAI says an internal system cracked a 90-year-old fluid-math question in under four days of agent run-time. The Clay Mathematics Institute has not accepted that claim. The company says it will not chase the million-dollar Millennium Prize. Extra files the split: company release versus prize status. Do not read this Extra as “AI solved all math.” One company claim. Two statements of one Millennium problem. Prize status unchanged.

On 8 September 2026, OpenAI published “On the Navier–Stokes Millennium Prize Problem.” An internal model — described as significantly more capable than GPT-6 Astra — drove a multi-agent search that produced an analytical proof plus a Lean formalization. Number first, from the company: on the order of ~10,000 concurrent agents on the Navier–Stokes track; agents reached a resolution on Saturday, 5 September, about 88 hours after launch on 1 September; Lean formalization and verification took roughly 17 more hours via GPT-6 Astra; for Navier–Stokes alone, about 2.7 million agent messages and ~130 billion output tokens. Those counts are CONFIRMED as OpenAI’s numbers, not as independent measurement.

OpenAI frames the result as a finite-time singularity: smooth three-dimensional incompressible flow, with a smooth external force, can blow up while energy stays finite. The company says that establishes statements C and D in Clay’s official formulation — not A/B global-smoothness proofs. Write-up and Lean links sit on openai.com; Extra does not paste them. On money the company is explicit: “We do not intend to claim the Millennium Prize for this result.” Stated goal: report model progress, not take the Clay check. RANGE: Clay acceptance — NOT granted.

What Clay has not done is the brake on this Extra. BBC’s Kali Hays wrap lands it: OpenAI’s solution has yet to be verified independently or publicly accepted by Clay. The institute still lists Navier–Stokes among open Millennium problems. Martin Bridson, Clay’s president, called the announcement exciting and said evaluation will be “deliberately unhurried” and “absolutely rigorous” (Implicator wrap citing Bridson). Process language, not acceptance. Peer review still ahead. CONFIRMED: Bridson’s attributed process stance. UNVERIFIED: Clay accepts the proof or lists the problem solved.

Provenance dispute — named, not invented. OpenAI’s concurrent-work section names Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic). The company says its effort began 1 September after rumors later tied to that pair; after Lean verification (6 September), it reached out believing they also had Navier–Stokes and learned they had a forced Euler resolution. OpenAI says it recognizes their priority on forced Euler. BBC reports Buckmaster went public the same day: he said he learned on 3 September that information about their progress had reached OpenAI, and that OpenAI did not start the Navier–Stokes push until after that signal. He said he had not yet read OpenAI’s full proof. Extra does not invent or reconstruct email text. No fake quotes beyond attributed public lines.

OpenAI’s denial: researchers and agents did not see the pair’s work until public release; no specific user data was accessed to solve the problem. Narrow caveat, labeled: “While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models.” It says proofs differ and even the Euler results differ (forced vs unforced). RANGE: provenance / product-data spillover — disputed; company denies seeing their work; spillover flagged unlikely and unproven. No desk verdict.

Clay’s written C/D route permits a smooth force; OpenAI’s construction uses one. Many working mathematicians treat the unforced question as the harder prize of intuition. Bridson’s review will weigh that gap. Extra reports the dispute as RANGE on significance pending Clay and peers. CONFIRMED shelf: OpenAI published the NS claim and Lean links on 8 Sep 2026; ~10k agents / ~88h to agent resolution / +~17h Lean as company numbers; statements C/D (forced singularity) claimed; Bridson “unhurried / rigorous”; OpenAI will not claim the $1m prize. UNVERIFIED / NOT accepted: Clay acceptance; independent journal verification complete. FALSE framing — do not use: “AI solved all math.”

The still on this Extra is NTH MERIDIAN EXTRA hybrid journalistic art — Altman GPO still + Andrew Wiles Building + OpenAI mark collage; not a Clay prize ceremony and not an acceptance photo. VIDEO=no. Nailed down, 10 September 2026, 00:55 GMT. PATH /wire/openai-navier-stokes-millennium-claim. DESK_ID openai-navier-stokes-millennium-claim. Beat WIRE / BREAKING. Verification: OpenAI company post 8 Sep 2026 (navier-stokes-solution); BBC Kali Hays; Implicator Clay/Bridson wrap; DongA Science Clay process note — verification only, do not republish. NTH MERIDIAN does not invent emails or player quotes.

OpenAI company post 8 Sep 2026 (navier-stokes-solution); BBC Kali Hays; Implicator Clay/Bridson wrap; DongA Science Clay process note — verification only. NTH MERIDIAN does not invent emails or accept Clay status OpenAI has not been granted.

WIRE
02:25 GMT · AA26-251A names six China AI labs. Beijing: groundless. Not tips01:50 GMT · Hubinger >10% AI extinction this decade. Coxon quits. Marks corroborates. Not tips01:40 GMT · Treasury up-to-$6B 10–20y buyback Sept 10. 10y ~4.85%. BTC gave back bounce01:20 GMT · Strive +1,375 BTC (~$109m / ~$79,281). Strategy 0 BTC; ~$176.3m STRC buybacks00:55 GMT · OpenAI claims NS C/D + Lean. Clay has not accepted. Prize untouched. Bridson unhurried00:45 GMT · Gauff d. Andreeva 2-6 7-6(7) 6-2. Two MPs saved in TB. SF vs Rybakina (1-1)23:05 GMT · Rybakina d. Zheng 3-6 6-1 6-4. SF vs Gauff. No.1 clinched; official next week15:20 GMT · All-American US Open SF. Shelton–Tiafoe. American in Sunday’s final08:44 GMT · Congress control. Abascal TRAITOR letters. Sánchez: no blackmail, CNI today06:20 GMT · Darnytskyi 24-story. Floors 11–12. KCMA 5→6 hurt. No death on this Extra07:21 GMT · FILE UPDATED: Brent $100.07 (+$2.15 / +2.2%). WTI $94.7304:35 GMT · Starokozache hit. Kiper: 2 dead, 3 injured. Crossing closed04:03 GMT · U.S. bans certain Canadian alcohol, dairy, motorcycles from 29 Sep09:15 GMT · CONFIRMED: CENTCOM destroyed five; Jordan 18/20. CLAIM: IRGC Hormuz and Kuwait/Bahrain07:55 GMT · Real Madrid 2-1 Inter. Mourinho’s first CL night of the second spell13:48 GMT · CORRECTION: match TB corrected to 10-7 per BBC Sport. 6-7(5) 6-1 6-3 1-6 7-6(10-7)07:20 GMT · Pegula d. Navarro 3-6 6-4 6-3. Third straight US Open SF. Sabalenka next07:21 GMT · FILE UPDATED: Brent $100.07 (+$2.15 / +2.2%). WTI $94.7321:21 GMT · 73 wounded after Houthi strikes on Abha, Najran, Jazan, Khamis Mushait14:30 GMT · Kremlin: hour-long Trump–Putin call. Swift end to Ukraine war. Plus sign on envoys15:00 GMT · Saar: Britain’s East Jerusalem consulate closes. UK off Gaza coordination mission13:49 GMT · London, Paris and Ottawa ban West Bank settlement imports18:22 GMT · Amazon cargo jet overshoot investigation continues in Miami16:40 GMT · U.S. accuses Chinese AI firms of “malicious” copying ahead of a leaders’ meeting15:02 GMT · Eiffel Tower reopens after a one-day shutdown11:16 GMT · 13,583 rescued. NDRRMA still hunting the missing10:33 GMT · Hungary expels 10 Russian diplomats; Moscow vows a “painful” response09:18 GMT · Russia and North Korea open their first road bridge