Was es bedeutet, Mathematiker zu sein, wenn KI die Mathematik übernimmt

Der Artikel reflektiert über das sich verändernde Wesen mathematischer Arbeit im Zeitalter der KI. Der Autor, ein ehemaliger Doktorand der angewandten Mathematik, erinnert sich an seine eigenen Kämpfe und versteht nun den Wert des langen Weges zum Verständnis, ein Gefühl, das von reinen Mathematikern geschätzt wird. Jüngste KI-Erfolge, wie Google DeepMinds Aletheia, das publizierbare Forschung hervorbringt, und OpenAIs System, das eine Vermutung in der kombinatorischen Geometrie widerlegt, deuten darauf hin, dass KI Aufgaben übernehmen kann, die zuvor als einzigartig menschlich galten. Beweisassistenten wie Isabelle, Lean und Rocq, kombiniert mit großen Sprachmodellen, automatisieren die Formalisierung. Beim Heidelberger Laureatenforum drehten sich Diskussionen um das Potenzial der KI, Mathematiker zu ersetzen, wobei einige wie Yang-Hui He die Vision von Menschen als "Priester der Orakel" haben, während andere, darunter der Fields-Medaillengewinner Akshay Venkatesh und Maia Fraser, den menschenzentrierten Wert des Verständnisses und die Schönheit kollektiver Intelligenz betonen. Terence Tao plädiert für kollaborative Ansätze, bei denen Mensch und KI zusammenarbeiten.