OpenAI informó recientemente sobre un importante avance en el uso de inteligencia artificial para la investigación matemática. Según la compañía, un modelo interno consiguió resolver más de un centenar de problemas matemáticos que llevaban tiempo sin solución, además de producir una demostración relacionada con el problema de Navier–Stokes, uno de los siete Problemas del Milenio.
El anuncio ha llamado la atención porque estos desafíos requieren razonamientos matemáticos complejos y, en algunos casos, han permanecido abiertos durante décadas.
Un problema que llevaba décadas sin respuesta
Uno de los principales resultados está relacionado con las ecuaciones de Navier–Stokes, utilizadas para describir el comportamiento de fluidos como el agua y el aire. El problema matemático busca determinar si ciertas soluciones de estas ecuaciones pueden desarrollar una singularidad en un tiempo finito.
OpenAI asegura que su sistema produjo una demostración analítica y una versión formalizada mediante Lean. De acuerdo con la empresa, el resultado establece una de las posibilidades contempladas en la formulación oficial del problema.
Para llegar a este resultado, OpenAI utilizó un sistema compuesto por numerosos agentes de inteligencia artificial que trabajaban de manera coordinada. La compañía señala que el grupo dedicado a Navier–Stokes llegó a una solución después de aproximadamente 88 horas de trabajo, mientras que la formalización y verificación posterior requirieron tiempo adicional.
Más de 100 problemas investigados
El trabajo no se limitó a Navier–Stokes. OpenAI afirma que el mismo modelo consiguió resolver más de 100 problemas abiertos pertenecientes a diferentes áreas de las matemáticas.
La compañía explicó que estos resultados surgieron durante una evaluación de sus modelos internos y que el objetivo era comprobar hasta dónde podían llegar en investigaciones matemáticas de alto nivel.
Sin embargo, que una inteligencia artificial produzca una demostración no significa automáticamente que todos los matemáticos consideren cada resultado definitivamente establecido. Las pruebas deben ser examinadas y verificadas por especialistas, especialmente cuando se trata de problemas de gran dificultad.
Un nuevo papel para la inteligencia artificial
El avance también muestra cómo las herramientas de IA están comenzando a utilizarse no solo para resolver ejercicios conocidos, sino para investigar preguntas matemáticas que permanecían abiertas.
OpenAI ha señalado que su intención es continuar trabajando con investigadores y matemáticos para evaluar estos avances. La empresa también aclaró que no pretende reclamar el premio de un millón de dólares asociado al problema de Navier–Stokes.
El resultado representa, por tanto, un nuevo paso en la aplicación de la inteligencia artificial a las matemáticas, aunque la revisión independiente de las demostraciones será fundamental para determinar su alcance y validez dentro de la comunidad científica.
