OpenAI asegura que su IA resolvió uno de los problemas matemáticos del milenio

La empresa sostiene que el resultado fue obtenido mediante un sistema de inteligencia artificial todavía no presentado públicamente y que supera ampliamente las capacidades de GPT-6 Astra, uno de sus modelos más recientes.

Sin embargo, el anuncio ha generado un intenso debate en la comunidad científica, tanto por la trascendencia del hallazgo como por las dudas surgidas sobre el proceso utilizado para alcanzar la demostración matemática.

Un problema matemático que llevaba más de 90 años sin resolverse

Las ecuaciones de Navier-Stokes son fundamentales para comprender cómo se comportan los fluidos, desde el movimiento del agua y el aire hasta fenómenos tan complejos como las corrientes oceánicas, el flujo sanguíneo o la aerodinámica de los aviones.

Aunque estas ecuaciones fueron formuladas en el siglo XIX por Claude-Louis Navier y George Gabriel Stokes, uno de los grandes interrogantes matemáticos asociados a ellas permanecía abierto: determinar si una solución inicialmente estable puede evolucionar hasta desarrollar una singularidad, es decir, un punto donde ciertas variables crecen sin límite en un tiempo finito.

La resolución de este problema había sido considerada durante décadas uno de los mayores desafíos de la matemática moderna.

OpenAI afirma haber encontrado la respuesta

Según la compañía, su sistema de IA logró demostrar que las ecuaciones sí pueden desarrollar una singularidad en tres dimensiones bajo determinadas condiciones.

La solución fue presentada mediante un documento técnico de 165 páginas, acompañado de una formalización completa en Lean, un lenguaje especializado que permite verificar rigurosamente cada paso de una demostración matemática.

De acuerdo con OpenAI, la prueba demuestra que un fluido inicialmente en reposo y sometido a una fuerza externa suave puede evolucionar hasta alcanzar una singularidad en un tiempo finito, manteniendo al mismo tiempo una energía total limitada.

Diez mil agentes de IA trabajando al mismo tiempo

Uno de los aspectos más llamativos del proyecto fue la magnitud de los recursos utilizados.

OpenAI explicó que empleó un sistema compuesto por aproximadamente 10.000 agentes de inteligencia artificial funcionando de forma simultánea, coordinados entre sí para explorar distintas líneas de investigación matemática.

Estos agentes disponían de herramientas para ejecutar código, consultar información previamente almacenada y comunicarse dentro de grupos organizados de trabajo.

Según la empresa, la solución fue alcanzada tras unas 88 horas de trabajo continuo desde el inicio de la búsqueda.

Un modelo más avanzado que GPT‑6 Astra

OpenAI señaló que el hallazgo no fue realizado por GPT‑6 Astra, sino por una herramienta interna todavía no lanzada al público.

La compañía describió este sistema como “significativamente más capaz” que sus modelos actuales y explicó que decidió publicar el resultado precisamente para mostrar el ritmo de avance que están alcanzando sus nuevas generaciones de inteligencia artificial.

El anuncio ha sido interpretado por algunos expertos como una demostración del creciente papel que la IA podría desempeñar en la investigación científica y matemática durante los próximos años.

La polémica detrás del anuncio

Pese al impacto del supuesto descubrimiento, la noticia estuvo acompañada de una controversia relacionada con investigaciones paralelas que también abordaban problemas cercanos a Navier-Stokes.

Según informaciones citadas por diversos medios, OpenAI comenzó a poner a prueba su nuevo sistema con los Problemas del Milenio después de recibir indicios de que algunos matemáticos estaban cerca de resolver cuestiones relacionadas con la dinámica de fluidos.

La situación involucra al investigador de Anthropic Levent Alpöge y al profesor de la Universidad de Nueva York Tristan Buckmaster, quienes trabajaban en el llamado problema de Euler forzado, matemáticamente relacionado con Navier-Stokes aunque distinto del problema principal.

Dudas sobre el acceso a investigaciones inéditas

Buckmaster cuestionó públicamente si los modelos de OpenAI pudieron haber tenido acceso directo o indirecto a información derivada de conversaciones e investigaciones realizadas por él y otros matemáticos utilizando herramientas de inteligencia artificial.

OpenAI rechazó haber accedido a trabajos privados o inéditos, aunque admitió que no puede descartar completamente que datos anonimizados procedentes del uso de sus sistemas hayan contribuido al entrenamiento de futuros modelos.

La compañía también aseguró que reconocía la prioridad académica de Alpöge y Buckmaster en los avances relacionados con el problema de Euler forzado.

Un logro que todavía deberá superar el examen académico

Aunque la demostración ha sido verificada formalmente mediante Lean, la comunidad matemática aún deberá revisar en profundidad el trabajo antes de aceptar definitivamente la solución.

Expertos consultados por diversos medios consideran que, si la prueba resiste el escrutinio académico, se trataría probablemente del mayor avance matemático conseguido hasta la fecha mediante inteligencia artificial.

Incluso matemáticos de prestigio han señalado que el resultado podría marcar un punto de inflexión comparable a los grandes hitos de la historia reciente de las matemáticas.

Los Problemas del Milenio y el premio de un millón de dólares

El Clay Mathematics Institute creó en el año 2000 los llamados Problemas del Milenio, siete desafíos considerados entre los más difíciles de las matemáticas contemporáneas.

Por la resolución de cada uno de ellos se ofreció un premio de un millón de dólares.

Hasta ahora, únicamente había sido resuelto uno de los siete: la conjetura de Poincaré, demostrada por el matemático ruso Grigori Perelman, quien posteriormente rechazó tanto el premio como otros reconocimientos académicos.

OpenAI ya ha aclarado que no pretende reclamar la recompensa económica y que su objetivo es mostrar los avances de sus modelos de inteligencia artificial.

Un momento histórico para la inteligencia artificial

Si la solución es validada por la comunidad científica, el anuncio marcaría un antes y un después tanto para las matemáticas como para la inteligencia artificial.

Por primera vez, un sistema de IA habría contribuido decisivamente a resolver uno de los problemas matemáticos más complejos del mundo, abriendo un nuevo capítulo en la relación entre la tecnología y la investigación científica avanzada.

Te puede interesar: ¿Por qué la inteligencia artificial miente o hace trampa cuando se le asigna una tarea compleja?

Suscríbete a la revista y regístrate a nuestros newsletters para recibir el mejor contenido en tu buzón de entrada.