Qué afirma haber demostrado OpenAI
OpenAI ha publicado una demostración de 166 páginas que propone zanjar uno de los siete Problemas del Milenio. El resultado no sostiene que todo fluido permanezca siempre regular. Construye el caso contrario: unas condiciones iniciales suaves y una fuerza externa también suave para las que la velocidad de un fluido tridimensional crece sin límite en un tiempo finito.
Dicho de otra forma, la propuesta afirma que las ecuaciones de Navier-Stokes pueden desarrollar una singularidad aunque el movimiento comience sin irregularidades. Según la presentación de OpenAI, la prueba cubre el espacio completo y el caso periódico, las alternativas C y D del enunciado del Clay Mathematics Institute. La energía cinética permanece finita incluso cuando la velocidad se dispara.
El vórtice que concentra la velocidad
La construcción parte de un fluido inicialmente en reposo y añade una fuerza diseñada con precisión. Esta genera un vórtice que gira hacia dentro y se estira a lo largo de su eje. Al concentrarse, la velocidad aumenta hasta hacerse ilimitada. Los términos potencialmente problemáticos se cancelarían entre sí, de modo que la fuerza aplicada sigue siendo suave.
No es solo una curiosidad abstracta. Estas ecuaciones describen el aire alrededor de un avión, el agua, la predicción atmosférica o el flujo sanguíneo. La prueba intenta responder si ese modelo continuo puede romperse desde un comienzo perfectamente regular, no predecir que un vaso o una tormenta producirán literalmente velocidad infinita.
10.000 agentes y un sistema posterior a Astra
La historia tecnológica es casi tan llamativa como la matemática. OpenAI dice que inició el esfuerzo el 1 de septiembre con unos 10.000 agentes concurrentes. El candidato apareció cuatro días después, tras unas 88 horas. Formalizarlo y comprobarlo en Lean con GPT-6 Astra requirió otras 17 horas. Solo esta búsqueda generó 2,7 millones de mensajes y unos 130.000 millones de tokens de salida.
El sistema que encontró la construcción sigue en entrenamiento y la empresa lo describe como significativamente más capaz que GPT-6 Astra. Un agente no equivale aquí a un matemático independiente. Son ejecuciones coordinadas que exploran, critican y refinan caminos. Nuestro diccionario de inteligencia artificial explica la diferencia entre modelo, agente y verificador.
Por qué el problema todavía no está oficialmente resuelto
OpenAI ha liberado el artículo y el código de la formalización para que puedan examinarse. Lean comprueba que los pasos codificados se derivan de las definiciones y axiomas declarados. Eso reduce ciertos errores lógicos, pero no sustituye la revisión de especialistas ni garantiza por sí solo que cada definición formal represente exactamente todas las condiciones del problema original.
Las reglas del Clay Mathematics Institute exigen que una solución aparezca en una publicación cualificada, que transcurran al menos dos años y que alcance aceptación general en la comunidad matemática antes de considerarla para el premio. OpenAI afirma que no piensa reclamarlo. Por ahora, la noticia extraordinaria es una propuesta pública, reproducible y formalizada. Llamar resuelto al problema será correcto únicamente si supera el examen que acaba de empezar.
La conversación empieza aquí
Accede con una cuenta de apoyo para comentar. Entrar
Todavía no ha comentado nadie. ¿Estrenas tú?