OpenAI afirma haber resuelto un Premio del Milenio, pero las matemáticas aún no están convencidas

La afirmación que no se desvanece

OpenAI dice haber resuelto uno de los siete Problemas del Milenio, una categoría de desafíos matemáticos tan tercos que el Instituto Clay de Matemáticas los presentó a principios del siglo XXI con un premio de 1 millón de dólares por cada uno. El problema en cuestión es la existencia y suavidad de Navier-Stokes, el cual pregunta si las ecuaciones que describen el movimiento de los fluidos pueden colapsar en un tiempo finito, produciendo una velocidad infinita a partir de condiciones iniciales perfectamente ordinarias.

El anuncio, hecho el 8 de septiembre, es extraordinario por sí solo. Una computadora resolviendo un Problema del Milenio sería un momento histórico para la inteligencia artificial, algo que trasciende las noticias tecnológicas y se adentra en la cultura general. Asimismo, presumiblemente convertiría a OpenAI en titular de una reclamación de gran valor —o al menos copropietaria, dependiendo de cómo la comunidad matemática eventualmente la evalúe.

Pero la comunidad matemática aún no está convencida. Y esa distinción importa más de lo que uno podría pensar.

Lo que OpenAI afirma realmente

Según la empresa, sus investigadores han estado probando su último prototipo de IA en los seis problemas restantes del Milenio antes de concentrar sus recursos en Navier-Stokes el 1 de septiembre. Según se reporta, desplegaron 1.000 agentes de IA para abordar una versión simplificada, la cual resolvieron en 50 horas. Luego pasaron a 10.000 agentes con más capacidad computacional para el problema completo.

Ven Chandrasekaran, científico computacional de OpenAI, dijo en una conferencia de prensa que la demostración mostró que «existen fluidos que comienzan de manera perfectamente normal y, bajo las ecuaciones de Navier-Stokes, alcanzan una velocidad infinita en un tiempo finito». Sebastian Bubeck, matemático de OpenAI, la calificó como «el espectacular culmen del arco que hemos visto durante los últimos 12 meses» de creciente complejidad de los problemas.

Las palabras clave aquí son importantes: OpenAI afirma que ha generado una solución. Aún no dice que la solución haya sido revisada por pares ni verificada de forma independiente. En matemáticas, esa distancia lo es todo.

Por qué la cronología es inusual

El anuncio llegó en una ventana abarrotada. El 7 de septiembre, dos matemáticos —Levent Alpöge, de Harvard, y Tristan Buckmaster, de la Universidad de Nueva York— publicaron un artículo que reclamaba una solución a una versión del rompecabezas del movimiento de fluidos, utilizando Claude de Anthropic y los modelos Codex y Astra de la propia OpenAI. Su resultado cubría el caso de viscosidad cero. Dijeron que una solución más general estaba en camino.

Ese mismo día, Anima Anandkumar, del Caltech, y colaboradores publicaron otra solución de viscosidad cero, obtenida mediante una red neuronal informada por física, en lugar de un modelo de lenguaje de propósito general.

Terence Tao, uno de los matemáticos vivos más respetados, calificó el trabajo de Alpöge y Buckmaster como «un logro notable» en Mastodon. No comentó directamente sobre la afirmación de OpenAI.

Martin Bridson, presidente del Instituto Clay de Matemáticas, ofreció una declaración cuidadosamente redactada: «Sin duda es un día emocionante, mientras contemplamos el anuncio de grandes avances en el entendimiento humano de las matemáticas». Note el verbo —contemplamos. No confirmamos. No endosamos.

La brecha de verificación

Una solución al Premio del Milenio requiere más que una convincente conferencia de prensa o un preprint en arXiv. Requiere que la comunidad matemática verifique de forma independiente el argumento y lo encuentre correcto. Ese proceso puede tomar meses o años. La demostración de Andrew Wiles sobre la última conjetura de Fermat tomó dos años de escrutinio antes de ser ampliamente aceptada. La conjetura de Poincaré, resuelta por Grigori Perelman, tomó varios años de examen comunitario después de que sus artículos aparecieran en línea en 2002 y 2003.

No existe un proceso formal de revisión por pares para los Problemas del Milenio. El Instituto Clay delega la evaluación a especialistas en el campo relevante. Esos especialistas ahora estarán leyendo el trabajo de OpenAI —o el trabajo que produjo— con el nivel de rigor que puedan reunir.

Si la demostración resiste, OpenAI y sus colaboradores compartirán el mérito de un resultado que redefiniría lo que la IA puede lograr en matemáticas puras. Si no resiste —o si emergen vacíos cruciales bajo el escrutinio—, el episodio pasará a la historia como el momento en que una empresa de inteligencia artificial sobrepasó sus límites.

Qué está realmente en juego

El premio de 1 millón de dólares es simbólico. La verdadera moneda aquí es la credibilidad.

Durante más de una década, los sistemas de IA han dominado juegos, competencias de programación y exámenes de razonamiento cada vez más complejos. Pero las matemáticas han permanecido como un dominio donde la intuición, la creatividad y la capacidad humana de construir conceptos genuinamente nuevos tienen un peso que los sistemas basados en patrones difícilmente pueden replicar. Una solución verificada al Premio del Milenio destrozaría esa suposición. Le diría a cada institución seria en cada campo serio que la IA ha cruzado un umbral que antes no podía alcanzar.

También reconfiguraría la economía del propio premio. El Instituto Clay nunca ha tenido que pagar el Premio del Milenio porque ninguno ha sido verificado. La afirmación de OpenAI, si se confirma, cambiaría esa historia.

Pero hay una pregunta más sutil debajo de la cuestión de la credibilidad. Si la IA puede resolver Problemas del Milenio, ¿qué ocurre con la relación entre los matemáticos y sus herramientas? Alpöge y Buckmaster usaron Claude y Codex. El equipo de Anandkumar utilizó una red neuronal informada por física. OpenAI desplegó miles de agentes. Las matemáticas se están haciendo de otra forma ahora —y las personas que las practican pueden no estar enteramente de acuerdo en si eso cuenta como hacer matemáticas, en absoluto.

Quién gana y quién pierde

Si la afirmación se verifica: OpenAI obtiene un trofeo que ninguna empresa ha sostenido jamás. El campo más amplio de la investigación en inteligencia artificial recibe un impulso de legitimidad que ninguna cantidad de puntuaciones en exámenes puede igualar. Los matemáticos que abrazan los métodos asistidos por IA ganan estatus institucional. El Instituto Clay enfrenta su primer desembolso.

Si no se verifica: la credibilidad de OpenAI sufrirá un golpe en un dominio donde ha estado construyendo buena voluntad genuina. La comunidad matemática puede intensificar su escepticismo hacia las demostraciones generadas por IA. Otras empresas que esperen hacer afirmaciones similares enfrentarán una barrera de prueba más elevada. Y la narrativa de que la IA está a punto de «resolver las matemáticas» sufrirá un revés que podría frenar la inversión y el entusiasmo.

La predicción más prudente es que no conoceremos la respuesta durante meses. La comunidad matemática se mueve despacio, y lo hace con deliberación. La presión sobre OpenAI será publicar un argumento completo y verificable rápidamente —e invitar el escrutinio en lugar de resistirlo.

Qué sucede después

Observe tres cosas. Primero, si OpenAI publica una demostración escrita completa en un formato que los especialistas puedan examinar. Segundo, si el Instituto Clay reconoce formalmente la afirmación como candidata al premio —un paso procedural que señalaría un interés serio. Tercero, si alguno de los equipos independientes de verificación, especialmente aquellos que ya trabajan en problemas relacionados, encuentra vacíos o confirma el resultado.

Hasta entonces, el anuncio es una afirmación de magnitud notable que descansa sobre un cimiento que aún no ha sido probado. Eso no es un veredicto —es un anticipo. La verdadera historia aún se está escribiendo.