Cela commence à se produire. Les outils d'IA comme Aristotle, qui intègrent la vérification formelle via @leanprover, abaisseront considérablement la barrière à l'entrée pour devenir mathématicien. Ce faisant, nous verrons une énorme augmentation du nombre de mathématiciens et de la quantité totale de contenu mathématique généré.