Añadir Mangas Verdes como fuente preferida de Google de forma gratuita.
Mantente informado con las últimas noticias de actualidad.
Hay anuncios que llegan con una paradoja incorporada. OpenAI asegura haber encontrado una respuesta afirmativa a una de las formulaciones más temidas de las ecuaciones de Navier-Stokes, pero el problema sigue oficialmente abierto mientras la comunidad matemática no desmonte o valide la demostración.
Navier-Stokes no es una rareza para especialistas.
Estas ecuaciones describen el movimiento de los fluidos, de modo que hablan a la vez del humo, del agua y del aire. En su versión tridimensional, arrastran una pregunta clásica sobre si una solución suave puede romperse y dar lugar a una singularidad en un tiempo finito.
OpenAI presentó una construcción que empuja el fluido hasta el límite
El documento tiene 166 páginas y plantea un escenario concreto. Una solución que empieza siendo regular acaba desarrollando una singularidad cuando una velocidad deja de estar acotada en un instante determinado.
Ahí entra la imagen que sostiene toda la propuesta. OpenAI describe un vórtice cada vez más estrecho cuya velocidad aumenta mientras el movimiento se concentra en una región progresivamente menor, como si toda la agitación del fluido terminara apretándose en un punto.
Además, los investigadores introducen una fuerza externa suave y localizada en el espacio y en el tiempo para que la construcción resulte válida. Ese detalle importa porque no se trata solo de imaginar un colapso, sino de encajarlo dentro de un andamiaje matemático preciso.
Ochenta y ocho horas bastaron para obtener una prueba que aún no cuenta como veredicto
OpenAI sitúa el origen de la demostración en 88 horas de trabajo coordinado por unos 10.000 agentes de inteligencia artificial. La compañía añade que el sistema empleado sigue en entrenamiento y que tiene más capacidad que GPT-6 Astra.
No es un matiz menor.
Parte del trabajo ya pasó por Lean, un asistente de demostraciones matemáticas que traduce argumentos a un lenguaje formal. Esa formalización no sustituye la revisión de los matemáticos, pero sí convierte una porción de la prueba en algo más cercano a una comprobación mecánica que a una intuición elegante sobre el papel.
El contraste está en que el anuncio técnico convive con una realidad institucional mucho más lenta, igual que ocurre cuando un laboratorio proclama un resultado y luego empieza la fase verdaderamente incómoda, la de dejar que otros intenten romperlo. Por ahora, Navier-Stokes continúa en la lista de problemas no resueltos del Clay Mathematics Institute.
La discusión no gira solo sobre el resultado, también sobre su independencia
OpenAI ha defendido que su desarrollo es independiente y que presenta diferencias importantes respecto a resultados anteriores. Esa aclaración revela que la pelea no está solo en el contenido de la prueba, sino también en su origen y en cómo se separa de trabajos previos sobre el mismo problema.
En los últimos meses, además, la relación entre inteligencia artificial y matemáticas ya había ganado peso en debates sobre coautoría en investigación matemática. Ese contexto ayuda a entender por qué una demostración así no solo se mide por su corrección, también por la forma en que fue generada, formalizada y atribuida.
Hay otra tensión menos visible y más interesante. La compañía afirma que el sistema usado era un modelo experimental todavía en entrenamiento, de modo que el supuesto avance nace en una fase en la que la herramienta aún no tiene identidad pública cerrada.
Al final, el dato más sólido sigue siendo casi burocrático. Navier-Stokes continúa figurando como problema no resuelto para el Clay Mathematics Institute, aunque OpenAI haya puesto sobre la mesa 166 páginas, un vórtice que se estrecha hasta desbocarse y 88 horas de trabajo de 10.000 agentes.