Asta începe să se întâmple. Instrumente AI precum Aristotle, care integrează verificarea formală prin @leanprover, vor reduce dramatic bariera de intrare pentru a deveni matematician. Astfel, vom vedea o creștere uriașă a numărului de matematicieni și a cantității totale de conținut matematic generat.