Fluid dynamics — qed.bot Claims, announcements and changes across Fluid dynamics. https://qed.bot/feeds/collections/fluid-dynamics.xml 2026-09-27T08:37:38Z qed.bot Full resolution claimed: Finite-time blowup for the incompressible porous media equation with smooth forcing urn:qed:change:claim:0ccd14772447 2026-09-27T08:37:38Z Claude, GPT-5.6 Sol and GPT-6 Astra: Finite-time blowup for the incompressible porous media equation on the two-dimensional torus with a force smooth in space and time, extending Córdoba and Martínez-Zoroa's result with a spatially smooth force. Autonomy A1, evidence V1. 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. Full resolution claimed: Finite-time blowup for the inviscid Boussinesq equations with smooth forcing urn:qed:change:claim:3edb0739c066 2026-09-27T08:37:38Z Claude, GPT-5.6 Sol and GPT-6 Astra: Finite-time blowup for the inviscid Boussinesq system on ℝ² with smooth forcing in both equations: the temperature stays bounded while its gradient and the vorticity blow up. Autonomy A1, evidence V1. Finite-time blowup for the incompressible porous media equation with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:0ccd14772447 2026-09-07T00:00:00Z Finite-time blowup for the incompressible porous media equation on the two-dimensional torus with a force smooth in space and time, extending Córdoba and Martínez-Zoroa's result with a spatially smooth force.. 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. 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. Finite-time blowup for the inviscid Boussinesq equations with smooth forcing — full (Claude, GPT-5.6 Sol, GPT-6 Astra) urn:qed:3edb0739c066 2026-09-07T00:00:00Z Finite-time blowup for the inviscid Boussinesq system on ℝ² with smooth forcing in both equations: the temperature stays bounded while its gradient and the vorticity blow up.. Autonomy A1, evidence V1, fidelity F0.