lean artifact · passed
Artifact ↗Source authenticated
Finite-time blowup for the 3D incompressible Euler equations from smooth data
Yes, if the argument stands. Theorem 1.1: there is u_0 in C^infinity_c with div u_0 = 0 whose smooth Euler solution has maximal lifespan 0 < T* < infinity, with limsup of the C^1 norm infinite and the time integral of the vorticity supremum divergent, so the blowup is genuine by Beale-Kato-Majda. The construction, per the paper's own section headings, places a localised oscillation over a smooth Euler flow, amplifies and transfers its wave geometry, chooses scales and iterates, and passes to a limiting datum; 57 pages. It supersedes the forced Euler result of Buckmaster and Alpöge in the catalog and is the step on which OpenAI's Navier-Stokes agents were then prompted. It says nothing about Navier-Stokes without forcing.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Sep 3, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Finite-time blowup for the 3D incompressible Euler equations from smooth data · Euler blowup, unforced
Confidence: Not scored
Registry verification: lean verified · preprint · candidate
Attribution
VibeMathed
registry · event recorded by
Unnamed internal OpenAI model
model · ai model contributor · OpenAI
GPT-6 Astra for the Lean formalisation
model · ai model contributor · OpenAI
Artifacts and verifiers
formal registration · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
Finite-time blowup for the 3D incompressible Euler equations from smooth data parent of this event
This event attributed to GPT-6 Astra for the Lean formalisation
OpenAI's comparator challenge statement for unforced Euler evidence for this event
Finite-time blowup for the 3D incompressible Euler equations from smooth data evidence for this event
VibeMathed record: Finite-time blowup for the 3D incompressible Euler equations from smooth data evidence for this event
Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing evidence for this event
Formal Conjectures' original, which the statement matches byte for byte evidence for this event
This event attributed to Unnamed internal OpenAI model
The Lean development and comparator configuration evidence for this event
Yes, if the argument stands. Theorem 1.1: there is u_0 in C^infinity_c with div u_0 = 0 whose smooth Euler solution has maximal lifespan 0 < T* < infinity, with limsup of the C^1 norm infinite and the time integral of the vorticity supremum divergent, so the blowup is genuine by Beale-Kato-Majda. The construction, per the paper's own section headings, places a localised oscillation over a smooth Euler flow, amplifies and transfers its wave geometry, chooses scales and iterates, and passes to a limiting datum; 57 pages. It supersedes the forced Euler result of Buckmaster and Alpöge in the catalog and is the step on which OpenAI's Navier-Stokes agents were then prompted. It says nothing about Navier-Stokes without forcing. parent of this event
Euler equations (fluid dynamics) evidence for this event
Act on this frontier