OpenAI resuelve en 88 horas el problema del millón — y estalla la disputa sobre el mérito

Un sistema de inteligencia artificial desplegado por OpenAI ha producido una demostración formal y verificada por máquina que resuelve uno de los siete Problemas del Milenio de las matemáticas: las ecuaciones de Navier-Stokes, un conjunto de ecuaciones diferenciales que rigen cómo se mueven los fluidos con fricción a través del espacio. El resultado cierra un problema que ha estado oficialmente abierto durante más de dos décadas, con un premio de un millón de dólares asociado, e informalmente sin resolver desde que las ecuaciones se escribieron por primera vez hace casi dos siglos.

Las ecuaciones de Navier-Stokes no son curiosidades abstractas. Subyacen a la física de prácticamente todos los fluidos: cómo se forman los patrones meteorológicos, cómo se mueve la sangre por una arteria, cómo un ala de avión genera sustentación, cómo el agua se agita sobre el lecho de un río. Lo que los matemáticos no podían determinar era si estas ecuaciones siempre producen soluciones ordenadas — o si pueden llegar a un punto en el que las matemáticas se derrumban por completo, generando lo que los matemáticos llaman una singularidad: un valor que se dispara hacia el infinito. El Clay Mathematics Institute ofreció un millón de dólares a quien pudiera responder a esa pregunta de forma definitiva.

La respuesta de OpenAI es la segunda opción: las ecuaciones pueden colapsar. La compañía desplegó aproximadamente 10.000 agentes autónomos de IA que intercambiaron unos cinco millones de mensajes durante 88 horas, construyendo colectivamente una demostración de que pueden formarse singularidades en las ecuaciones tridimensionales de Navier-Stokes. La demostración fue verificada posteriormente mediante Lean, un asistente de demostración formal que comprueba los argumentos matemáticos paso a paso, eliminando la posibilidad de error humano en el proceso de verificación. El coste computacional ascendió a varios millones de dólares.

La solución es rigurosa según los estándares de verificación formal. Pero el rigor no es lo mismo que la autoría, y esa distinción es donde la historia se vuelve controvertida. Las técnicas analíticas que constituyen el núcleo de la demostración no fueron desarrolladas por una IA, sino por Diego Córdoba, matemático del Instituto de Ciencias Matemáticas de Madrid, y Luis Martínez-Zoroa, un reciente doctorando que trabajaba en el grupo de Córdoba. Charles Fefferman, de Princeton, uno de los mayores expertos mundiales en el problema, afirmó sin rodeos que los verdaderos héroes intelectuales de este avance son esos dos investigadores. Tristan Buckmaster, matemático de la Universidad de Nueva York que lideró un equipo competidor que llegó a conclusiones similares sobre problemas relacionados, argumentó que Martínez-Zoroa merece una Medalla Fields — el máximo honor en matemáticas — por el trabajo creativo subyacente.

Lo que hicieron los agentes de OpenAI fue tomar esas ideas desarrolladas por humanos y ejecutar la verificación formal a una escala y velocidad que ningún equipo humano podría igualar. Que eso constituya o no resolver el problema depende de lo que signifique resolver. La versión titular — la IA vence a un misterio matemático de casi dos siglos — no es incorrecta. Pero omite a las personas que generaron la idea central. El anuncio de OpenAI atribuyó el mérito a los agentes de IA de forma prominente; Córdoba y Martínez-Zoroa recibieron una nota a pie de página. Esa asimetría ha generado un importante rechazo por parte de la comunidad matemática.

También conviene señalar lo que el resultado no cambia en la práctica. Las singularidades identificadas en la demostración existen en un mundo matemático idealizado donde los fluidos son continuos. Los fluidos reales están compuestos por moléculas discretas; las ecuaciones son una aproximación de la realidad física, no una descripción directa de ella. Encontrar una explosión matemática no significa que ningún fluido real vaya a acelerarse repentinamente hasta alcanzar una velocidad infinita. Los modelos de ingeniería en los que confían pilotos, meteorólogos y cardiólogos no se ven afectados.

El Clay Mathematics Institute aún no ha concedido oficialmente el premio de un millón de dólares. Queda pendiente una revisión humana formal — que verifique que lo demostrado es precisamente lo que pedía el problema. El instituto aplica criterios rigurosos; el anterior Problema del Milenio resuelto, la conjetura de Poincaré, requirió tres años de revisión por parte de la comunidad antes de que se confirmara ningún premio. Si Córdoba y Martínez-Zoroa reciben un reconocimiento formal, y cómo se podría distribuir el millón de dólares entre una corporación y los humanos cuyas ideas matemáticas hicieron posible la demostración, son preguntas que el instituto aún no ha respondido.

Etiquetas: inteligencia artificial, OpenAI, matematicas, ecuaciones de Navier-Stokes, Premio del Milenio