A sharp new boundary around a fluid singularity claim
- What it is
- A theorem claims a proposed kind of Navier–Stokes singularity cannot occur when its forcing is spatially real analytic.
- Who did it
- Peter Constantin, Mihaela Ignatova, and Vlad Vicol
- What it could mean
- How a fluid is driven matters. Under specified symmetry and scaling assumptions, analytic forces rule out blowup. OpenAI’s construction uses non-analytic forcing, so this is a boundary, not a refutation.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
Regularity of asymptotically axisymmetric solutions to the 3D Navier–Stokes equations with analytic forcing ↗See the proposed checks
examination Theorem 1.3’s force regularity, anisotropic-bound, and axisymmetric-core assumptions; compare them line by line with the cited OpenAI manuscript’s Theorem 1.1 and Appendix-A properties; then review the ancient-limit and local-regularity argument without executing manuscript code.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- The abstract and Theorem 1.3 claim regularity for a specified class of forced 3D Navier–Stokes solutions. As a consequence, a singular construction with the named core and anisotropic properties cannot have force that both remains (C²)-bounded to singular time and is locally uniformly real analytic in space. It is a timely mathematical boundary on the September 8 forced Navier–Stokes intake, not a refutation of that claim.
- Why this could matter
- A sharp new boundary around a fluid singularity claim Navier–Stokes singularities are notoriously hard to rule in or out. This paper says a particular proposed route cannot work with a force that remains real analytic in space, narrowing the terrain without resolving every case.
- If it holds up
- Foundational: it would impose a concrete regularity constraint on this class of forced singularity constructions and focus scrutiny on the exact behavior of their forcing.
- If it does not
- The proposed restriction would weaken, revealing which symmetry, scale, or analyticity step needs a more careful argument.
- Impact horizon
- Foundational · Fluid dynamics · Partial differential equations · Mathematical analysis
- Version
- submitted 2026-09-17 17:57:45 UTC
- Why we tracked it
- a fresh, source-backed conditional regularity theorem materially constraining an active forced Navier–Stokes claim. It does not by itself decide the OpenAI construction, whose forcing need not meet the theorem’s analytic hypothesis.
- Highest-risk dependency
- The consequence is conditional. Equating smooth compactly supported forcing with real-analytic forcing, or treating this theorem as a general no-blowup result, would overstate its scope.
- Available artifacts
- arXiv exposes PDF, HTML, and TeX source. The primary record did not identify a formal proof, code repository, numerical certificate, or executable artifact. No artifact was downloaded, executed, or replayed.
- Current boundary
- Intake record only; examination not started.