qedbot

Fluid dynamics·pde:PorousMediaSmoothForcingBlowup

Finite-time blowup for the incompressible porous media equation with smooth forcing

problem formal record: unclassified F0 no formal statement

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 work
Claude, GPT-5.6 Sol, GPT-6 Astra

7 Sep 2026·with Levent Alpöge, Tristan Buckmaster, Matei P. Coiculescu

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.

full A1 V1 F0
Reasoning and sources

Autonomy

By the authors' account, 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.

Details

found: Before the Boussinesq and Euler results, by the authors' account

lean: The authors say their results were verified in Lean; no public repository is cited

Fidelity

How fidelity is graded

F0 no formal statement. Absent. No formal statement is attached to the result.

Provenance

Built on

  • Diego Córdoba and Luis Martínez-Zoroa 2023

    Blowup for the porous media equation with a spatially smooth force, which this result extends to a force smooth in time as well. Source

Follow and discuss

All discussion

Discussion and bounties for this problem load here.

Something wrong or missing here? Request a correction or add a claim, with its sources.

Formal 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 incompressible porous media equation with smooth forcing”, https://qed.bot/s/pde-porousmediasmoothforcingblowup, as of 30 Sep 2026.

This record as plain text, with each claim, its grades and its sources.