OpenAI y el Problema de Navier-Stokes: ¿Ha Resuelto la IA un Enigma Matemático y Qué Implicaciones Tiene?
OpenAI ha comunicado un hito potencialmente trascendental para el campo de la inteligencia artificial y las matemáticas: la resolución del problema de existencia y regularidad de Navier-Stokes. Este enigma, uno de los siete Problemas del Milenio propuestos por el Clay Mathematics Institute y dotado de un premio de un millón de dólares, representa un desafío teórico de gran magnitud en la física y las matemáticas. La compañía no solo afirma haber hallado la solución, sino que ha compartido tanto la demostración analítica como su implementación en el lenguaje formal de verificación Lean. No obstante, la comunidad matemática subraya que la validación oficial aún está pendiente de un riguroso escrutinio por parte de expertos. Antes de alcanzar esa fase, el anuncio ha desencadenado una considerable polémica, difuminando el mérito del descubrimiento y suscitando debates sobre la autoría y el proceso seguido.
Para abordar este complejo problema, OpenAI empleó un modelo de inteligencia artificial interno, descrito como sustancialmente más avanzado que el modelo GPT-6 Astra. Este sistema avanzado, aún en fase de entrenamiento, requirió la coordinación de aproximadamente 10.000 agentes autónomos operando durante 88 horas, con un consumo computacional estimado en varios millones de dólares. La investigación, según se desprende, se nutrió de los avances previos de matemáticos como Tristan Buckmaster de la Universidad de Nueva York y Levent Alpöge de Anthropic, quienes a su vez se basaban en trabajos anteriores de matemáticos españoles como Diego Córdoba y Luis Martínez-Zoroa.
El Rol de la IA y la Colaboración Científica
El proceso descrito por OpenAI ilustra una dinámica cada vez más común en la investigación de vanguardia: la sinergia entre el ingenio humano y la capacidad computacional avanzada de la IA. La compañía reconoce que su interés en el Problema de Navier-Stokes se intensificó al detectar los avances significativos de Anthropic en este campo. Esta estrategia, que implica capitalizar líneas de investigación prometedoras y conocimientos públicamente disponibles, es una práctica habitual en la ciencia y no constituye una irregularidad ni una forma de “hacer trampas”.
Sin embargo, la polémica ha surgido en torno al uso de herramientas de IA, como Codex, durante la investigación de Buckmaster y Alpöge. Buckmaster ha planteado la posibilidad de que OpenAI se haya beneficiado de sesiones privadas y del trabajo previo de estos matemáticos. OpenAI niega rotundamente estas acusaciones, afirmando que ni sus investigadores ni sus agentes de IA accedieron a los prompts, demostraciones o trabajo privado de Buckmaster y Alpöge antes de su publicación. Por el momento, no existen pruebas concluyentes que respalden la idea de que OpenAI haya
Fuente: Ver artículo original