Ich bin fest davon überzeugt, dass wir an einem Wendepunkt in der Geschichte der Mathematik stehen. In den kommenden Jahren wird die Nutzung von LLMs für die mathematische Forschung zum Mainstream werden, ebenso wie die Lean-Formalisation, die durch LLMs erleichtert wird. (1/4)