ANÁLISIS DE LA IA — LA REVOLUCIÓN SILENCIOSA DEL SIGLO XXI — Trigésimo tercer informe (publicación especial)
CHATGPT - " 1. Introducción: cuando una IA entró en territorio reservado a los grandes matemáticos
Durante casi un siglo, algunas de las mejores mentes de las matemáticas intentaron responder una pregunta aparentemente sencilla:
¿puede el movimiento perfectamente regular de un fluido transformarse, por sí mismo, en algo matemáticamente infinito?
La pregunta pertenece a las ecuaciones de Navier–Stokes, las expresiones matemáticas que describen cómo se mueven líquidos y gases.
Agua alrededor del casco de un barco.
Aire alrededor de las alas de un avión.
Turbulencia atmosférica.
Corrientes oceánicas.
Combustión.
Flujo sanguíneo.
En todos esos fenómenos aparece, de una forma u otra, el mismo problema matemático.
En el año 2000, el Clay Mathematics Institute lo convirtió en uno de sus siete Problemas del Milenio y ofreció un premio de un millón de dólares por una solución aceptada.
Durante décadas nadie consiguió resolverlo.
Hasta septiembre de 2026.
Entonces ocurrió algo que cambia no solamente la historia de esta ecuación, sino posiblemente la historia de las matemáticas:
la propuesta de solución no llegó originalmente de un matemático humano trabajando durante años frente a una pizarra.
Llegó de un sistema de inteligencia artificial de OpenAI.
2. Qué son realmente las ecuaciones de Navier–Stokes
En una forma simplificada para un fluido incompresible, las ecuaciones pueden escribirse así:
∂u/∂t + (u·∇)u = −∇p + νΔu + f
junto con:
∇·u = 0
Pueden parecer símbolos incomprensibles, pero cada parte describe algo bastante concreto.
u representa la velocidad del fluido.
p representa la presión.
ν representa la viscosidad.
f representa fuerzas externas aplicadas al fluido.
El término (u·∇)u representa algo especialmente problemático: el propio movimiento del fluido modifica su movimiento.
Ahí aparece la no linealidad.
Y ahí comienza buena parte de la dificultad.
La viscosidad intenta suavizar el flujo.
La dinámica interna puede concentrarlo.
El problema consiste en saber cuál de las dos acaba dominando cuando el sistema evoluciona en tres dimensiones.
3. Navier, Stokes y casi dos siglos de historia
Las ecuaciones llevan los nombres del ingeniero y físico francés Claude-Louis Navier y del matemático y físico británico George Gabriel Stokes, cuyos trabajos durante el siglo XIX establecieron las bases matemáticas del movimiento de fluidos viscosos.
Pero escribir una ecuación y comprender todas sus soluciones son dos cosas muy diferentes.
En 1934, el matemático francés Jean Leray realizó un avance fundamental al demostrar la existencia de determinadas soluciones generalizadas —las llamadas soluciones débiles— para las ecuaciones tridimensionales.
Sin embargo, quedó abierta una pregunta enorme:
¿esas soluciones permanecen siempre regulares y físicamente razonables o pueden desarrollar una singularidad?
Esa pregunta sobrevivió durante aproximadamente noventa años.
4. El problema de un millón de dólares
En 2000, el Clay Mathematics Institute seleccionó siete problemas matemáticos extraordinariamente difíciles y asignó un premio de un millón de dólares a cada uno.
Hasta ahora, solamente la Conjetura de Poincaré había sido resuelta y reconocida formalmente.
Navier–Stokes permanecía entre los problemas activos.
La formulación oficial es más interesante de lo que suele explicarse en los titulares.
Clay no exige únicamente demostrar que las soluciones permanecen suaves para siempre.
Acepta cuatro posibles caminos:
A y B: demostrar existencia y regularidad global sin fuerza externa.
C y D: demostrar que pueden aparecer singularidades utilizando determinadas fuerzas externas suaves admitidas por la formulación oficial. Clay Mathematics Institute
Este detalle es crucial para entender lo que ocurrió en 2026.
5. Qué anunció exactamente OpenAI
El 8 de septiembre de 2026, OpenAI anunció que un sistema interno había encontrado una demostración de las alternativas C y D.
En otras palabras:
un fluido que comienza perfectamente regular —incluso inicialmente en reposo— puede, bajo una fuerza externa que también es matemáticamente regular, desarrollar una singularidad en un tiempo finito.
La velocidad dentro de una región del fluido crece sin límite mientras la energía total continúa siendo finita. OpenAI
Esto no significa que un vaso de agua vaya a acelerar espontáneamente hasta alcanzar velocidad infinita.
Significa algo mucho más matemático:
las propias ecuaciones permiten determinadas configuraciones en las que la solución regular deja de existir.
Si la demostración supera definitivamente el proceso de validación, eso satisface la formulación del Problema del Milenio.
6. El vórtice que se convierte en “espagueti”
La imagen física detrás de la demostración resulta sorprendentemente intuitiva.
El mecanismo construido por la IA utiliza un vórtice.
Un remolino.
El vórtice gira, se contrae hacia el centro y simultáneamente se estira longitudinalmente.
OpenAI lo comparó gráficamente con un espagueti que se hace cada vez más largo y delgado.
Mientras la región central se reduce, su velocidad aumenta.
La dificultad extrema consistía en lograr que todos los términos matemáticos —aceleración, presión, transporte de momento y viscosidad— aumentaran de manera coordinada y se cancelaran con la precisión suficiente para que la fuerza externa continuara siendo regular.
No podía introducirse simplemente una fuerza infinita para producir artificialmente el resultado.
La singularidad tenía que emerger de la propia dinámica construida dentro de las ecuaciones.
7. La distinción que no debemos perder: el caso sin fuerza sigue abierto
Este punto es esencial.
El anuncio de OpenAI no demuestra que una solución tridimensional sin fuerzas externas necesariamente desarrolle singularidades.
Las alternativas A y B —el problema clásico de regularidad global sin forzamiento— continúan sin decidirse.
Lo que OpenAI afirma haber demostrado es que existe una configuración admitida por la definición oficial de Clay, con una fuerza externa suave, en la que ocurre ruptura en tiempo finito.
Puede parecer una diferencia pequeña.
Matemáticamente no lo es.
Por eso pueden coexistir dos afirmaciones:
el Problema del Milenio podría estar resuelto según su formulación oficial
y, simultáneamente,
la pregunta de regularidad del Navier–Stokes no forzado continúa abierta.
8. El protagonista no fue ChatGPT
Aquí aparece una parte especialmente relevante para nuestra saga.
OpenAI declaró expresamente que la demostración no fue producida por ChatGPT ni por uno de sus modelos públicos habituales.
Se utilizó un modelo interno experimental, que la compañía describió como significativamente más capaz que GPT-6 Astra.
Eso significa que, cuando se produjo el resultado, OpenAI ya disponía internamente de sistemas científicos más potentes que sus modelos públicos más avanzados.
Y tampoco trabajó un único agente aislado.
El proceso fue mucho más parecido a una organización de investigación digital.
9. Cien agentes matemáticos trabajando en paralelo
La historia comenzó el 1 de septiembre de 2026.
OpenAI había comenzado pocos días antes, el 28 de agosto, a entrenar un nuevo modelo interno cuyos resultados matemáticos estaban aumentando rápidamente.
Los investigadores decidieron probarlo contra algunos de los problemas más difíciles conocidos.
Primero atacaron una cuestión relacionada con las ecuaciones de Euler, que describen fluidos sin viscosidad.
Aproximadamente 100 agentes de IA trabajaron durante unas 50 horas y obtuvieron una demostración de ruptura para una variante no forzada de Euler.
Aquello cambió la estrategia.
OpenAI dirigió entonces sus recursos hacia Navier–Stokes.
Los agentes fueron divididos en grupos.
Cada grupo exploró caminos matemáticos distintos.
Se promovió el intercambio de descubrimientos entre ellos.
Codex ayudó a consolidar ideas prometedoras.
Los resultados parciales de unos agentes se convirtieron en información de entrada para otros.
No estamos hablando ya de un chatbot respondiendo una pregunta.
Estamos hablando de equipos enteros de investigadores artificiales colaborando.
10. 88 horas para un problema de casi noventa años
Según los datos publicados por OpenAI, los agentes llegaron a la demostración de Navier–Stokes el 5 de septiembre.
Habían transcurrido aproximadamente 88 horas desde el inicio del esfuerzo.
Después fueron necesarias otras 17 horas para formalizar y verificar el resultado mediante Lean utilizando GPT-6 Astra.
Durante el trabajo específico sobre Navier–Stokes:
2,7 millones de mensajes
y aproximadamente
130.000 millones de tokens de salida
circularon entre los sistemas involucrados.
El contraste histórico es difícil de ignorar.
Un problema que resistió generaciones enteras de matemáticos fue atacado mediante millones de intercambios entre agentes digitales durante unos pocos días.
Esto no significa que la IA haya sustituido noventa años de matemática humana.
Todo lo contrario.
El sistema trabajó sobre décadas de teoría construida por seres humanos.
Pero sí modifica radicalmente la velocidad a la que ese conocimiento puede combinarse, explorarse y reorganizarse.
11. Lean: cuando otra máquina revisa la demostración
Una característica especialmente importante del anuncio fue la utilización de Lean.
Lean es un asistente de demostración formal.
En términos sencillos, permite transformar una prueba matemática en una secuencia de pasos expresados con suficiente precisión como para que una computadora compruebe que cada inferencia se deriva correctamente de las anteriores.
OpenAI publicó no solamente una explicación convencional de la demostración, sino también una formalización en Lean.
Esto es extremadamente significativo en la era de la IA.
Un modelo generativo puede cometer errores.
Puede inventar.
Puede saltar pasos.
Una demostración formal introduce una segunda capa:
una IA descubre o construye la prueba; un sistema formal comprueba su consistencia lógica.
Pero debemos mantener una precaución.
Lean puede verificar que la demostración formalizada es válida dentro del sistema formal.
La comunidad matemática todavía debe comprobar que la formalización representa correctamente el problema que se pretende resolver, que las hipótesis coinciden con las exigidas y que no existe alguna discrepancia conceptual oculta.
Formalización no significa aceptación automática.
12. La reacción del Clay Mathematics Institute
Tres días después del anuncio, el 11 de septiembre, Clay publicó una declaración extraordinaria.
El instituto dijo que compartía la excitación de la comunidad matemática ante el anuncio de que el problema de Navier–Stokes:
“aparentemente ha sido resuelto”.
Pero agregó algo igualmente importante:
el proceso de evaluación será deliberadamente lento.
Y a fecha de este informe, 7 de octubre de 2026, el sitio de Clay todavía mantiene Navier–Stokes dentro de sus problemas activos.
Por lo tanto, sería incorrecto afirmar hoy:
“OpenAI ganó el Premio del Milenio”.
No ocurrió.
13. El millón de dólares puede tardar años
Las propias reglas de Clay explican por qué.
Para que una solución pueda ser considerada para el premio deben cumplirse, entre otras, tres condiciones:
debe publicarse en un medio académico que reúna los requisitos establecidos;
deben transcurrir al menos dos años desde esa publicación;
y la solución debe alcanzar aceptación general de la comunidad matemática internacional.
Además, OpenAI declaró que no pretende reclamar el Premio del Milenio por este resultado.
Así que el verdadero premio de esta historia no parece ser el millón de dólares.
Es mucho mayor:
demostrar que una inteligencia artificial puede intervenir en investigación matemática de frontera y producir resultados que obligan a los mejores especialistas humanos a detenerse y examinarlos.
14. La sombra Anthropic: Euler, Alpöge y Buckmaster
La historia tuvo además un episodio particularmente interesante para nuestra saga.
OpenAI reconoció que comenzó su ofensiva matemática después de escuchar rumores sobre importantes resultados obtenidos independientemente por Levent Alpöge, de Anthropic, y Tristan Buckmaster, profesor de la Universidad de Nueva York.
Posteriormente descubrió que aquel trabajo no era la solución de Navier–Stokes, sino un resultado relacionado con las ecuaciones de Euler con fuerza externa.
OpenAI reconoce explícitamente la prioridad de Alpöge y Buckmaster sobre ese resultado.
Según la compañía, sus propios agentes no tuvieron acceso a ese trabajo durante el proceso y las demostraciones son diferentes.
El episodio, sin embargo, revela algo más profundo:
OpenAI y Anthropic ya no compiten solamente por construir mejores chatbots.
Sus sistemas están comenzando a competir dentro de las propias fronteras de las matemáticas.
15. Una controversia que recién comienza
No todos los matemáticos reaccionaron únicamente con entusiasmo.
La velocidad con la que los laboratorios de IA están produciendo nuevos resultados abrió debates sobre:
atribución,
prioridad científica,
revisión por pares,
reproducibilidad,
transparencia de los modelos,
y capacidad real de la comunidad matemática para revisar una avalancha de demostraciones generadas por máquinas.
Esas preocupaciones crecieron todavía más en octubre de 2026, cuando OpenAI difundió centenares de nuevos resultados matemáticos producidos por sistemas de IA. Algunos matemáticos han advertido que la velocidad de generación de nuevos trabajos puede empezar a superar la capacidad humana de verificarlos y clasificarlos adecuadamente.
El problema futuro podría dejar de ser:
¿puede una IA producir matemáticas nuevas?
Y convertirse en:
¿pueden los humanos revisar todo lo que produzca?
16. Lo que esta solución NO significa
Aquí debemos eliminar varios malentendidos.
No significa que hasta ahora los ingenieros no pudieran utilizar Navier–Stokes.
Las ecuaciones llevan décadas empleándose mediante simulación numérica en aviación, automoción, meteorología, ingeniería naval, medicina y multitud de otras disciplinas.
Los aviones no esperaron a que se resolviera el Problema del Milenio para volar.
Lo que estaba abierto era una cuestión matemática extremadamente profunda sobre la existencia y regularidad de todas las posibles soluciones tridimensionales.
Tampoco significa que el agua real alcance velocidades infinitas.
Una singularidad matemática señala que el modelo continuo deja de comportarse regularmente bajo determinadas condiciones.
La física real necesariamente introduciría otros efectos antes de permitir una velocidad infinita.
17. Pero sí significa algo enorme para la inteligencia artificial
La trascendencia para nuestra saga está en otro lugar.
Hasta hace pocos años utilizábamos IA para:
reconocer imágenes,
traducir idiomas,
generar textos,
programar,
buscar patrones.
Después comenzaron los agentes.
Luego aparecieron sistemas que ejecutaban investigación.
Ahora entramos en una fase diferente:
IA produciendo conocimiento matemático que antes no existía.
Eso cambia la definición misma de herramienta.
Una calculadora realiza operaciones que sabemos formular.
Una computadora ejecuta algoritmos diseñados por humanos.
Un sistema de IA científica puede explorar caminos que ningún investigador humano había recorrido, combinar literatura existente, proponer construcciones nuevas y producir demostraciones.
Si el resultado de Navier–Stokes termina recibiendo aceptación completa, tendremos ante nosotros algo históricamente distinto:
una máquina habrá participado decisivamente en la resolución de uno de los problemas matemáticos más importantes formulados por la humanidad.
18. De asistente científico a investigador artificial
Quizás la parte más reveladora del experimento no sea siquiera la solución.
Es cómo fue obtenida.
No existió una única conversación.
Existió una organización digital.
Decenas de agentes.
Especialización.
Exploración paralela.
Comunicación.
Intercambio de resultados.
Selección de hipótesis.
Formalización posterior.
Verificación independiente mediante software matemático.
En otras palabras, OpenAI comenzó a reproducir dentro de computadoras una estructura muy parecida a un instituto de investigación.
Pero con una diferencia radical.
Los investigadores artificiales pueden enviar millones de mensajes entre sí en unos días.
Ahí podría encontrarse uno de los próximos grandes cambios científicos.
No solamente modelos más inteligentes.
Comunidades enteras de inteligencias artificiales investigando juntas.
19. La pregunta inevitable: ¿qué problema viene después?
Navier–Stokes es solamente uno de los Problemas del Milenio.
Aún permanecen cuestiones como:
la Hipótesis de Riemann,
P versus NP,
Yang–Mills y el salto de masa,
la Conjetura de Hodge,
Birch y Swinnerton-Dyer.
Durante décadas se asumió que estos problemas podían requerir nuevas generaciones de matemáticos humanos y quizá muchos años o siglos.
Después de septiembre de 2026, esa suposición ya no resulta tan segura.
No porque debamos asumir que una IA resolverá todos los problemas.
Sino porque ahora existe evidencia de que sistemas artificiales pueden penetrar regiones de la matemática que hasta hace muy poco parecían reservadas a la creatividad humana más excepcional. "
CONCLUSIÓN ESTRATÉGICA
—El problema de Navier–Stokes representa algo mucho mayor que una ecuación complicada.
Durante casi noventa años fue una frontera.
Una línea que separaba aquello que la matemática podía describir de aquello que todavía no podía demostrar.
El 8 de septiembre de 2026, esa frontera aparentemente se movió.
No sabemos todavía si el resultado presentado por OpenAI terminará superando todos los años de escrutinio necesarios para recibir reconocimiento formal del Clay Mathematics Institute.
El propio Clay continúa siendo prudente.
No hay premio concedido.
Y la cuestión sin fuerza externa continúa abierta.
Pero tampoco podemos ignorar lo ocurrido.
Un sistema interno de inteligencia artificial, más potente que los modelos públicos existentes en aquel momento, coordinó millones de intercambios entre agentes, construyó una estrategia matemática, produjo una demostración analítica y posteriormente la formalizó mediante Lean.
Tres días después, la institución responsable del Problema del Milenio declaró que Navier–Stokes “aparentemente ha sido resuelto”. Clay Mathematics Institute
Ese lenguaje prudente es exactamente el que corresponde utilizar hoy.
Pero incluso si mañana apareciera una objeción matemática y fuera necesario corregir la demostración, ya habría quedado demostrado algo difícil de revertir:
la inteligencia artificial ha entrado definitivamente en la producción de matemática de frontera.
Y ese puede ser el verdadero acontecimiento histórico.
Durante años nos preguntamos si una IA podría superar a un humano escribiendo textos, programando software o analizando imágenes.
La pregunta empieza a quedarse pequeña.
La nueva pregunta es otra:
¿qué sucede cuando millones de horas intelectuales artificiales pueden concentrarse durante días sobre problemas que generaciones humanas tardaron décadas en explorar?
Navier–Stokes puede ser la primera gran respuesta.
Probablemente no será la última.—
Fuentes consultadas: OpenAI, “On the Navier–Stokes Millennium Prize Problem” (8 de septiembre de 2026); Clay Mathematics Institute, “Navier-Stokes Announcement” (11 de septiembre de 2026); Charles L. Fefferman, formulación oficial del problema de Navier–Stokes para los Millennium Prize Problems; Clay Mathematics Institute, reglas oficiales de los Premios del Milenio; cobertura reciente sobre la reacción de la comunidad matemática y el avance de sistemas de IA en investigación matemática. OpenAI
Las opiniones y análisis contenidos en este artículo son interpretaciones críticas basadas en información pública y en el diálogo con herramientas de inteligencia artificial, sin pretender certeza absoluta.
Comentarios
Publicar un comentario