Los humanos todavía superan a la IA en un riguroso test matemático

El mes pasado, una inteligencia artificial resolvió un reto matemático creado hace 8 décadas por el húngaro Paul Erdős. Ante noticias como esta, uno no puede por más que preguntarse —con una mezcla de temor y resignación— si las habilidades matemáticas de la IA no habrán superado ya las nuestras. Recientemente, un grupo de matemáticos decidió crear un riguroso test para poner a prueba a las máquinas. Los resultados se dieron a conocer el pasado 10 de junio.

El proyecto First Proof busca evaluar de forma “independiente, transparente y rigurosa” las habilidades de la IA en la investigación matemática. La IA, como es sabido, tiene una gran capacidad a la hora de solventar problemas en base a patrones que conoce gracias a su entrenamiento. La cuestión es: ¿pueden las máquinas resolver problemas realmente originales?

Diez matemáticos con distintas áreas de especialización, que colaboran con First Proof, aportaron, cada uno, un problema que habían resuelto con anterioridad, pero que nunca habían publicado. Estos retos matemáticos, por lo tanto, en principio no se encontraban en libros, revistas de investigación, ni bases de datos online. Era improbable, por consiguiente, que formaran parte