OpenAI asegura haber logrado un avance histórico en las matemáticas después de que un sistema de inteligencia artificial encontrara en 88 horas una posible solución al problema de existencia y suavidad de Navier-Stokes, uno de los grandes enigmas matemáticos que permanecen sin resolver desde hace casi 90 años.
Sin embargo, el anuncio quedó rodeado de controversia después de que un matemático de la Universidad de Nueva York acusara a la compañía de haber utilizado información relacionada con su propia investigación.
La empresa puso a trabajar alrededor de 10 mil agentes de inteligencia artificial para analizar diferentes caminos hacia la solución, aunque el resultado todavía no ha sido verificado de manera independiente ni reconocido oficialmente por el Clay Mathematics Institute.
OpenAI says it solved part of one of math's most famous unsolved problems using ten thousand AI agents.
— Donald J Trump Posts TruthSocial (@TruthTrumpPost) September 10, 2026
That celebration immediately collided with a genuinely serious accusation: that its system may have quietly learned from work two human mathematicians had stored on OpenAI's… pic.twitter.com/R3AdyV71NW
Carrera contra el tiempo y las matemáticas
El problema de Navier-Stokes forma parte de los siete Problemas del Milenio, una lista creada por el Clay Mathematics Institute que ofrece un premio de un millón de dólares por cada problema que sea resuelto bajo sus criterios. Las ecuaciones describen el comportamiento de los fluidos y están relacionadas con fenómenos como la turbulencia.
Te puede interesar: Apple presenta el “iPhone Duo”, su primer teléfono plegable
Para intentar encontrar una solución, OpenAI utilizó un modelo interno que, según la compañía, es más avanzado que GPT-6 Astra. Los agentes trabajaron de manera coordinada, intercambiando información y explorando diferentes posibilidades hasta llegar a un resultado el 5 de septiembre, aproximadamente 88 horas después de iniciar el experimento.
Los agentes intercambiaron alrededor de 2.7 millones de mensajes y utilizaron aproximadamente 130 mil millones de tokens únicamente durante el trabajo relacionado con Navier-Stokes. Posteriormente, la formalización y verificación mediante Lean requirió otras 17 horas.
La compañía sostiene que su resultado demuestra dos de las cuatro afirmaciones necesarias dentro de la formulación del problema. Sin embargo, que una IA produzca una demostración no significa automáticamente que el problema haya sido aceptado como resuelto. La comunidad matemática debe revisar el trabajo y determinar si los argumentos son correctos y si cumplen con los criterios establecidos por el instituto.
OpenAI también aclaró que no pretende reclamar el premio de un millón de dólares, pues su objetivo es demostrar las capacidades que están alcanzando sus modelos de inteligencia artificial.
¿Plagio de la IA?
La celebración del avance quedó opacada por una disputa que involucra a Tristan Buckmaster, profesor de matemáticas de la Universidad de Nueva York, y Levent Alpöge, investigador de Anthropic. Ambos habían trabajado durante meses en un problema relacionado con Navier-Stokes y utilizaron herramientas de inteligencia artificial durante su investigación.
Buckmaster afirmó que OpenAI tuvo conocimiento de los avances de su investigación antes de publicar su propia solución. El matemático cuestionó si información de su trabajo pudo haber llegado a los sistemas de la compañía mediante Codex, una herramienta de programación de OpenAI que había utilizado durante su investigación.
OpenAI rechazó haber visto directamente el trabajo de los investigadores antes de que fuera publicado y aseguró que sus agentes no tuvieron acceso a sus datos de usuario durante el desarrollo de la solución. Sin embargo, la compañía reconoció que no puede descartar completamente que datos desidentificados derivados del uso de sus productos hayan contribuido a mejorar sus modelos.
Si especialistas independientes confirman que la demostración es correcta, el resultado podría convertirse en uno de los avances más importantes de la inteligencia artificial aplicada a las matemáticas.
