El renombrado matemático Terence Tao ha destacado un cambio en las matemáticas, pasando de una era de "escasez de pruebas" a un "exceso de pruebas" debido a los avances en la inteligencia artificial. Los grandes modelos de lenguaje (LLMs) están generando pruebas rápidamente, mientras que herramientas como Lean automatizan la verificación. Sin embargo, la capacidad humana para comprender estas pruebas se queda rezagada, creando una "desconexión". Tao utilizó el problema de Erdős como ejemplo, donde un estudiante generó una prueba usando ChatGPT en 80 minutos, pero a Tao le tomó 24 horas verificarla y entenderla, revelando nuevas conexiones en el proceso. Tao predice que los sistemas de evaluación académica necesitarán una reestructuración, ya que entender, en lugar de generar pruebas, se convertirá en el recurso escaso. Él enfatiza que el futuro de las matemáticas se centrará en la capacidad de elegir los problemas correctos, verificar y digerir los resultados, en lugar de simplemente producir pruebas. Se espera que este cambio impacte otras disciplinas basadas en pruebas, como la física teórica y la criptografía, a medida que la IA continúa transformando el panorama de la investigación matemática.