Un Problema de Noventa Años, Resuelto en Ochenta y Ocho Horas

El 8 de septiembre de 2026, OpenAI publicó una prueba que afirma resolver el problema de existencia y suavidad de Navier-Stokes, uno de los siete Problemas del Milenio que desde el año 2000 llevan asociado un premio de un millón de dólares. El problema pregunta si el movimiento fluido tridimensional suave puede describirse siempre sin que las ecuaciones colapsen. El modelo de investigación no publicado de OpenAI, ejecutado como un enjambre de hasta 10.000 agentes paralelos, produjo una solución que demuestra que no: bajo ciertas condiciones, un vórtice se contrae y gira cada vez más rápido sin límite, un fenómeno que los matemáticos llaman explosión en tiempo finito, mientras la energía total del fluido permanece acotada. La empresa dedicó después 17 horas más a formalizar el argumento en Lean, un lenguaje usado para verificar demostraciones matemáticas paso a paso mediante ordenador.

DetalleCifra
Agentes paralelos usadosHasta 10.000
Tiempo hasta la primera prueba88 horas
Tiempo adicional para formalizar en Lean17 horas
Premio reclamado por OpenAI0 de 1.000.000 de dólares

OpenAI ha declarado explícitamente que no reclama el premio del Clay Mathematics Institute, y los matemáticos externos todavía deben verificar la prueba de forma independiente antes de que el campo la acepte como resuelta. Una formalización en Lean es una señal sólida de consistencia interna, no un sustituto de la revisión por pares.

Una Disputa Por El Crédito Eclipsa El Avance

El anuncio quedó inmediatamente eclipsado por una disputa pública. El matemático de la NYU Tristan Buckmaster, ganador del Clay Research Award, dijo que él y el investigador de Anthropic Levent Alpoge llevaban trabajando en cuestiones de dinámica de fluidos estrechamente relacionadas, y que OpenAI parecía haber seguido una línea de investigación de la que tuvo conocimiento gracias a ese trabajo, después de que circularan rumores en internet sobre que los modelos de Anthropic habían resuelto problemas similares. Buckmaster alegó que el investigador de OpenAI Sébastien Bubeck presionó para retirar a Alpoge de la autoría precisamente porque trabaja para un competidor, y que cuando Buckmaster amenazó con hacer público el intercambio, Bubeck le preguntó por qué querría arruinar su carrera.

Bubeck rebatió esa versión, diciendo que nunca pidió que Alpoge fuera retirado de la autoría de su propio trabajo, y que el verdadero desacuerdo era si Buckmaster podía liderar una reescritura de una prueba distinta que el propio sistema de OpenAI había producido, algo que a su juicio no debería firmar un empleado de un laboratorio rival. Por separado, y con más consecuencias para los usuarios externos, OpenAI dijo que no accedió a los datos específicos de la cuenta de Buckmaster ni de Alpoge durante el desarrollo de su prueba, pero añadió que no puede descartar que señales anonimizadas procedentes del uso más amplio de Codex, posiblemente incluyendo el de ambos, contribuyeran al entrenamiento del modelo subyacente.

Qué Significa Esto Si Su Empresa Usa Una Herramienta de Código Con IA

Nadie ha acusado a OpenAI de leer los archivos privados de un cliente concreto. El hecho más concreto y útil para una empresa europea es la propia admisión: incluso una empresa que insiste en no haber apuntado a nadie deliberadamente dice que no puede descartar por completo que datos de uso agregados y anonimizados alimenten el entrenamiento de futuros modelos. Si sus desarrolladores usan Codex, Copilot o una herramienta similar con código comercialmente sensible, esa es la pregunta práctica que debería plantear a su proveedor ahora, no después de que una disputa fuerce la admisión en público. Vale tanto para un equipo en Madrid como en Barcelona.

Pregunte por escrito a su proveedor de código con IA tres cosas: si las instrucciones y el código de su organización se usan por defecto para entrenar el modelo, si un nivel empresarial o de exclusión voluntaria realmente excluye esos datos, y cómo definen 'anonimizado' en sus propias condiciones. Una prueba histórica es un momento de marketing para OpenAI. La admisión sobre el uso de datos que la acompaña dura más que el titular.

Servola Journal

Hacemos esto por todos los que intentan mantenerse al día con lo que la tecnología le está haciendo a nuestras vidas. Las personas que la construyen, y las personas a las que les ocurre. Servola Journal existe para que lo que aprendemos pertenezca a todos ellos.

Nadie nos paga por esto. Sin anuncios, sin muro de pago, gratis para todos. Simplemente creemos que entender lo que nos está pasando a todos no debería depender de quién pueda permitirse pagar por ello.

Si esto te dio algo hoy, dinos que sigamos adelante. Síguenos, deja un me gusta, o escribe un comentario positivo. Leemos cada uno, y son lo que nos mantiene en marcha.