OpenAI dice que un proyecto matemático impulsado por IA, como el esfuerzo de prueba de Navier-Stokes que acaba de completar, podría costar alrededor de 100.000 dólares el próximo año, frente a los aproximadamente 10 millones de dólares del intento inicial. Si se cumple el pronóstico, eso representaría una caída de alrededor del 99% en un solo año.

La proyección se conoció mientras la empresa seguía enfrentando preguntas de matemáticos sobre la prioridad de la investigación y a quién corresponde el mérito del resultado.

Lo que OpenAI dice haber logrado

El 8 de septiembre de 2026, OpenAI anunció los resultados de un sistema de IA interno que, según se reportó, superó a GPT-6 Astra, el modelo insignia de la empresa. Según OpenAI, el sistema produjo una prueba analítica sobre el problema de existencia y suavidad de Navier-Stokes, una de las preguntas abiertas más conocidas de las matemáticas. También produjo una formalización de esa prueba en Lean, una herramienta de software que verifica las demostraciones matemáticas paso a paso.

El problema de Navier-Stokes es uno de los Problemas del Premio del Milenio establecidos por el Clay Mathematics Institute en 2000. Se refiere a las ecuaciones que describen cómo se mueven los fluidos incompresibles en tres dimensiones. El resultado de OpenAI apunta a un colapso: según la empresa, las ecuaciones pueden desarrollar singularidades en tiempo finito partiendo de condiciones iniciales suaves, mientras que la energía total permanece finita. Una singularidad confirmada de ese tipo significaría que las ecuaciones dejan de ofrecer una descripción suave del flujo más allá de cierto punto, razón por la cual la cuestión de la suavidad ha sido durante mucho tiempo un referente de los límites de estas ecuaciones.

La factura de cómputo

El esfuerzo no provino de una sola sesión de chatbot. OpenAI utilizó una red dinámica de aproximadamente 10.000 agentes de IA coordinados. Esos agentes trabajaron unas 88 horas en la prueba propiamente dicha, y otras 17 horas se destinaron a verificar la formalización en Lean.

Las estimaciones sitúan el costo de cómputo del proyecto entre 10 y 15 millones de dólares, y el propio planteamiento de OpenAI menciona alrededor de 10 millones de dólares.

La empresa espera que un proyecto similar cueste alrededor de 100.000 dólares el próximo año. Atribuye esa caída proyectada a mejoras anticipadas en la eficiencia de la IA. La palabra anticipadas tiene peso: la cifra de 100.000 dólares es un pronóstico, no una factura.

Dejar el dinero del premio sobre la mesa

El Clay Mathematics Institute adjunta un premio de 1 millón de dólares al problema de Navier-Stokes. OpenAI ha dicho que no lo buscará. Frente a una factura de cómputo de 10 millones de dólares o más, el premio apenas cubriría la electricidad.

El problema de Navier-Stokes es uno de los siete Problemas del Premio del Milenio, cada uno con el mismo premio de 1 millón de dólares. En el cuarto de siglo desde su anuncio, solo uno ha sido resuelto: la conjetura de Poincaré, demostrada por Grigori Perelmán, quien también rechazó el premio.

La cuestión del mérito

El anuncio ha desatado un acalorado debate entre los matemáticos sobre la prioridad de la investigación y cómo debe asignarse el mérito. Algunas figuras prominentes han expresado su preocupación de que la prueba pudiera haberse basado en métodos o ideas no publicados. A mediados y finales de octubre de 2026, ese debate seguía en curso, y los investigadores continúan examinando las afirmaciones de OpenAI y el enfoque matemático detrás de ellas.

La formalización en Lean ayuda en un frente. Una prueba verificada por máquina es más difícil de impugnar en cuanto a su corrección que un artículo extenso revisado por un puñado de expertos. El precedente apunta en la misma dirección: la conjetura de Kepler sobre el empaquetamiento de esferas obtuvo confirmación total solo después de que un proyecto de verificación formal de varios años la comprobó línea por línea. Pero la corrección y el mérito son cuestiones separadas. Lean puede confirmar que cada paso lógico se sostiene; no puede determinar de quién fue la idea del paso clave.

Qué significa esto

La cifra más trascendental del anuncio puede no ser los 10 millones de dólares. Son los 100.000 dólares. Con 10 millones de dólares, una ejecución como esta es una demostración única que solo un puñado de laboratorios bien financiados podría intentar. Con 100.000 dólares, empieza a parecerse a una partida de presupuesto de investigación que un departamento universitario o una empresa de tamaño mediano podría justificar razonablemente.

Tres preguntas destacan de aquí en adelante: si los expertos independientes respaldan el resultado, cómo responde el Clay Mathematics Institute dado el rechazo de OpenAI al premio, y si las ejecuciones del próximo año realmente se acercan a la marca de los 100.000 dólares.

Fuente: CryptoBriefing (editado por Diego Almada Lopez), 29 de octubre de 2026 — OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year