Open
Unforced periodic regularity target ↗
Alternative B; the selected forced construction does not settle this assertion.
Observed Oct 13, 2026
Conjecture · version 1
For every ν > 0 and every smooth divergence-free periodic initial velocity, the unforced incompressible Navier–Stokes equations admit global smooth periodic velocity and pressure on ℝ³/ℤ³.
The official alternative B; a separate domain from whole-space regularity.
Open
Alternative B; the selected forced construction does not settle this assertion.
Observed Oct 13, 2026
In this problem · publication v5 · Selected context
Different statement · related variant · Open
Relationship not independently reviewed. This concerns its use in this problem.
In this problem · publication v8
Different statement · related variant · Open
Relationship not independently reviewed. This concerns its use in this problem.
The official problem specifies alternatives A/B for unforced regularity and C/D for forced breakdown, with separate decay, periodicity and energy conditions.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Charles L. Fefferman · Published · Publication date 2000
Source revision: 2000. Observed Oct 13, 2026.
No specific AI contribution is attributed by this source 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.
paraphrase · OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
OpenAI · Preprint · Publication date Sep 8, 2026
Source revision: 2026-09-08. Observed Oct 13, 2026.
OpenAI attributes the argument to its internal research model. Bibliographic authorship is printed as OpenAI; individual human preparation and checking roles are not inferred.
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessments retained in these publication records. Earlier statement versions retain their own source histories.
Open
Alternative B; the selected forced construction does not settle this assertion.
Observed Oct 13, 2026 · Source passage →