Dit begint te gebeuren. AI-tools zoals Aristotle, die formele verificatie via @leanprover integreren, zullen de drempel om wiskundige te worden dramatisch verlagen. Hierdoor zullen we een enorme toename zien in het aantal wiskundigen en de totale hoeveelheid gegenereerde wiskundige inhoud.