Alpöge и Buckmaster показали взрыв за конечное время для трёх уравнений гидродинамики
Finite time blowup with smooth forcing term for the incompressible porous medium
Alpöge и Buckmaster, опираясь на работу Córdoba и Martínez-Zoroa, доказали возможность взрыва за конечное время для уравнений incompressible porous medium, двумерного Boussinesq и трёхмерного incompressible Euler. Их метод итеративно добавляет высокочастотные поправки, сохраняя гладкость вынуждающего члена, и, вероятно, распространяется на Navier-Stokes. Доказательства формализованы в Lean и активно упрощаются после предварительных препринтов.
Без такого понимания даже столь печально известная проблема регулярности Navier-Stokes имеет гораздо меньшее внутреннее значение для математики, чем иногда преподносится в популярных СМИ.