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.
2 artículos
Índice de etiquetas editoriales y cobertura filtrada.
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.
Desde 2000, el Clay Mathematics Institute lista siete problemas; Navier–Stokes existence and smoothness es uno de ellos, con premio de un millón de dólares.