Dette begynner å skje. AI-verktøy som Aristoteles, som integrerer formell verifisering via @leanprover, vil dramatisk senke terskelen for å bli matematiker. Ved å gjøre dette vil vi se en enorm økning i antall matematikere og den totale mengden matematisk innhold som genereres.