Fluid dynamics·pde:EulerSmoothForcingBlowup
Finite-time blowup for the 3D incompressible Euler equations with smooth forcing
No formal proof attached. Any claim here rests on a write-up or a report.
Fidelity F0: Absent. No formal statement is attached to the result.
partial differential equations, fluid dynamics, finite-time blowup·Source
AI activity
How grades workA finite-time singularity for the incompressible Euler equations on ℝ³ with a force smooth in space and time up to and including the blowup time.
Reasoning and sources
Autonomy
By the authors' account, two mathematicians pushed the Córdoba–Martínez-Zoroa programme to smooth forcing with a great deal of help from language models; the programme was neither started nor proposed by a model, and GPT-6 Astra was used only for write-ups and auditing.
Details
found: 15 August 2026, by the authors' account
lean: Verified in Lean on 22 August 2026, by the authors' account; no public repository is cited
write-up: Buckmaster says the Euler write-up is much closer to what models produce under human direction than to a paper written by a person
Fidelity
How fidelity is gradedF0 no formal statement. Absent. No formal statement is attached to the result.
Provenance
Built on
- Diego Córdoba and Luis Martínez-Zoroa 2023
The programme of forced blowup constructions, with rough forcing, that this work pushes to smooth forcing. Source
In dispute
- Priority
Announced about twelve hours before OpenAI's Navier–Stokes claim; Buckmaster's statement sets out his contacts with OpenAI in the days before it. Source
Follow and discuss
All discussionFollow this problem
An email when it has a new claim, check, bounty or discussion. You confirm once and can stop with one click.
Discussion and bounties for this problem load here.
Seen recently
What the monitors picked up in the last thirty days, not yet graded.
Something wrong or missing here? Request a correction or add a claim, with its sources.
Claims and corrections from readers
All of themFormal material
Formal statements · 0
No formal statement located.
Cited proofs · 0
No proof artifact cited by the formal record.
Cite this record
qed.bot, “Finite-time blowup for the 3D incompressible Euler equations with smooth forcing”, https://qed.bot/s/pde-eulersmoothforcingblowup, as of 30 Sep 2026.