Finite-time blowup for the 3D incompressible Euler equations with smooth forcing — qed.bot Claims, announcements and changes recorded against Finite-time blowup for the 3D incompressible Euler equations with smooth forcing. https://qed.bot/feeds/s/pde-eulersmoothforcingblowup.xml 2026-09-27T08:37:38Z qed.bot Full resolution claimed: Finite-time blowup for the 3D incompressible Euler equations with smooth forcing urn:qed:change:claim:58935e97737d 2026-09-27T08:37:38Z Claude, GPT-5.6 Sol and GPT-6 Astra: 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. Autonomy A1, evidence V1. New announcement: Finite-time blowup with smooth forcing for porous media, Boussinesq and Euler urn:qed:change:announcement:buckmaster-alpoge-2026-09-07 2026-09-27T08:37:38Z Tristan Buckmaster and Levent Alpöge claims three blowup results with smooth forcing, and blowup for hypodissipative Navier–Stokes held back until its Lean verification finishes. 4 identified, 0 with a checkable artifact. Finite-time blowup for the 3D incompressible Euler equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:58935e97737d 2026-09-07T00:00:00Z 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.. Autonomy A1, evidence V1, fidelity F0. Tristan Buckmaster and Levent Alpöge: Finite-time blowup with smooth forcing for porous media, Boussinesq and Euler urn:qed:announcement:buckmaster-alpoge-2026-09-07 2026-09-07T00:00:00Z Claims three blowup results with smooth forcing, and blowup for hypodissipative Navier–Stokes held back until its Lean verification finishes. Disclosure D1: 4 of 4 identified, 0 checkable.