The announcement describes the mathematical/model workflow, later formalization, and concurrent forced-Euler work with a different scope.
Source publication and attributed assessments are distinct from independent OpenMath review.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The announcement describes the mathematical/model workflow, later formalization, and concurrent forced-Euler work with a different scope.
Passage ID: fluid-regularity:entry:announcement:v1
Source item: announcement
Source record: fluid-regularity:source:announcement:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v9
Research activity
Keep the concurrent forced result distinct
The announcement recognizes Levent Alpöge and Tristan Buckmaster’s separately generated forced-Euler work with an internal Anthropic model.
No theorem of that separate work is republished here without its own exact source and hypotheses.
History
A smooth unforced whole-space construction is released
Question
Three-dimensional Euler regularity
Problem publication v8
History
Manuscript and formal source released
History
A forced breakdown argument is produced
Question
Navier–Stokes existence and smoothness
Recorded authorship
OpenAI
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.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
On the Navier–Stokes Millennium Prize Problem
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Source terms ↗