OpenAI's Navier–Stokes Claim Under Scrutiny: Forced Singularity Isn't a Full Millennium Proof
basedjensen · x · 2026-09-11
Scrutiny is mounting on OpenAI's claimed Navier–Stokes progress. A cited analysis argues OpenAI's construction uses a specially engineered smooth external force to drive a finite-time singularity, threading the wording of Clay statement alternatives C and D, which explicitly allow forcing. If the proof survives verification, it's a legitimate route through the Millennium Problem's text—but it does not establish blowup for the unforced 3D equations, nor settle regularity for ordinary smooth initial data.
A reply counters that Clay has a two-year verification window, so dismissing the result because Clay hasn't listed it as solved is disingenuous—though calling it 'completely solved' overstates it. The core gap: a construction matching the problem's wording vs. the original regularity question mathematicians care about.
More from Research
- Open-source decision models sold their own base in Red Alert 2 — then learned until no human could beat them — heathercmiller · 2026-10-27
- DeepMind paper: LLMs can't sample randomly on their own — pass random numbers from code instead — rohanpaul_ai · 2026-10-27
- World Model Assigns Weight and Friction to Objects, Then Simulates with a Physics Engine — jonstephens85 · 2026-10-27
- Token Collapse: Study Finds Graph Soft Prompting Tokens in LLMs Fail to Encode Structure — Sapienza · 2026-10-27
- Mathathon 2.0 launches with Terence Tao's SAIR, $1.5M in compute for teams — _sathvikr · 2026-10-27
- The 'sweet lesson' is real: two kinds of ML problems need opposite strategies — mike64_t · 2026-10-27