Isso está começando a acontecer. Ferramentas de IA como Aristóteles, que incorpora a verificação formal via @leanprover, vã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.