Navier-Stokes 난제 정복에 성큼 다가선 돌파구

Finite time blowup with smooth forcing term for the incompressible porous medium

Alpöge와 Buckmaster가 Córdoba–Martínez-Zoroa의 연구를 발전시켜 incompressible porous medium, 2차원 Boussinesq, 3차원 incompressible Euler 방정식에서 매끄러운 forcing term을 가진 유한 시간 폭발을 구성했다. 이는 Navier-Stokes 방정식의 global regularity 문제 해결에 한 걸음 더 다가선 성과로, Lean으로 형식화되었으며 AI의 도움을 크게 받았다. Terry Tao는 이 결과의 핵심 아이디어를 요약하고, 수학적 이해의 중요성을 강조한다.