Tao · quantitative bounds for critically bounded solutions
Published in Proceedings of Symposia in Pure Mathematics 104 (2021), DOI 10.1090/pspum/104/01874. Statements here use the pinned arXiv v2: Theorem 1.1, which states the Escauriaza–Seregin–Šverák criterion.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
Theorem 1.1, credited to Escauriaza–Seregin–Šverák: a classical solution with finite maximal time of existence has unbounded critical L³ norm as that time is approached.
Passage ID: navier-stokes:tao-l3-criterion:v1
Source item: tao-l3-criterion
Source record: arxiv-1908.04958@arxiv-v2
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
Established result reported in the cited source
Only the exact statement and source passage cited here; not an independent OpenMath assessment.
Observed Oct 21, 2026
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External source evidence; no OpenMath execution or independent reproduction is attached.
Resource revision: arxiv-v2
Recorded authorship
Terence Tao
The cited work does not report AI involvement; absence of attribution is not evidence of absence.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Tao · quantitative bounds for critically bounded solutions
No upstream full text is republished by this record.
Source terms ↗