Esto está empezando a suceder. Las herramientas de IA como Aristotle, que incorporan verificación formal a través de @leanprover, reducirán drásticamente la barrera de entrada para convertirse en matemático. Al hacerlo, veremos un gran aumento en el número de matemáticos y en la cantidad total de contenido matemático generado.