{"schema_version":"source-reader-v1","record":{"source_id":"navier-stokes-paper","versions":[{"work":{"authors":["OpenAI"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"OpenAI attributes the argument to its internal research model. Bibliographic authorship is printed as OpenAI; individual human preparation and checking roles are not inferred.","artifacts":[],"published":{"value":"2026-09-08"}},"id":"navier-stokes:source:paper:v1","source_id":"navier-stokes-paper","title":"Finite Time Blowup for Navier–Stokes","owner":"OpenAI","url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","subject_scope":"The manuscript states forced breakdown from rest with compactly supported smooth forcing, bounded kinetic energy and unbounded velocity; it also states a periodic corollary.","revision":"2026-09-08","content_sha256":"0e779481c4da40bd28d1e642e1d8ca57447d129610df28dfa5a11e9af8ae228f","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","attribution":"OpenAI","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"navier-stokes:entry:paper:v1","source_version_id":"navier-stokes:source:paper:v1","item_id":"paper","url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","wording":"The manuscript states forced breakdown from rest with compactly supported smooth forcing, bounded kinetic energy and unbounded velocity; it also states a periodic corollary.","wording_kind":"paraphrase","locator":"Theorem 1.1; Corollary 10.6; Section 1.1","supersedes":null}],"problems":[{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8}],"selected_version_id":"navier-stokes:source:paper:v1","available_versions":[{"id":"navier-stokes:source:paper:v1","revision":"2026-09-08","observed_on":"2026-10-13","title":"Finite Time Blowup for Navier–Stokes","publication":"preprint","content_sha256":"0e779481c4da40bd28d1e642e1d8ca57447d129610df28dfa5a11e9af8ae228f","used_in_current_publications":true}],"usages":[{"id":"source-use-06084ea2a1cb563ba19b","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Continuation obstruction under a singular-flow premise","claim":{"id":"claim-navier-stokes-compact-continuation-obstruction","version":1,"slug":"navier-stokes-compact-continuation-obstruction","title":"Unbounded compactly supported velocity prevents smooth continuation"},"fragment":"claim-navier-stokes-compact-continuation-obstruction","assessment":{"id":"navier-stokes:report:continuation:v1","entry_id":"navier-stokes:entry:paper:v1","state":"resolved","source_label":"Continuation obstruction under a singular-flow premise","scope":"Conditional compact-support argument; not an assessment that the constructed witness is correct.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-60e8662c471f48a20f78","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"A compactly supported forced singular flow reported","claim":{"id":"claim-navier-stokes-singular-flow-from-rest","version":2,"slug":"navier-stokes-singular-flow-from-rest","title":"A singular forced flow starting from rest"},"fragment":"claim-navier-stokes-singular-flow-from-rest","assessment":{"id":"navier-stokes:report:singular-flow:v1","entry_id":"navier-stokes:entry:paper:v1","state":"proposed_solution","source_label":"A compactly supported forced singular flow reported","scope":"Zero initial velocity; bounded energy and unbounded velocity before time one.","source_date":"2026-09-08","observed_on":"2026-10-13","evidence_url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ff9e799af7e244452305","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"assessment","title":"Forced whole-space breakdown reported","claim":{"id":"claim-navier-stokes-forced-r3","version":3,"slug":"navier-stokes-forced-r3","title":"Forced whole-space nonexistence"},"fragment":"claim-navier-stokes-forced-r3","assessment":{"id":"navier-stokes:report:forced-r3:v1","entry_id":"navier-stokes:entry:paper:v1","state":"proposed_solution","source_label":"Forced whole-space breakdown reported","scope":"Every positive viscosity; compact smooth force, zero initial velocity, bounded kinetic energy.","source_date":"2026-09-08","observed_on":"2026-10-13","evidence_url":"https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-77e351573fd5a5d5660d","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"milestone","title":"Manuscript and formal source released","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5634cc3c125e75b41568","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"question","title":"Navier–Stokes existence and smoothness","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0ef2163ac4695d03344f","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4b63c654be18b39c9e96","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Forced breakdown on the three-torus","claim":{"id":"claim-navier-stokes-forced-periodic","version":2,"slug":"navier-stokes-forced-periodic","title":"Forced breakdown on the three-torus"},"fragment":"claim-navier-stokes-forced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5636d70b97bac21583c9","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Unforced global regularity in the whole space","claim":{"id":"claim-navier-stokes-unforced-r3","version":1,"slug":"navier-stokes-unforced-r3","title":"Unforced global regularity in the whole space"},"fragment":"claim-navier-stokes-unforced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5bb8ea20a44b543e55bb","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Unforced global regularity on the three-torus","claim":{"id":"claim-navier-stokes-unforced-periodic","version":1,"slug":"navier-stokes-unforced-periodic","title":"Unforced global regularity on the three-torus"},"fragment":"claim-navier-stokes-unforced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b39aa91959955f594b90","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Unbounded compactly supported velocity prevents smooth continuation","claim":{"id":"claim-navier-stokes-compact-continuation-obstruction","version":1,"slug":"navier-stokes-compact-continuation-obstruction","title":"Unbounded compactly supported velocity prevents smooth continuation"},"fragment":"claim-navier-stokes-compact-continuation-obstruction","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b4788f30d01b740111b0","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"Forced whole-space nonexistence","claim":{"id":"claim-navier-stokes-forced-r3","version":3,"slug":"navier-stokes-forced-r3","title":"Forced whole-space nonexistence"},"fragment":"claim-navier-stokes-forced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e359b178244b0339e25f","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"scope","title":"A singular forced flow starting from rest","claim":{"id":"claim-navier-stokes-singular-flow-from-rest","version":2,"slug":"navier-stokes-singular-flow-from-rest","title":"A singular forced flow starting from rest"},"fragment":"claim-navier-stokes-singular-flow-from-rest","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0492bfd982d4e596da6b","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Unforced global regularity in the whole space","claim":{"id":"claim-navier-stokes-unforced-r3","version":1,"slug":"navier-stokes-unforced-r3","title":"Unforced global regularity in the whole space"},"fragment":"claim-navier-stokes-unforced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3105e607a0cd03b4fb51","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Forced whole-space nonexistence","claim":{"id":"claim-navier-stokes-forced-r3","version":3,"slug":"navier-stokes-forced-r3","title":"Forced whole-space nonexistence"},"fragment":"claim-navier-stokes-forced-r3","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-6f27ce660669f4ab7b42","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Unbounded compactly supported velocity prevents smooth continuation","claim":{"id":"claim-navier-stokes-compact-continuation-obstruction","version":1,"slug":"navier-stokes-compact-continuation-obstruction","title":"Unbounded compactly supported velocity prevents smooth continuation"},"fragment":"claim-navier-stokes-compact-continuation-obstruction","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-9dce1ee0b265956e543f","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Unforced global regularity on the three-torus","claim":{"id":"claim-navier-stokes-unforced-periodic","version":1,"slug":"navier-stokes-unforced-periodic","title":"Unforced global regularity on the three-torus"},"fragment":"claim-navier-stokes-unforced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b0aca9628369670e3486","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"Forced breakdown on the three-torus","claim":{"id":"claim-navier-stokes-forced-periodic","version":2,"slug":"navier-stokes-forced-periodic","title":"Forced breakdown on the three-torus"},"fragment":"claim-navier-stokes-forced-periodic","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c2dbefc9ca1feb2f6b1e","entry_id":"navier-stokes:entry:paper:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"statement","title":"A singular forced flow starting from rest","claim":{"id":"claim-navier-stokes-singular-flow-from-rest","version":2,"slug":"navier-stokes-singular-flow-from-rest","title":"A singular forced flow starting from rest"},"fragment":"claim-navier-stokes-singular-flow-from-rest","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}