Reading source record 2026-09-08. View default cited record →
The manuscript states forced breakdown from rest with compactly supported smooth forcing, bounded kinetic energy and unbounded velocity; it also states a periodic corollary.
Source publication and attributed assessments are distinct from independent OpenMath review.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The manuscript states forced breakdown from rest with compactly supported smooth forcing, bounded kinetic energy and unbounded velocity; it also states a periodic corollary.
Passage ID: navier-stokes:entry:paper:v1
Source item: paper
Source record: navier-stokes:source:paper:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v8
Source assessment
Proved
Continuation obstruction under a singular-flow premise
Conditional compact-support argument; not an assessment that the constructed witness is correct.
Observed Oct 13, 2026
Scope
Unbounded compactly supported velocity prevents smooth continuation
Source assessment
Proposed
A compactly supported forced singular flow reported
Zero initial velocity; bounded energy and unbounded velocity before time one.
Source date Sep 8, 2026 · Observed Oct 13, 2026
Scope
A singular forced flow starting from rest
Source assessment
Proposed
Forced whole-space breakdown reported
Every positive viscosity; compact smooth force, zero initial velocity, bounded kinetic energy.
Source date Sep 8, 2026 · Observed Oct 13, 2026
Scope
Unforced global regularity in the whole space
Scope
Unforced global regularity on the three-torus
History
Manuscript and formal source released
Question
Navier–Stokes existence and smoothness
Further reading
Read the mathematical argument; inspect its Claim for assessment and scope.
Recorded authorship
OpenAI
OpenAI attributes the argument to its internal research model. Bibliographic authorship is printed as OpenAI; individual human preparation and checking roles are not inferred.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Finite Time Blowup for Navier–Stokes
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Source terms ↗