Det här börjar hända. AI-verktyg som Aristoteles, som integrerar formell verifiering via @leanprover, kommer dramatiskt att sänka tröskeln för att bli matematiker. Genom att göra detta kommer vi att se en enorm ökning av antalet matematiker och den totala mängden matematiskt innehåll som genereras.