La pregunta de si soluciones suaves de fluidos 3D pueden soplar en tiempo finito concentró trabajo analítico, numérico y ahora asistido por IA.
Las ecuaciones de Euler (sin viscosidad) y Navier–Stokes (con viscosidad) modelan fluidos continuos. Desde Leray (1934), la regularidad global en 3D permanece abierta en el sentido del premio Clay.
En los 2020s, avances en escenarios de blow-up, construcciones casi singulares y verificación asistida acercaron la discusión a resultados condicionales y forzado externo.
El paisaje previo a septiembre 2026 incluía tanto programas clásicos de análisis como experimentos computacionales a gran escala.
Tristan Buckmaster y Levent Alpöge resolvieron una variante de blow-up para Euler con forzamiento; OpenAI reconoció su prioridad tras rumores de septiembre.
OpenAI describe ~10.000 agentes concurrentes, cientos de miles de millones de tokens y formalización en Lean tras hallar una singularidad con fuerza suave.
OpenAI afirma una prueba y formalización Lean de singularidad en Navier–Stokes 3D; no reclama el premio Clay y pide revisión matemática.