La IA asalta las matemáticas

OpenAI ha afirmado haber resuelto uno de los célebres Problemas del Milenio, la categoría de problemas matemáticos para cuya resolución el Clay Mathematics Institute estableció un premio de un millón de dólares. El anuncio se hizo el martes y se convirtió en un acontecimiento destacado no solo para la propia compañía, sino también para las matemáticas académicas: el resultado muestra con qué rapidez los sistemas de inteligencia artificial intentan pasar de los cálculos y las pistas a trabajar por su cuenta en demostraciones fundamentales.

Sin embargo, el triunfo quedó ensombrecido por las circunstancias en las que OpenAI abordó el problema. Según la información disponible, la compañía supo que otros investigadores ya estaban avanzando hacia una solución y, después, destinó recursos considerables al problema en un intento urgente de adelantarse a sus competidores y anunciar el resultado antes que ellos. En otras palabras, no se trataba solo de investigación científica, sino también de una carrera por plantar la bandera con el apellido propio en una cumbre a la que muchos llevaban años subiendo.

Ahí es donde surgió la polémica. La inusual secuencia de acontecimientos dio pie a acusaciones de que OpenAI podría haber «arrebatado» un resultado ajeno al aprovechar información sobre el trabajo de otros grupos. En el debate aparecieron referencias a un scoop —una publicación o anuncio con el que se intenta adelantarse a un competidor— y también insinuaciones de un posible seguimiento de los avances científicos. Sin embargo, la información presentada no contiene pruebas concluyentes de tales infracciones ni explica cómo obtuvo OpenAI los datos sobre el progreso de otros investigadores.

El anuncio, por sí solo, tampoco significa que la comunidad matemática haya reconocido automáticamente que el problema está resuelto. Los especialistas deben revisar estos resultados: estudiar la demostración en detalle, reproducirla y comprobar que no contiene lagunas ocultas. En los Problemas del Milenio esto es especialmente importante: aquí un comunicado de prensa llamativo pesa menos que una sola línea correcta de una demostración.

Por eso, la historia tiene dos caras. Por un lado, OpenAI ha demostrado el considerable potencial de la inteligencia artificial y la aceleración de la investigación matemática. Por otro, la situación ha mostrado cómo las reglas académicas, la reputación y el afán de las empresas por anunciar primero un avance chocan en un mismo punto. Y mientras unos hablan de una nueva era de las matemáticas, otros intentan averiguar si no se ha convertido en una competición por apropiarse de los titulares.