OpenAI anuncia una solución a Navier–Stokes (8 sep 2026): verificación en curso
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.
3 artículos
Navier-Stokes
Índice de etiquetas editoriales y cobertura filtrada.
El sistema multiagente interno que atacó Navier–Stokes
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.
Euler y Navier–Stokes en los 2020s: hacia la singularidad
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.