OpenAI ha anunciado que uno de sus modelos de inteligencia artificial internos ha logrado resolver más de 100 problemas matemáticos que permanecían abiertos desde hace años. Este hito, alcanzado en pocas semanas, incluye una demostración relacionada con las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio, aunque el alcance real de este logro ha generado un intenso debate en la comunidad científica.
La controversia sobre Navier-Stokes
El problema de Navier-Stokes busca determinar si, bajo condiciones específicas, las ecuaciones de movimiento de fluidos pueden desarrollar una singularidad. OpenAI utilizó una fuerza externa para forzar dicha singularidad, un método contemplado en las formulaciones C y D del enunciado oficial. Si bien la empresa ha formalizado su demostración en Lean, una plataforma de verificación informática, el hecho de utilizar fuerzas diseñadas para forzar el resultado ha llevado a expertos a cuestionar si esto responde a la duda física original o si simplemente se ajusta a una interpretación técnica del enunciado.
El papel de la verificación humana
La compañía ha optado por no reclamar el premio de un millón de dólares ofrecido por el Clay Mathematics Institute. Ante la complejidad de validar si una IA realmente ha comprendido la naturaleza del problema o si solo ha generado una respuesta formalmente correcta, OpenAI ha creado un comité asesor independiente compuesto por matemáticos. Este grupo evaluará los resultados futuros, abordando el dilema entre una solución formalmente válida y una demostración que pueda ser interpretada y comprendida por la comunidad matemática humana.
!Advertencia! Tenemos problemas...
Debes iniciar sesión para poder comentar.. Iniciar sesión o Registrarme