El artículo «Mathematics in the library of Babel» explora el rápido progreso de la IA en el campo de las matemáticas. Inicialmente escéptico, el autor relata cómo los LLMs, han superado sus expectativas, demostrando capacidad para resolver problemas complejos y ofrecer pruebas de teoremas.

El texto analiza el proyecto "First Proof", una iniciativa que evalúa la utilidad de la IA en la investigación matemática. Los resultados, con la resolución exitosa de entre 6 y 8 problemas de 10, sugieren que la IA puede ser una herramienta valiosa para los matemáticos, aunque aún con margen de error.

El autor reflexiona sobre el futuro de la investigación matemática en un mundo donde la IA puede generar resultados de alta calidad de forma autónoma. Anticipa que la IA se convertirá en un colaborador esencial, pero que el papel del matemático humano seguirá siendo crucial para la creatividad, la validación y la exploración de nuevas fronteras del conocimiento.