To zaczyna się dziać. Narzędzia AI, takie jak Aristotle, które wprowadzają formalną weryfikację za pomocą @leanprover, znacznie obniżą barierę wejścia do zostania matematykiem. W ten sposób zobaczymy ogromny wzrost liczby matematyków oraz całkowitej ilości generowanej treści matematycznej.