OpenAI publicó 377 resultados matemáticos y desató un debate entre los matemáticos

OpenAI difundió un paquete con 377 resultados matemáticos en áreas como álgebra, teoría de números, ciencias de la computación teórica, lógica matemática y topología, según Interesting Engineering y Yahoo. La empresa dijo que cada resultado demandó en promedio unas tres horas de cómputo y que verificó muchas de las pruebas con Lean, un lenguaje que valida la lógica subyacente.

La publicación abrió un debate en el mundo académico sobre el valor de las publicaciones científicas, las tesis doctorales y el futuro de los posdoctorados. La discusión central es si la IA genera ideas matemáticas originales o si completa demostraciones construidas sobre el trabajo de investigadores humanos.

Parte de la crítica apunta a la verificación. Los 377 resultados provienen de modelos que la comunidad matemática no puede usar, de modo que nadie fuera de OpenAI puede repetir el camino que llevó a cada demostración, señalaron los especialistas citados.

El episodio se suma a anuncios previos de la compañía, que ya había dicho haber resuelto una conjetura de Erdős de más de 80 años. Para muchos matemáticos, el problema no es solo quién resuelve, sino quién puede entender, controlar y dar crédito a lo resuelto.