OpenAI crea un consejo asesor de matemáticas tras resolver 100 problemas abiertos

OpenAI estaría cerca de resolver un segundo problema matemático del Premio del Milenio, incluso cuando su primera afirmación de este tipo —una solución al problema de existencia y suavidad de Navier-Stokes anunciada el 8 de septiembre— enfrenta críticas crecientes de matemáticos que afirman que la empresa aprovechó un vacío legal en la formulación del problema.

Una victoria cuestionada y una nueva frontera

La demostración de Navier-Stokes de la empresa, producida por 10,000 agentes de IA autónomos que ejecutaron un modelo interno no publicado durante 88 horas, fue aclamada como un hito cuando se anunció. Pero según Scientific American, la prueba resolvió una variante del problema que se basa en una fuerza externa artificial, un enfoque que muchos expertos consideran desconectado de la realidad física que las ecuaciones pretenden describir. "El problema más importante sigue sin resolverse", dijo a Scientific American Luis Silvestre, matemático de la Universidad de Chicago. "El problema de Clay está resuelto, pero el problema principal de las ecuaciones de Navier-Stokes no".scientificamerican+2

Desde entonces, tres matemáticos han publicado una demostración que muestra que el método de OpenAI nunca podrá extenderse para resolver el problema completo sin la fuerza externa, lo que significa que el enfoque ha llegado a un callejón sin salida. El resultado satisface técnicamente el enunciado original del problema del Clay Mathematics Institute, que incluía una opción que permitía fuerzas externas, pero los especialistas en dinámica de fluidos se enfrentan ahora a la incómoda posibilidad de que las ecuaciones solo puedan explotar bajo condiciones artificiales.scientificamerican

Mientras tanto, The Information informó el lunes que OpenAI está cerca de resolver otro de los problemas restantes del Premio del Milenio, y la propia OpenAI reveló el 21 de septiembre que su nuevo modelo "ha resuelto ya más de 100 problemas abiertos de larga data en la mayoría de las áreas de las matemáticas".openai+1

Los matemáticos contraatacan

El rápido progreso ha alarmado a la comunidad matemática. El 11 de septiembre, 25 ganadores de la Medalla Fields publicaron una declaración conjunta titulada "Una grave desalineación de la IA en las matemáticas", advirtiendo que la carrera de las empresas de IA por resolver problemas famosos corre el riesgo de socavar la cultura de investigación abierta y comprensión humana de la disciplina. "A menudo, estas soluciones se anuncian con prisas, sin dejar tiempo para una redacción adecuada, el aislamiento de nuevos métodos e ideas, y la citación del trabajo previo relevante de otros", afirma la carta. Surgieron acusaciones separadas de que OpenAI presionó a un matemático para que no diera crédito a un colaborador afiliado a Anthropic.techcrunch+2

Un grupo asesor como puente

En respuesta, OpenAI anunció el lunes un Grupo Asesor independiente sobre Matemáticas e Inteligencia Artificial, con sede en el Institute for Advanced Study. Los nueve miembros del grupo incluyen a los ganadores de la Medalla Fields Timothy Gowers, Martin Hairer y Edward Witten, junto con matemáticos de Harvard, Stanford, Oxford y Berkeley. El grupo asesorará sobre la revisión y comunicación de resultados, defenderá los estándares académicos y operará de forma independiente: los miembros no recibirán pago de OpenAI y podrán cuestionar públicamente el enfoque de la empresa.openai

"Hay preguntas difíciles por delante sobre cómo la IA puede apoyar la comprensión matemática", escribió OpenAI, añadiendo que quiere que "los matemáticos estén en el centro de la configuración de las respuestas". Sin embargo, el grupo no asesorará sobre cómo OpenAI marca el ritmo de su progreso interno, una distinción que puede hacer poco para aliviar las preocupaciones de los matemáticos que ven cómo las máquinas se aceleran más allá de ellos.openai