OpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente "resolver"

OpenAI asegura que un modelo de IA interno ha resuelto más de 100 problemas matemáticos abiertos, y lo ha logrado en apenas unas semanas. Es un logro extraordinario, pero uno que abre un melón importante: plantear soluciones quizás no sea suficiente. La demostración que la empresa publicó sobre las ecuaciones de Navier–Stokes parece responder a una de las formulaciones oficiales de un Problema del Milenio, pero deja abierta una cuestión que muchos matemáticos consideran fundamental. En OpenAI van a trabajar con un grupo de asesores independientes para publicar y comunicar sus futuros resultados, pero la pregunta está ahí: ¿cuando una IA resuelve un problema matemático, lo resuelve realmente?

Qué ha pasado. OpenAI indicaba ayer que además de «resolver» el problema de Navier–Stokes definido como uno de los Problemas del Milenio, su modelo interno, que llevan entrenando desde el pasado 28 de agosto, también ha resuelto 100 problemas abiertos desde hace años. En ese anuncio, no obstante, no se dan detalles sobre qué problemas han resuelto ni se incluyen evaluaciones independientes de esos resultados. 

Según OpenAI y Anthropic, hay que parar el desarrollo de la IA para salvar a la humanidad. Hay motivos para dudar