陶哲轩报道了Alpöge与Buckmaster的新进展：他们基于Córdoba和Martínez-Zoroa的方法，在不可压缩多孔介质、二维Boussinesq及三维欧拉方程中证明了有限时间爆破，并有望推广至Navier-Stokes方程。工作采用AI辅助并已用Lean形式化，核心策略是迭代添加高频修正，利用线性化不稳定性放大解，同时保持强迫项光滑。