{"schema_version":"source-reader-v1","record":{"source_id":"euler-regularity-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":"euler-regularity:source:paper:v1","source_id":"euler-regularity-paper","title":"Finite Time Blowup for the Euler Equation","owner":"OpenAI","url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","subject_scope":"The manuscript states smooth compactly supported unforced Euler data with finite maximal lifespan.","revision":"2026-09-08","content_sha256":"a0c234518e6c489e16996805023eb2e75c00b7c03455f7a3a5be2c124954bfdd","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/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","attribution":"OpenAI","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"euler-regularity:entry:history:v1","source_version_id":"euler-regularity:source:paper:v1","item_id":"historical-context","url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","wording":"Elgindi (Annals 2021) proved finite-time blowup on ℝ³ for C^{1,α} axisymmetric velocities without swirl, for small α > 0. Córdoba and Martínez-Zoroa (2023) constructed finite-energy forced Euler solutions on ℝ³ that blow up. For smooth initial data, Chen and Hou (2022; rigorous numerics 2025) proved blowup in an axially periodic cylinder with an impermeable wall.","wording_kind":"paraphrase","locator":"§1.1, Historical context; references [6], [7], [10], [15]","supersedes":null},{"id":"euler-regularity:entry:paper:v1","source_version_id":"euler-regularity:source:paper:v1","item_id":"paper","url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","wording":"The manuscript states smooth compactly supported unforced Euler data with finite maximal lifespan.","wording_kind":"paraphrase","locator":"Theorem 1.1 and Section 1.1","supersedes":null}],"problems":[{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9}],"selected_version_id":"euler-regularity:source:paper:v1","available_versions":[{"id":"euler-regularity:source:paper:v1","revision":"2026-09-08","observed_on":"2026-10-13","title":"Finite Time Blowup for the Euler Equation","publication":"preprint","content_sha256":"a0c234518e6c489e16996805023eb2e75c00b7c03455f7a3a5be2c124954bfdd","used_in_current_publications":true}],"usages":[{"id":"source-use-14f4f46aa02d6fc1935d","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"assessment","title":"Smooth-data blowup with a boundary (Chen & Hou 2022)","claim":{"id":"claim-euler-chen-hou-boundary","version":1,"slug":"euler-chen-hou-boundary","title":"Smooth-data blowup with a boundary"},"fragment":"claim-euler-chen-hou-boundary","assessment":{"id":"euler-regularity:report:chen-hou-boundary:v1","entry_id":"euler-regularity:entry:history:v1","state":"resolved","source_label":"Smooth-data blowup with a boundary (Chen & Hou 2022)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-97d3ef80063b58504dfe","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"assessment","title":"Blowup with external forcing (Córdoba & Martínez-Zoroa 2023)","claim":{"id":"claim-euler-forced-blowup","version":1,"slug":"euler-forced-blowup","title":"Blowup with external forcing"},"fragment":"claim-euler-forced-blowup","assessment":{"id":"euler-regularity:report:forced-blowup:v1","entry_id":"euler-regularity:entry:history:v1","state":"resolved","source_label":"Blowup with external forcing (Córdoba & Martínez-Zoroa 2023)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-c6e706f2b660d6ce5de4","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"assessment","title":"Blowup from C^{1,α} data in ℝ³ (Elgindi 2021)","claim":{"id":"claim-euler-elgindi-c1alpha","version":1,"slug":"euler-elgindi-c1alpha","title":"Blowup from C^{1,α} data in ℝ³"},"fragment":"claim-euler-elgindi-c1alpha","assessment":{"id":"euler-regularity:report:elgindi-c1alpha:v1","entry_id":"euler-regularity:entry:history:v1","state":"resolved","source_label":"Blowup from C^{1,α} data in ℝ³ (Elgindi 2021)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-9e15ffa5037eba31d50b","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"question","title":"Three-dimensional Euler regularity","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-25a9a1a0e8f2cb9f6d5e","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"Smooth-data blowup with a boundary","claim":{"id":"claim-euler-chen-hou-boundary","version":1,"slug":"euler-chen-hou-boundary","title":"Smooth-data blowup with a boundary"},"fragment":"claim-euler-chen-hou-boundary","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5392c0e6cf724ebb84af","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"Blowup with external forcing","claim":{"id":"claim-euler-forced-blowup","version":1,"slug":"euler-forced-blowup","title":"Blowup with external forcing"},"fragment":"claim-euler-forced-blowup","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-87f6812ec7aa911d9db5","entry_id":"euler-regularity:entry:history:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"Blowup from C^{1,α} data in ℝ³","claim":{"id":"claim-euler-elgindi-c1alpha","version":1,"slug":"euler-elgindi-c1alpha","title":"Blowup from C^{1,α} data in ℝ³"},"fragment":"claim-euler-elgindi-c1alpha","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-da12047ee4f780fa60f4","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"assessment","title":"Smooth unforced Euler singularity reported","claim":{"id":"claim-euler-smooth-unforced-singularity","version":3,"slug":"euler-smooth-unforced-singularity","title":"Smooth unforced data with finite-time breakdown"},"fragment":"claim-euler-smooth-unforced-singularity","assessment":{"id":"euler-regularity:report:singularity:v1","entry_id":"euler-regularity:entry:paper:v1","state":"proposed_solution","source_label":"Smooth unforced Euler singularity reported","scope":"Compact smooth data on ℝ³; finite maximal lifespan and derivative/vorticity blowup.","source_date":"2026-09-08","observed_on":"2026-10-13","evidence_url":"https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-43913d1c7ef48edf832e","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"milestone","title":"A smooth unforced whole-space construction is released","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ac2ec5d0c694b84bea03","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"milestone","title":"A vorticity continuation criterion","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e5e9c39eb6938297a6b9","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"milestone","title":"Regularity and boundary conditions matter","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-54392ed6cf23e3e75de9","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"question","title":"Three-dimensional Euler regularity","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-364efe8a33b8754b664c","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"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-09fac75c48120233203c","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"scope","title":"Finite-time smooth breakdown requires divergent integrated vorticity","claim":{"id":"claim-euler-vorticity-breakdown-criterion","version":1,"slug":"euler-vorticity-breakdown-criterion","title":"Finite-time smooth breakdown requires divergent integrated vorticity"},"fragment":"claim-euler-vorticity-breakdown-criterion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-29a9d19d35c356ee44b0","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"scope","title":"Smooth unforced data with finite-time breakdown","claim":{"id":"claim-euler-smooth-unforced-singularity","version":3,"slug":"euler-smooth-unforced-singularity","title":"Smooth unforced data with finite-time breakdown"},"fragment":"claim-euler-smooth-unforced-singularity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-30180fb1c0fbbafe3bbe","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"scope","title":"No global smooth bounded-energy solution for selected data","claim":{"id":"claim-euler-no-global-smooth-energy-solution","version":3,"slug":"euler-no-global-smooth-energy-solution","title":"No global smooth bounded-energy solution for selected data"},"fragment":"claim-euler-no-global-smooth-energy-solution","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-16085e8b62bfbeccdd54","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"No global smooth bounded-energy solution for selected data","claim":{"id":"claim-euler-no-global-smooth-energy-solution","version":3,"slug":"euler-no-global-smooth-energy-solution","title":"No global smooth bounded-energy solution for selected data"},"fragment":"claim-euler-no-global-smooth-energy-solution","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-2eb2197fcb0e8745c1b6","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"Finite-time smooth breakdown requires divergent integrated vorticity","claim":{"id":"claim-euler-vorticity-breakdown-criterion","version":1,"slug":"euler-vorticity-breakdown-criterion","title":"Finite-time smooth breakdown requires divergent integrated vorticity"},"fragment":"claim-euler-vorticity-breakdown-criterion","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ed5124f817287044c038","entry_id":"euler-regularity:entry:paper:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"statement","title":"Smooth unforced data with finite-time breakdown","claim":{"id":"claim-euler-smooth-unforced-singularity","version":3,"slug":"euler-smooth-unforced-singularity","title":"Smooth unforced data with finite-time breakdown"},"fragment":"claim-euler-smooth-unforced-singularity","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}