Chatten, Rechnen und Beweisen ‒ Einsatzszenarien von KI-Tools für mathematikhaltige Studiengänge

Führt ChatGPT zum Ende klassischer Hausarbeiten/Übungszettel/Hausaufgaben? War das jetzt schon disruptiv? Oder gar eine Zeitenwende für das Bildungssystem? Auf jeden Fall hat die Veröffentlichung von ChatGPT dazu geführt, dass Bereiche, die irgendwas mit „Text“ gemacht haben, sich nun (vermehrt) Gedanken über die Vermittlung von Fachwissen, Lehrinhalte, den Erwerb von (future) skills und Bildung an sich machen.

An der Mathematik ist diese Veröffentlichung aus zwei Gründen etwas vorbeigegangen: Erstens kennen wir dort die Diskussion um Werkzeugverbote spätestens seitdem Taschenrechner auf den Markt kamen. Und auch sonst sind seit Jahrhunderten daran gewöhnt, dass „Werkzeuge“ die Art und Weise verändern, wie Mathematik betrieben, aber auch gelehrt wird ‒ und wir integrieren nützliche Tools dementsprechend. Zweitens gibt es in Teilbereichen bereits spezifische und nützlichere Tools (etwa CAS, die syntaktisch arbeiten und damit verlässliche Resultate liefern), der Mehrwert von Tools wie ChatGPT wird also nicht direkt ersichtlich.

Wenngleich ChatGPT nur „Lesen und Schreiben“ kann und (noch) kein chattendes Computeralgebrasystem ist, sollten wir nicht die Gelegenheit einer fachspezifisch geführten Diskussion verpassen. Denn KI-Systeme können auf ganz vielfältige Weise beim Lehren & Lernen von Mathematik eingesetzt werden.

In dieser Mikrofortbildung betrachten wir zunächst Beispiele für unterschiedliche Einsatzszenarien: Vom fortgeschrittenen Rechnen über Begriffsbildung bis hin zur beweisenden Mathematik decken wir dabei Aspekte wissenschaftlicher Mathematik aus verschiedenen Studiengängen ab. Anschließend wollen wir gemeinsam ausloten, welche Konsequenzen sich daraus für die Zukunft des Mathematiklernens in der Hochschulbildung ergeben.