OpenAI resolvió en 88 horas el problema del millón de dólares — y estalló la disputa

Un sistema de inteligencia artificial desplegado por OpenAI ha producido una demostración formal, 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 describen 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, 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 todo fluido: cómo se forman los patrones climáticos, cómo se mueve la sangre por una arteria, cómo el ala de un avión genera sustentación, cómo el agua fluye sobre un lecho de 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 donde las matemáticas se rompen 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 esa pregunta de manera definitiva.

La respuesta de OpenAI es la segunda opción: las ecuaciones pueden romperse. La compañía desplegó aproximadamente 10,000 agentes de IA autónomos que intercambiaron alrededor de 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 luego verificada usando Lean, un asistente formal de demostraciones que revisa los argumentos matemáticos paso a paso, eliminando la posibilidad de error humano en el proceso de verificación. El costo computacional fue de varios millones de dólares.

Lectura recomendadaOpenAI resolvió un problema matemático de 80 años sin un modelo especializado

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 en 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 doctorado que trabajaba en el grupo de Córdoba. Charles Fefferman, de Princeton, uno de los principales expertos mundiales en el problema, dijo claramente que los verdaderos héroes intelectuales del 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 en 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 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 crédito a los agentes de IA de manera prominente; Córdoba y Martínez-Zoroa recibieron una nota al pie. Esa asimetría ha generado un rechazo significativo por parte de la comunidad matemática.

También vale la pena 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 consisten en 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 algún fluido real vaya a acelerar repentinamente a 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 otorgado oficialmente el premio de un millón de dólares. Una revisión humana formal — que verifique que lo demostrado es precisamente lo que pedía el problema — sigue pendiente. El instituto aplica criterios rigurosos; el problema del Milenio anterior que se resolvió, la conjetura de Poincaré, requirió tres años de revisión por parte de la comunidad antes de que se confirmara algún premio. Si Córdoba y Martínez-Zoroa reciben reconocimiento formal, y cómo se 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, ecuaciones de Navier-Stokes, matemáticas, Premio del Milenio

Contenido similar

GPT-Live lleva el audio full-duplex a ChatGPT — la pausa que delataba a la IA desapareció

OpenAI declara la era AGI. El benchmark que cita sitúa la puntuación 37 puntos por debajo

Anthropic actualiza el modo de voz de Claude con elección de modelo e integraciones de apps

Dos puntos bajo Opus 4.6 y cinco veces más barato: Gemini 3.5 Flash cambia el cálculo

AMD apuesta por grabar pesos de IA en silicio para ganar la carrera de inferencia a Nvidia

La IA de Alibaba que lee tu pantalla obtiene 92% en teléfonos reales y corre en tu propio hardware