{"schema_version":"source-reader-v1","record":{"source_id":"fluid-regularity-announcement","versions":[{"work":{"authors":["OpenAI"],"kind":"research_project","publication":"project","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"OpenAI reports an internal multi-agent research-model workflow and later GPT-6 Astra formalization. It recognizes Alpöge and Buckmaster’s concurrent forced-Euler work, which is distinct from its unforced Euler result.","artifacts":[],"published":{"value":"2026-09-08"}},"id":"fluid-regularity:source:announcement:v1","source_id":"fluid-regularity-announcement","title":"On the Navier–Stokes Millennium Prize Problem","owner":"OpenAI","url":"https://openai.com/index/navier-stokes-solution/","subject_scope":"The announcement describes the mathematical/model workflow, later formalization, and concurrent forced-Euler work with a different scope.","revision":"2026-09-08","content_sha256":"0c79e5644b3aee393f3772268f2ec4b3c624df00e909df3ca65896af334765b6","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://openai.com/index/navier-stokes-solution/","attribution":"OpenAI","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"fluid-regularity:entry:announcement:v1","source_version_id":"fluid-regularity:source:announcement:v1","item_id":"announcement","url":"https://openai.com/index/navier-stokes-solution/","wording":"The announcement describes the mathematical/model workflow, later formalization, and concurrent forced-Euler work with a different scope.","wording_kind":"paraphrase","locator":"Our process; concurrent work; Euler and Navier–Stokes scope","supersedes":null}],"problems":[{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8}],"selected_version_id":"fluid-regularity:source:announcement:v1","available_versions":[{"id":"fluid-regularity:source:announcement:v1","revision":"2026-09-08","observed_on":"2026-10-13","title":"On the Navier–Stokes Millennium Prize Problem","publication":"project","content_sha256":"0c79e5644b3aee393f3772268f2ec4b3c624df00e909df3ca65896af334765b6","used_in_current_publications":true}],"usages":[{"id":"source-use-8cd030741c630ad93f2d","entry_id":"fluid-regularity:entry:announcement:v1","problem":{"slug":"euler-regularity","title":"Three-dimensional Euler regularity","publication_version":9},"kind":"activity","title":"Keep the concurrent forced result distinct","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"euler-regularity-concurrent","title":"Keep the concurrent forced result distinct","kind":"research_direction","source_entry_ids":["fluid-regularity:entry:announcement:v1"],"summary":"The announcement recognizes Levent Alpöge and Tristan Buckmaster’s separately generated forced-Euler work with an internal Anthropic model.","limitation":"No theorem of that separate work is republished here without its own exact source and hypotheses.","related_claim_ids":["claim-euler-smooth-unforced-singularity"]}},{"id":"source-use-228cd471f91595786a31","entry_id":"fluid-regularity:entry:announcement: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-d7bb9ccf3d2a0f489559","entry_id":"fluid-regularity:entry:announcement: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-d4248a2747b1d2b35b27","entry_id":"fluid-regularity:entry:announcement: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-f8f5cde3af2b29f493bd","entry_id":"fluid-regularity:entry:announcement:v1","problem":{"slug":"navier-stokes","title":"Navier–Stokes existence and smoothness","publication_version":8},"kind":"milestone","title":"A forced breakdown argument is produced","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c35b0d81cb746dc1108b","entry_id":"fluid-regularity:entry:announcement: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}],"linked_entries":[],"linked_sources":[]}}