OpenAI afirma haber resuelto un Problema del Premio del Milenio, lo que desata un debate en la comunidad matemática

OpenAI ha anunciado que su modelo de IA más reciente resolvió un Problema del Premio del Milenio, un acertijo matemático con una recompensa de 1 millón de dólares que había permanecido sin resolver durante décadas. El problema específico involucraba las ecuaciones de Navier-Stokes para medios incompresibles, y la prueba de la IA demostró que estas ecuaciones pueden contener singularidades. Para lograrlo, OpenAI presuntamente desplegó 10,000 agentes autónomos a un costo estimado de 15 millones de dólares. La empresa publicó una prueba de 166 páginas junto con una formalización legible por computadora para ayudar a los expertos en la verificación. Si bien el Instituto Clay de Matemáticas requiere un período de verificación de dos años antes de otorgar el premio, algunos expertos, incluido el profesor de la Universidad de Nueva York Tristan Buckmaster, creen que el problema ha sido resuelto.

El anuncio ha causado una agitación significativa entre los matemáticos. Algunos investigadores expresan su preocupación de que el rápido ritmo de los avances de la IA haga que el campo sea inestable y amenace el papel tradicional de los matemáticos humanos. Los profesores han señalado que la IA ya está alterando la educación de pregrado al hacer que las tareas tradicionales en casa queden obsoletas. Otros argumentan que el proceso de resolver problemas a través del esfuerzo humano a largo plazo es el atractivo central de la materia, y temen que los matemáticos puedan quedar reducidos a auditores que simplemente verifiquen pruebas generadas por IA.

También ha surgido una controversia respecto a la ética del descubrimiento. Tristan Buckmaster afirma que OpenAI se apresuró a resolver el problema tras enterarse de su propio trabajo con el investigador de Anthropic Levent Alpöge. Además, algunos matemáticos argumentan que la solución se basa en estrategias desarrolladas por los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa. Algunos críticos sugieren que el proyecto fue un ejercicio de marketing para demostrar el poder del modelo en lugar de una búsqueda de utilidad científica.

Los medios con tendencia de centro izquierda presentan el evento como una fuerza disruptiva que amenaza la creatividad humana, la integridad académica y el medio ambiente. En contraste, el medio de centro derecha presenta el evento como un hito en la evolución de la colaboración entre humanos y máquinas, aunque sigue señalando la amargura profesional respecto al crédito y la propiedad intelectual.