Esto está empezando a pasar. Herramientas de IA como Aristóteles, que incorpora la verificación formal mediante @leanprover, reducirán drásticamente la barrera de entrada para convertirse en matemático. Al hacerlo, veremos un enorme aumento en el número de matemáticos y en la cantidad total de contenido matemático generado.