Isto está a começar a acontecer. Ferramentas de IA como o Aristotle, que incorpora verificação formal através do @leanprover, irão reduzir drasticamente a barreira de entrada para se tornar matemático. Ao fazer isso, veremos um enorme aumento no número de matemáticos e na quantidade total de conteúdo matemático gerado.