Tohle se začíná dít. Nástroje AI jako Aristoteles, který zakotvuje formální ověřování prostřednictvím @leanprover, výrazně sníží vstupní bariéru pro cestu k matematice. Tímto způsobem uvidíme obrovský nárůst počtu matematiků a celkového množství generovaného matematického obsahu.