Tämä alkaa tapahtua. Tekoälytyökalut kuten Aristoteles, joka leipuu muodollisen varmennuksen @leanprover kautta, laskevat merkittävästi kynnystä matemaatikoksi ryhtymiselle. Näin näemme valtavan kasvun matemaatikkojen määrässä ja matemaattisen sisällön kokonaismäärässä.