OpenAI asegura que su IA resolvió más de 100 problemas matemáticos sin aportar pruebas

OpenAI anunció el 21 de septiembre que un modelo interno sin nombre, cuyo entrenamiento comenzó el 28 de agosto, ha resuelto más de 100 problemas abiertos de larga data en casi todas las áreas de las matemáticas, incluido el problema del Premio del Milenio de Navier-Stokes. La empresa no publicó pruebas, ni una lista detallada de los problemas, ni verificaciones externas, dejando toda la afirmación basada únicamente en su palabra.chosun+1

Junto con el anuncio, OpenAI reveló la creación de un Grupo Asesor sobre Matemáticas e Inteligencia Artificial, con sede en el Institute for Advanced Study de Princeton, destinado a revisar los resultados matemáticos emergentes de los sistemas de IA antes de que se consideren resueltos.the-decoder+1

Una afirmación histórica sin documentación

El problema de existencia y suavidad de Navier-Stokes es uno de los siete Problemas del Premio del Milenio establecidos por el Clay Mathematics Institute en el año 2000, cada uno con un premio de 1 millón de dólares. Las ecuaciones describen el movimiento de los fluidos y se utilizan a diario en física e ingeniería, pero sus fundamentos matemáticos siguen siendo poco comprendidos.npr

OpenAI afirmó por primera vez el 8 de septiembre que su IA había resuelto el problema de Navier-Stokes en 88 horas utilizando aproximadamente 10,000 agentes de IA. El anuncio del 21 de septiembre amplió el alcance drásticamente, añadiendo más de 100 problemas resueltos adicionales y, según The Decoder, una supuesta resolución de un segundo Problema del Premio del Milenio, la conjetura de Hodge.the-decoder+2

Los matemáticos que han examinado el manuscrito anterior de 166 páginas sobre Navier-Stokes dicen que su formalización en Lean compila correctamente, lo que sugiere que la prueba es técnicamente válida, pero el documento en sí sigue siendo casi ilegible. "El artículo no está escrito para humanos", dijo Javier Gómez-Serrano, matemático de la Universidad de Brown. James Maynard, de la Universidad de Oxford, añadió que "ha sido muy difícil extraer una comprensión humana real de esta nueva prueba de IA".npr

Controversia por la prisa en publicar

El episodio ha provocado duras críticas de la comunidad matemática. Veinticinco ganadores de la Medalla Fields, incluidos Terence Tao y June Huh, publicaron una carta abierta el 11 de septiembre titulada "Una grave desalineación de la IA en las matemáticas", advirtiendo que tratar la resolución de problemas como un punto de referencia para los sistemas de IA socava la comprensión conceptual que es fundamental para la disciplina.the-decoder+1

Tristan Buckmaster, matemático de la Universidad de Nueva York que se acercaba a una solución de Navier-Stokes con su colaborador Levent Alpöge en Anthropic, acusó a OpenAI de conocer su enfoque y apresurarse a publicar primero. Según Buckmaster, OpenAI le ofreció incluirlo en su artículo si abandonaba a Alpöge. "Hay tanta evidencia circunstancial de que tenían mucho más conocimiento de lo que estábamos haciendo de lo que admitieron", dijo Buckmaster a NPR. OpenAI ha negado haber utilizado su trabajo.npr

Un grupo asesor con límites

El nuevo grupo asesor incluye a nueve matemáticos, entre ellos los ganadores de la Medalla Fields Timothy Gowers y Martin Hairer, y opera de forma independiente sin compensación de OpenAI. Los miembros pueden ofrecer consejos no solicitados y publicar sus recomendaciones.mixed-news+1

Sin embargo, el grupo tiene una limitación intrínseca: no tiene autoridad sobre la rapidez con la que OpenAI persigue nuevos hallazgos. "Es importante destacar que el grupo no será responsable de asesorarnos sobre cómo marcar el ritmo de nuestro progreso interno en matemáticas", escribió OpenAI.the-decoder+1

El Clay Mathematics Institute, que ha otorgado solo un Premio del Milenio en su historia, señaló en un comunicado del 11 de septiembre que su proceso de evaluación es "deliberadamente pausado", requiriendo la publicación en una revista calificada seguida de al menos dos años de aceptación general antes de considerar cualquier premio. Ninguno de los resultados reclamados por OpenAI ha sido publicado, lo que significa que ese reloj no ha comenzado a correr.mixed-news