Matemáticos logran blowup en tiempo finito para tres ecuaciones de fluidos con forzamiento suave
Finite time blowup with smooth forcing term for the incompressible porous medium
Alpöge y Buckmaster, basándose en Córdoba y Martínez-Zoroa, construyen soluciones que explotan en tiempo finito para las ecuaciones de medio poroso incompresible, Boussinesq bidimensional y Euler tridimensional, manteniendo el término forzante suave. La estrategia añade correcciones de alta frecuencia que aumentan la singularidad. El trabajo, asistido por IA y formalizado en Lean, acerca la posibilidad de resolver el problema de regularidad global de Navier-Stokes.
el argumento se basa en construir iterativamente la solución añadiendo pequeñas correcciones de alta frecuencia que hacen que la solución sea más singular cerca del tiempo de blowup, mientras el término forzante se mantiene bien comportado.