Questo sta iniziando a succedere. Strumenti di AI come Aristotle, che integrano la verifica formale tramite @leanprover, abbatteranno drasticamente la barriera all'ingresso per diventare matematici. Facendo ciò, vedremo un enorme aumento nel numero di matematici e nella quantità totale di contenuti matematici generati.