# Finite-time blowup for the 3D incompressible Euler equations with smooth forcing

A statement in qed.bot, the register of claims of AI work in mathematics. The register grades the evidence attached to each claim; it never rules on whether a proof is correct.

- Identifier: pde:EulerSmoothForcingBlowup
- Collection: Fluid dynamics
- Page: https://qed.bot/s/pde-eulersmoothforcingblowup
- Formal record: unclassified
- Machine-checked: no independent check has verified it
- Fidelity F0: Absent. No formal statement is attached to the result.
- Source: https://cims.nyu.edu/~tristanb/euler.pdf

## AI claims

### Claude, GPT-5.6 Sol, GPT-6 Astra, 7 Sep 2026

A finite-time singularity for the incompressible Euler equations on ℝ³ with a force smooth in space and time up to and including the blowup time.

- Outcome: full
- Autonomy A1: Collaborative. A human and a system worked the problem together, or the system played a supporting role.
- Evidence V1: Informal. A public write-up exists and has had community scrutiny.
- Fidelity F0: Absent. No formal statement is attached to the result.
- With: Tristan Buckmaster, Levent Alpöge
- Source: Blowup for the Euler equations with smooth forcing, https://cims.nyu.edu/~tristanb/euler.pdf
- Source: Tristan Buckmaster, statement of 7 September 2026, https://cims.nyu.edu/~tristanb/statement.pdf
- Source: Terence Tao, on the three blowup results, https://terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-incompressible-porous-medium-boussinesq-and-incompressible-euler-equations/

Cite as: 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. The register's data is published under CC BY 4.0: https://creativecommons.org/licenses/by/4.0/