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.…