OpenAI dice que 10.000 agentes de IA resolvieron un problema del Millennium Prize, y ningún matemático externo ha revisado aún la prueba

Lo que OpenAI afirma en realidad

Según el propio anuncio de OpenAI, un enjambre del orden de 10.000 agentes de IA concurrentes, ejecutando un modelo de nueva generación que la empresa describe solo como "significativamente más capaz que GPT-6 Astra", trabajó del 1 al aproximadamente 5 de septiembre de 2026 (unas 88 horas) para producir una prueba de que una versión concreta y cuidadosamente construida de las ecuaciones de Navier-Stokes en 3D puede producir una singularidad en tiempo finito. Unas ~17 horas adicionales, usando específicamente GPT-6 Astra, produjeron una formalización en Lean, una versión de los pasos lógicos de la prueba verificable por máquina. Las propias cifras de OpenAI sitúan la ejecución de Navier-Stokes en torno a 2,7 millones de mensajes de agente y unos 130.000 millones de tokens de salida; el comentarista independiente Simon Willison, partiendo de cifras que le facilitaron, situó la cifra combinada (probablemente incluyendo trabajo relacionado sobre las ecuaciones de Euler) más cerca de 300.000 millones de tokens, lo que calculó que costaría unos 15 millones de dólares a las tarifas públicas de la API. Ninguna de las dos cifras se ha conciliado públicamente, y OpenAI solo ha declarado que el coste total ascendió a "millones de dólares".

La afirmación matemática concreta importa más que el titular. Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos, y existen en una versión forzada (con un término de fuerza externa, como la gravedad, actuando sobre el fluido) y una versión no forzada (sin fuerza externa). El resultado de OpenAI trata del caso forzado: describe una configuración de condiciones iniciales suaves y físicamente razonables y una fuerza externa suave bajo la cual el movimiento del fluido se estrecha en un vórtice giratorio cada vez más rápido y se vuelve no suave en tiempo finito, mientras la energía total del fluido permanece acotada en todo momento. El caso no forzado, la versión que la mayoría imagina al oír "problema de Navier-Stokes", sigue sin resolverse.

La afirmación del "problema equivocado" es en sí misma errónea

Varios medios que cubrieron la noticia, incluyendo un artículo de Forkast News, presentaron la decisión de OpenAI de no reclamar el premio de 1 millón de dólares como prueba de que había resuelto un problema distinto y más fácil, fuera de las reglas del Clay Institute. Consultamos directamente la descripción oficial del problema del propio Clay Institute, escrita por el matemático de Princeton Charles Fefferman. En ella se exponen cuatro formulaciones distintas e igualmente válidas del problema, etiquetadas de la (A) a la (D). Dos de ellas, (A) y (B), piden una prueba de que las soluciones suaves siempre existen, sin fuerza externa. Las otras dos, (C) y (D), permiten explícitamente un término de fuerza externa suave y piden lo contrario: una prueba de que una solución puede romperse (un contraejemplo formal a la suavidad global). Un blowup forzado en tiempo finito, que es lo que OpenAI dice haber encontrado, encaja con el lenguaje literal del caso (C) o (D), no con "un problema distinto".

Fefferman's four official problem statements (Clay Mathematics Institute)
---------------------------------------------------------------------
(A) Existence & smoothness on R^3, force = 0    -> prove solutions always exist
(B) Existence & smoothness on the 3D torus, force = 0 -> same, periodic case
(C) Breakdown on R^3, smooth force allowed      -> prove a solution CAN break down
(D) Breakdown on the 3D torus, smooth force allowed -> same, periodic case

OpenAI's claim (forced blowup on R^3) matches the shape of (C).

Entonces, ¿por qué OpenAI no reclama el premio? La explicación mucho más plausible es de procedimiento, no matemática. Según las reglas actuales del Clay Institute, una solución propuesta debe publicarse en una revista de matemáticas reconocida y con revisión por pares, y luego esperar un mínimo de dos años mientras gana aceptación general de la comunidad matemática, antes de que la Junta Asesora Científica del Instituto siquiera convoque un comité de revisión. Una prueba de 165 páginas publicada hace cuatro días, verificada internamente por la empresa que la produjo, simplemente todavía no ha superado ese listón, sea cual sea el valor real de las matemáticas subyacentes. Esa es una historia significativamente distinta de "resolvió la ecuación equivocada", y es la que realmente respaldan las fuentes primarias.

La disputa de autoría

Las matemáticas no son la única controversia. Según información de Axios, Fortune y CNN, Sébastien Bubeck, de OpenAI, inició este proyecto el 1 de septiembre tras oír rumores de que ya se habían resuelto en otro lugar dos problemas de nivel Millennium. Ese rumor se remontaba al matemático de la NYU Tristan Buckmaster y a Levent Alpöge, un empleado de Anthropic que trabajaba en ello por su cuenta y a título personal, no como un proyecto oficial de Anthropic. Alpöge se puso en contacto con OpenAI la noche del 2 de septiembre, después de que el dúo se enterara de que la noticia de su trabajo aún no publicado ya había llegado a la empresa; Buckmaster hizo un seguimiento el 3 de septiembre para explicar que el proyecto era personal y no una iniciativa oficial de Anthropic; la presión externa por avanzar deprisa a partir de entonces es parte de por qué su redacción sobre Euler salió descuidada, algo que Buckmaster describió después como "basura de IA" ("AI slop"). Sus resultados, por separado, abordaban problemas relacionados pero distintos: blowup en tiempo finito con forzamiento suave para la ecuación del medio poroso incompresible, el sistema de Boussinesq y las ecuaciones de Euler incompresibles en 3D, sobre los que la propia publicación de OpenAI les reconoce explícitamente prioridad. Solo el resultado del medio poroso había llegado a arXiv como preprint formal cuando OpenAI publicó su trabajo; las redacciones sobre Boussinesq y Euler existían como PDFs y una prueba verificada en Lean en el propio sitio de Buckmaster, y su propio artículo describía esas dos como "próximas" (forthcoming).

Durante una llamada el 6 de septiembre, Bubeck insistió en que se retirara a Alpöge como coautor alegando que su afiliación a Anthropic hacía incómoda su participación, y supuestamente le dijo a Buckmaster "¿Por qué querrías arruinar tu carrera?" y, al ser presionado, "Si no quieres que sea amable, entonces no tengo por qué serlo". Bubeck rechaza esa caracterización, calificando las acusaciones de "falsas e incendiarias" y declarando textualmente: "No usamos sus prompts ni sus pruebas para instruir a nuestros modelos ni dirigir a nuestros agentes". Sin embargo, la propia declaración de OpenAI a VentureBeat va más allá de una negación tajante: "No podemos descartar que datos desidentificados derivados de su uso de nuestros productos hayan ayudado a mejorar nuestros modelos", aunque mantiene que no se accedió a ningún dato de usuario específico para resolver este problema en concreto. La propia postura de Buckmaster es mesurada: "No sé si se usaron nuestros datos. No estoy acusando a nadie de nada". Anthropic, como empresa, no ha emitido ninguna declaración; toda cita atribuida al "lado de Anthropic" de esta disputa es de Alpöge hablando a título personal, quien en un momento describió su propio trabajo como "yo y claude pasándolo bien haciendo cosas random en un rincón, más que nada institucional".

El 8 de septiembre, según TheNextWeb, Bubeck publicó su propia versión en X, escribiendo "Nunca jamás pedí que se retirara a Levent como autor de su propio trabajo", y se disculpó por un comentario concreto de esa misma llamada privada. Como prueba, compartió una captura de pantalla de un mensaje a Alpöge en el que proponía una publicación conjunta coordinada, escribiendo que esperaba que mostrara "las mejores intenciones posibles". Buckmaster respondió públicamente que la versión de Bubeck seguía tergiversando lo que realmente se dijo. Sam Altman respaldó a Bubeck menos de 30 minutos después, publicando que todos los implicados "actuaron con integridad y generosidad en todo momento", y que, en cuanto OpenAI se dio cuenta de que Buckmaster y Alpöge habían resuelto Euler pero no Navier-Stokes, se había ofrecido a dejarles publicar primero, sugirió que deberían recibir el premio, y le ofreció a Buckmaster la autoría principal en una reescritura de la propia prueba de OpenAI. A fecha de esta actualización, ninguna de las dos partes ha retractado su versión, y la disputa sigue sin resolverse en lugar de zanjada.

Lo que ha pasado desde entonces: un reproche de la comunidad matemática y una nueva objeción a la propia prueba

Tres semanas después del anuncio de OpenAI, la respuesta más significativa no ha venido de ninguna de las dos empresas, sino de la comunidad matemática en su conjunto. El 11 de septiembre de 2026, 25 medallistas Fields, entre ellos Terence Tao, Peter Scholze, Maryna Viazovska y Manjul Bhargava, publicaron una declaración conjunta en el blog de Tao titulada "A Severe Misalignment of AI in Mathematics", abierta a nuevas firmas. La declaración no menciona a OpenAI ni a Anthropic por su nombre y no discute la corrección de ninguna prueba concreta. Su argumento va sobre el proceso: los laboratorios de IA que persiguen problemas de referencia para conseguir titulares están, en palabras de los firmantes, convirtiendo las matemáticas en una "producción en masa" de enunciados verdadero-o-falso que desplaza la comprensión conceptual, la atribución y el escrutinio comunitario de los que realmente depende el campo. Según la cobertura sobre la declaración, el grupo decidió que la situación era lo bastante urgente como para saltarse el proceso de redacción más consultivo por el que suelen pasar declaraciones similares.

Por separado, una objeción matemática directa a la construcción de OpenAI surgió el 17 de septiembre (revisada el 29 de septiembre), cuando los investigadores de Princeton Peter Constantin, Mihaela Ignatova y Vlad Vicol publicaron un artículo en arXiv titulado "Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing". Su resultado preciso, leído directamente del resumen del propio artículo, es más estrecho que una refutación general: para cualquier construcción que comparta las dos características estructurales clave de OpenAI, demuestran que la fuerza externa que provoca el blowup "no puede ni anularse de forma idéntica cerca del punto singular, ni ser analítica real en las variables espaciales". Dicho de forma sencilla, el término de forzamiento de OpenAI tiene que permanecer artificialmente activo y no suave justo en el punto de ruptura, que es exactamente el rasgo que no tendría una fuerza real que ocurriera físicamente (la gravedad, la presión, cualquier cosa sin un agente externo que la active). El matemático de la Universidad de Chicago Luis Silvestre resumió la conclusión a Scientific American: "El problema de Clay está zanjado, pero el problema principal de las ecuaciones de Navier-Stokes no lo está". Esto no es tanto una afirmación nueva como una versión más afilada y formalmente demostrada del planteamiento original de este artículo: el enunciado literal del problema del Clay Institute sí permite un caso forzado (así que el resultado de OpenAI es una respuesta genuina a una formulación genuina), pero este nuevo artículo da una razón técnica concreta de por qué la construcción no puede extenderse hacia la versión no forzada y físicamente intuitiva que realmente les importa a los matemáticos. Otros matemáticos citados en el mismo artículo, entre ellos Diego Córdoba y Gonzalo Cao-Labora, fueron más allá, sugiriendo en retrospectiva que el enunciado del problema del Clay Institute de 2000 pudo haber sido un error de redacción por incluir siquiera la opción forzada.

Lo que dicen en realidad los matemáticos ajenos a ambos laboratorios

Merece la pena separar las reacciones a la *situación* de la verificación de las *matemáticas*, porque la mayor parte del comentario público hasta ahora es lo primero. El presidente del Clay Mathematics Institute, Martin Bridson, lo calificó de "un día emocionante", pero se quedó muy lejos de un respaldo, diciendo a Nature que la evaluación será "deliberadamente pausada" y "absolutamente rigurosa". El propio Fefferman, autor del enunciado oficial del problema, dijo estar "encantado de que se haya resuelto el problema". La propia cobertura de Quanta Magazine señala el límite real de una formalización en Lean, sea cual sea la prueba que verifique: la comprobación crucial que todavía tienen que hacer los humanos es confirmar que el enunciado que se demuestra cierto dentro de Lean es lógicamente equivalente a lo que los matemáticos realmente se propusieron demostrar. Un verificador de pruebas por máquina puede confirmar que una cadena de pasos lógicos es internamente consistente; no puede confirmar, por sí solo, que el enunciado formalizado sea en realidad el teorema que a todos les importa.

Terence Tao, comentando el lado Buckmaster/Alpöge de la historia más que la prueba de OpenAI directamente, lo calificó de "un logro extraordinario", pero aprovechó el momento para plantear una preocupación más amplia: "este desacoplamiento tan extraño y sin precedentes, solo este año, entre obtener respuestas y obtener comprensión", comparando la experiencia con "ir a ver una película y saltar directamente de los primeros diez minutos a los últimos diez minutos; técnicamente, todas las tramas quedan resueltas, pero se pierde la mayor parte del valor de la experiencia". También advirtió de que una carrera impulsada por rumores por publicar primero desanima a los matemáticos a compartir pronto resultados parciales prometedores, justo lo contrario de cómo se supone que debe funcionar el campo. El teórico de números de Columbia Michael Harris, escribiendo en su blog Silicon Reckoner, fue más directo sobre la conducta a la vez que explícito sobre los límites de su propio conocimiento: "No he visto la prueba de OpenAI. No sé qué hizo su modelo, ni cómo", antes de calificar el gasto de cómputo reportado de "degradante para las matemáticas". A fecha de esta publicación, no encontramos a ningún matemático, en ninguno de los dos lados de la disputa ni fuera de ella, que haya declarado haber leído y verificado personalmente la prueba completa de 165 páginas de OpenAI.

Por qué esto importa si usas IA para investigar

Probablemente no estés demostrando problemas del Millennium Prize con Gemini Notebook o NotebookLM. Pero el patrón que hay aquí merece reconocerse a cualquier escala: una salida de IA segura de sí misma, bien formateada, incluso verificada formalmente, no es lo mismo que una verificada de forma independiente. La formalización en Lean es una herramienta genuinamente útil, y es una forma de autoverificación más fuerte que la que recibe la mayoría del contenido generado por IA. Aun así, no es revisión por pares, y no puede detectar un desajuste entre lo que se formalizó y lo que realmente se quería decir. La misma cautela se aplica a las citas y resúmenes que una herramienta de investigación te entrega a partir de tus propios documentos fuente: comprueba la afirmación concreta contra la fuente primaria antes de construir sobre ella, tal como esta misma historia todavía está esperando que alguien haga.

La gente también pregunta

¿Resolvió OpenAI el problema del Millennium Prize de Navier-Stokes?

Los agentes de OpenAI produjeron una prueba para una versión forzada de las ecuaciones de Navier-Stokes en 3D, mostrando una configuración concreta en la que un flujo suave se rompe en tiempo finito. La versión no forzada del problema, más difícil y más citada habitualmente, sigue sin resolverse. A fecha de esta publicación, ningún matemático ajeno a OpenAI ha confirmado públicamente haber leído y verificado la prueba completa.

¿Por qué OpenAI no reclama el premio de 1 millón de dólares?

OpenAI no lo ha dicho explícitamente, pero las propias reglas del Clay Mathematics Institute exigen que una solución propuesta se publique en una revista con revisión por pares y resista al menos dos años de escrutinio de la comunidad antes de que empiece siquiera cualquier revisión para el premio. Una prueba de cuatro días de antigüedad, verificada internamente, sencillamente no puede haber superado todavía ese listón, con independencia de cómo acaben sosteniéndose las matemáticas.

¿Es cierto que OpenAI resolvió "el problema equivocado"?

No. El enunciado oficial del problema del Clay Institute (escrito por Charles Fefferman) incluye explícitamente formulaciones que permiten una fuerza externa y piden una ruptura/contraejemplo, que es justo la forma de la afirmación de OpenAI. La cobertura que describe esto como un problema distinto o inválido malinterpreta las reglas reales.

¿En qué consiste la disputa con Anthropic?

El matemático de la NYU Tristan Buckmaster afirma que Sébastien Bubeck, de OpenAI, presionó a su colaborador Levent Alpöge, un empleado de Anthropic que trabajaba a título personal y no en un proyecto oficial de Anthropic, para que retirara su nombre de un artículo relacionado por su empleador. Bubeck niega haber actuado mal. Anthropic, como empresa, no ha hecho ninguna declaración pública.

¿Ha verificado alguien de forma independiente la prueba de OpenAI?

No, a fecha de esta actualización. Todos los matemáticos citados públicamente hasta ahora, incluido el propio presidente del Clay Institute, están reaccionando a la situación o a una laguna técnica concreta en el alcance de la prueba, en lugar de confirmar que han leído y verificado personalmente el documento completo línea por línea.

¿Ha señalado alguien un problema en la prueba de OpenAI?

Sí, aunque no un error en las matemáticas en sí. Un grupo aparte de matemáticos publicó una prueba en arXiv a mediados de septiembre que muestra que la técnica de blowup forzado de OpenAI nunca puede extenderse para decir nada sobre el problema real, no forzado, de Navier-Stokes. El matemático de la Universidad de Chicago Luis Silvestre lo resumió así: la versión estrecha y forzada del problema de Clay está zanjada, pero el problema más difícil que realmente les importa a los matemáticos no lo está.

¿Qué dijeron los medallistas Fields sobre esto?

El 11 de septiembre de 2026, 25 medallistas Fields, entre ellos Terence Tao, publicaron una declaración conjunta que critica el patrón más amplio de laboratorios de IA compitiendo por reclamar problemas matemáticos de referencia para conseguir titulares, argumentando que desplaza el proceso de comprensión conceptual y atribución del que depende la disciplina. La declaración no menciona a OpenAI ni a Anthropic específicamente y no discute la corrección de ninguna prueba.