La inteligencia artificial “no es una tecnología más”, afirma Terence Tao, matemático ganador de la medalla Fields. “Nos obliga a replantearnos cuestiones fundamentales: ¿qué es una demostración matemática? ¿Qué es un artículo científico? ¿Cuál es el propósito de nuestra profesión?”. Dado que las matemáticas son generalmente inmunes al mayor defecto de la IA —los errores no verificables—, este campo se encuentra en una posición privilegiada para servir de banco de pruebas para la tecnología, explica Tao.
Tao señala el problema n.º 1196 de Erdős como un ejemplo de éxito sin tablas : fue resuelto por Liam Price, un joven de 23 años sin formación matemática avanzada, quien encontró la solución con una sola indicación a ChatGPT Pro. “A diferencia de la mayoría de los demás problemas de Erdős resueltos por IA hasta ahora, este fue estudiado intensamente por varios matemáticos, pero al final resultó tener una demostración bastante breve que todos los humanos pasaron por alto”, concluye Tao.