New proofPDE and mathematical physics
Forced three-dimensional Navier–Stokes singularity
OpenAI reports examples for every ν>0 in R³ and on the three-torus, under its specified forcing and initial-data conditions.
LFCR
Frontier
New proofs, counterexamples, bounds and formalizations reported by people and AI systems, newest first.
Reports linked to Navier–Stokes existence and smoothness · Show all