Das beginnt jetzt zu geschehen. AI-Tools wie Aristotle, die formale Verifikation über @leanprover integrieren, werden die Einstiegshürde, Mathematiker zu werden, drastisch senken. Dadurch werden wir einen enormen Anstieg der Anzahl von Mathematikern und der insgesamt erzeugten mathematischen Inhalte sehen.