Finite-time blowup for the incompressible porous media equation with smooth forcing — qed.bot Claims, announcements and changes recorded against Finite-time blowup for the incompressible porous media equation with smooth forcing. https://qed.bot/feeds/s/pde-porousmediasmoothforcingblowup.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. 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.