Una inteligencia artificial ha generado una demostración que aspira a cerrar una de las grandes preguntas de las matemáticas: el problema de existencia y regularidad de Navier-Stokes. Su importancia alcanza a la física, porque examina los límites de las ecuaciones que describen cómo se mueven los fluidos.Estas fórmulas permiten estudiar el movimiento del agua y del aire, desde lo que ocurre dentro de una tubería hasta el flujo alrededor de un avión. Los ingenieros llevan décadas utilizándolas mediante aproximaciones y simulaciones por ordenador. La incógnita matemática afecta a lo que pueden garantizar en todas las condiciones admitidas por el problema.La pregunta puede formularse así: si un fluido comienza con un movimiento suave, ¿pueden aparecer valores que crezcan sin límite en un tiempo finito? Eso es lo que se conoce como una singularidad y lo que la nueva prueba pretende demostrar para un caso concreto.Un remolino cada vez más estrechoEl trabajo estudia un fluido incompresible en tres dimensiones, con viscosidad, la fricción interna que tiende a suavizar las diferencias de velocidad. El artículo científico construye un ejemplo que parte del reposo y recibe una fuerza externa suave. A pesar de esas condiciones, la velocidad acaba creciendo sin límite.En esa construcción, la energía cinética total permanece finita. La explicación está en que el movimiento más intenso se concentra en una región cada vez más pequeña: el núcleo de un remolino se estrecha mientras aumenta la velocidad. La fuerza aplicada también debe mantenerse suave; introducir una fuerza infinita invalidaría el ejemplo propuesto.La formulación oficial del Instituto Clay admite distintas vías para resolver el problema. Una consiste en probar que las soluciones siempre conservan su regularidad bajo determinadas condiciones; otra, en construir un caso que pierda esa regularidad. El trabajo corresponde a esta segunda vía, con fuerza externa, y declara demostrar las alternativas C y D del enunciado. El caso sin fuerza externa es una cuestión distinta.Miles de agentes trabajando juntosOpenAI anunció el resultado el 8 de septiembre de 2026. Según su comunicado, utilizó un modelo interno más capaz que GPT-6 Astra, con un grupo de unos 10.000 agentes simultáneos. El nombre de ChatGPT identifica aquí al producto más conocido de la compañía, pero el experimento empleó un sistema de investigación propio.Los agentes podían ejecutar código y consultar una copia de internet. También compartían resultados, que los investigadores reunieron con Codex para orientar nuevos intentos. La empresa sitúa la obtención de la prueba el 5 de septiembre, unas 88 horas después del inicio; la formalización y verificación con Lean requirieron otras 17 horas mediante GPT-6 Astra.El alcance científico y la revisión pendientePara valorar un avance en la investigación con IA, hay que poder examinar el razonamiento. La documentación publicada incluye una versión de la demostración en Lean, un lenguaje y asistente de pruebas que permite comprobar pasos lógicos a partir de definiciones y axiomas explícitos. El repositorio ofrece instrucciones para verificarla.Esa comprobación tiene un alcance preciso. Permite revisar que el resultado se deduce de lo que se ha formalizado; los especialistas también deben examinar que esa formalización corresponda al problema que se quería resolver. Publicar una prueba verificable facilita ese escrutinio.El resultado afectaría a nuestra comprensión de los modelos de fluidos. Una singularidad señala un límite de la descripción matemática: el agua real no puede adquirir una velocidad infinita. De ahí tampoco se deduce una mejora inmediata de las simulaciones de ingeniería, que calculan aproximaciones para situaciones concretas.Su relevancia para la inteligencia artificial general debe juzgarse con la misma precisión. Si la demostración se confirma, habrá un ejemplo de investigación matemática original mediante agentes de IA. Un resultado en esta disciplina, por sí solo, no demuestra competencia general en cualquier tarea intelectual.El Instituto Clay incluyó esta incógnita entre sus siete Problemas del Milenio y asignó un millón de dólares a cada solución. A fecha de 8 de septiembre de 2026, su web todavía clasifica Navier-Stokes como no resuelto. OpenAI ha indicado que no pretende reclamar el premio.El reconocimiento del galardón tiene sus propios plazos. Sus reglas exigen una publicación que cumpla los requisitos del instituto, que transcurran al menos dos años desde ella y que la solución obtenga aceptación general en la comunidad matemática.