El campo de las matemáticas está experimentando actualmente un cambio que algunos observadores describen como el paso de una era de "escasez de pruebas" a una de "abundancia de pruebas". Durante siglos, producir una prueba matemática requirió una gran experiencia personal, trabajo manual y una revisión profunda de la literatura, un proceso a menudo asociado con la "era heroica" de investigadores solitarios trabajando en pizarras. Sin embargo, la llegada de máquinas capaces de generar pruebas complejas a gran escala está desafiando estas normas tradicionales. Matemáticos como Terence Tao han señalado que, si bien esto refleja las revoluciones industriales históricas en otros campos, presenta desafíos emocionales y estructurales únicos para una disciplina que durante mucho tiempo ha mantenido tradiciones idiosincrásicas.
Este salto tecnológico ha provocado tanto ansiedad práctica como preocupación filosófica dentro de la comunidad académica. Algunos investigadores informan sentimientos de pánico con respecto al futuro de los estudiantes de doctorado y la posible pérdida de financiación si los humanos no pueden demostrar un "valor añadido" claro sobre los sistemas automatizados. También existe una dimensión espiritual en el debate: los críticos argumentan que la experiencia del descubrimiento —la "magia y el misterio" de encontrar una verdad novedosa— está siendo reemplazada por una producción mecánica similar a pedir un servicio de entrega. El temor es que la producción científica pueda aumentar espectacularmente a corto plazo, pero podría conducir a una "era oscura" donde la actividad humana independiente se debilite y el nuevo conocimiento se concentre en manos incapaces de comprender plenamente lo que producen.
En respuesta a estas tensiones, algunos proponen un marco de responsabilidad y adaptación. Esto incluye mantener sistemas educativos que prioricen los métodos tradicionales primero antes de introducir herramientas automatizadas, de forma muy parecida a enseñar aritmética a mano antes de usar calculadoras. Otros ven una transición inevitable hacia estructuras de equipos a gran escala similares a las de las ciencias físicas. Si bien existe un duelo genuino por el cierre de la era de los exploradores solitarios, los defensores sugieren que el campo está pasando a ser una infraestructura fundamental para todo el progreso tecnológico. El objetivo es navegar este cambio con cuidado, asegurando que la integración de la IA empodere a una nueva generación de científicos mientras se preserva una empresa intelectualmente independiente.