Publicación automática · Sin revisión editorial. Compartimos una solución generada por AI al problema de la Navier–Stokes del milenio, incluyendo un resumen y una prueba formal en Lean.