Mathematikstudium: Mit KI Beweislücken diskutieren

Das Problem

Ein KI-Beweis kann sauber gegliedert sein und trotzdem durch null teilen oder eine Voraussetzung unterschlagen. Frau Keller möchte solche Versuche im Mathematikseminar nutzen, damit Studierende genauer argumentieren. Ohne klaren Prüfauftrag droht jedoch, dass sie die elegante Darstellung mit mathematischer Gültigkeit verwechseln.

Ein Beweis zeigt, dass eine Aussage unter benannten Voraussetzungen logisch folgt. Einzelne passende Zahlenbeispiele reichen dafür im Allgemeinen nicht. Ein Gegenbeispiel kann dagegen eine allgemeine Behauptung widerlegen, sofern es tatsächlich deren Voraussetzungen erfüllt.

Die Lernaufgabe besteht deshalb nicht darin, die KI um eine «bessere Lösung» zu bitten. Studierende sollen die Beweislast für jeden Schritt selbst übernehmen. Die KI liefert dafür Prüfmaterial, das Sie als Lehrperson vorab fachlich einordnen.

So lösen Sie es mit KI – Schritt für Schritt

1. Wählen Sie eine begrenzte Aussage. Öffnen Sie Ihr Skript und übernehmen Sie Satz, Definitionsbereich und Voraussetzungen genau. Der Definitionsbereich legt fest, welche Objekte betrachtet werden, etwa reelle Zahlen. Prüfen Sie, ob die Aufgabe zu den bereits eingeführten Begriffen und Beweismethoden passt.

1. Sichern Sie eine geprüfte Referenz. Halten Sie einen korrekten Beweis oder eine verlässliche fachliche Einordnung getrennt bereit. Bei einer falschen Aussage benötigen Sie ein geeignetes Gegenbeispiel. Studierende bekommen die Referenz zunächst nicht, damit sie selbst prüfen können.

1. Lassen Sie einen Beweisversuch erzeugen. Geben Sie der KI die Aussage und verlangen Sie nummerierte Schritte mit ausdrücklich genannten Voraussetzungen. Veröffentlichen Sie die Ausgabe nur als ungeprüften Versuch. Eine erneute Bestätigung durch die KI macht daraus keinen geprüften Beweis.

1. Ordnen Sie die Begründungen zu. Lassen Sie Studierende zu jedem Übergang eine Definition, einen bereits bewiesenen Satz oder eine zulässige Umformung nennen. Wenn der Grund fehlt, markieren sie zunächst eine offene Stelle. Eine Lücke bedeutet nicht automatisch, dass die Aussage falsch ist.

1. Prüfen Sie kritische Voraussetzungen. Untersuchen Sie beispielsweise Nenner, Vorzeichen, Quantoren und Randfälle. Quantoren sind Angaben wie «für alle» oder «es gibt». Besonders aufmerksam prüfen Sie, ob ein verwendeter Satz stärkere Bedingungen verlangt als die Aufgabe vorgibt.

1. Entwickeln Sie eine Reparatur oder Widerlegung. Bei einer schliessbaren Lücke ergänzen Studierende die fehlende Begründung. Bei einem unzulässigen Schritt prüfen sie, ob sich der Beweis anders führen lässt. Ist die Aussage falsch, formulieren sie ein Gegenbeispiel und zeigen ausdrücklich, welche Behauptung daran scheitert.

1. Lassen Sie unabhängig neu argumentieren. Schliessen Sie die KI-Ausgabe und geben Sie eine verwandte Aufgabe mit veränderten Voraussetzungen. Lassen Sie den entscheidenden Schritt eigenständig erklären. Damit prüfen Sie, ob die Fehleranalyse zu einem übertragbaren Verständnis geführt hat.

Vorlage zum Kopieren

Bereite für mich als Lehrperson eine Aufgabe zur Beweisprüfung vor.
Studienphase und bekannte Begriffe: [Angaben]
Zu untersuchende Aussage: [vollständiger Satz]
Definitionsbereich und Voraussetzungen: [Angaben]
Erlaubte Sätze und Methoden: [Liste]

Erzeuge einen klar als ungeprüft bezeichneten Beweisversuch.
Nummeriere die Schritte und nenne jeweils die beanspruchte Begründung.
Kennzeichne Unsicherheit, statt fehlende Begründungen zu überspielen.
Entwirf anschliessend Prüfaufträge zu Voraussetzungen und Randfällen.
Gib keine pauschale Garantie für die Gültigkeit.
Die endgültige fachliche Prüfung erfolgt durch mich.

Setzen Sie vollständige Voraussetzungen ein und kontrollieren Sie den Versuch selbst, bevor Studierende ihn erhalten.

Worauf Sie achten müssen

• Verwenden Sie nur das von Ihrer Hochschule freigegebene Werkzeug und dafür geeignete Materialien. Geben Sie keine Personendaten von Studierenden in öffentliche KI-Dienste ein; für Übungen reichen erfundene Beispiele ohne Bezug zu einzelnen Personen.
• Prüfen Sie Fachbehauptungen am Originalmaterial. Eine flüssige Antwort kann falsche Zusammenhänge oder erfundene Belege enthalten; die erneute Nachfrage bei derselben KI ersetzt keine unabhängige Kontrolle.
• Verwenden Sie absichtlich fehlerhafte Versuche nur mit klarer Kennzeichnung und anschliessender Auflösung. Unterschiedliche mathematische Vorkenntnisse erfordern passende Hilfen; sprachliche Eleganz darf bei der Besprechung keine fehlende Begründung verdecken.
• Klären Sie Zugänglichkeit und erlaubte Hilfsmittel vor dem Einsatz. Bieten Sie eine gleichwertige Arbeitsmöglichkeit ohne privates Bezahlkonto an und berücksichtigen Sie unterschiedliche sprachliche sowie fachliche Voraussetzungen.
• Beachten Sie die Regeln Ihrer Schweizer Hochschule und die jeweils zuständigen kantonalen Vorgaben. Fragen zu Datenschutz oder Nutzungsrechten lassen Sie im Einzelfall durch die zuständige Fachstelle prüfen.

Ein Beispiel aus der Praxis

Ein fiktives Beispiel: Frau Keller gibt in einem Mathematikpraktikum einen fehlerhaften Versuch aus. Er startet mit a = b und formt a² − b² = b(a − b) zu (a − b)(a + b) = b(a − b) um. Danach wird durch a − b geteilt und a + b = b behauptet.

Studierende markieren die Division: Wegen a = b ist a − b gleich null. Die vorherigen Umformungen tragen, dieser Übergang jedoch nicht. Frau Keller lässt anschliessend erklären, weshalb die ursprüngliche Gleichung dadurch weder widersprüchlich noch widerlegt ist; der Fehler liegt im unzulässigen Schluss.

Vertiefen können Sie das Vorgehen mit Sokratischer KI-Dialog: Studierende durch Rückfragen aktivieren und Verstehe ich den Stoff wirklich? KI-Antworten verdeckt prüfen.

So hilft Ihnen Alpasana

Im Online-Kurs Prompt Engineering von Alpasana üben Sie, Aufgabe, Kontext, Ziel und Ausgabeformat einer KI-Anweisung festzulegen. Sie bearbeiten komplexe Aufgaben schrittweise, überarbeiten Ihre Anweisungen und kontrollieren die Ergebnisse. Dafür brauchen Sie keine Programmierkenntnisse.

Frau Keller kann diese Arbeitsweise auf ihre Lehrvorbereitung übertragen und ein geprüftes Set wiederverwendbarer Anweisungen aufbauen. Die fachliche und didaktische Freigabe bleibt bei ihr und ihrer Hochschule; der Kurs vermittelt die Arbeit mit KI-Aufträgen. Nehmen Sie zum Üben eine eigene, freigegebene Beispielaufgabe mit und halten Sie fest, woran Sie eine brauchbare Antwort erkennen.

Häufige Fragen

Kann ein richtiges Ergebnis aus einem falschen Beweis entstehen?

Ja, eine wahre Aussage kann unzulässig begründet sein. Trennen Sie deshalb die Wahrheit der Aussage von der Gültigkeit des vorliegenden Beweises. Eine Reparatur muss den fehlerhaften Schluss ersetzen und darf ihn nicht einfach übergehen.

Reichen Computerprüfungen als Gegenkontrolle?

Berechnungen können Vermutungen und Gegenbeispiele liefern. Sie ersetzen ohne weitere Begründung keinen allgemeinen Beweis über einen unbegrenzten Bereich. Klären Sie, welche Art von Nachweis die konkrete Aufgabe verlangt.

Was mache ich bei einer Lücke, die ich nicht schliessen kann?

Markieren Sie den offenen Schritt präzise und prüfen Sie Skript oder Fachliteratur. Holen Sie bei Bedarf fachliche Unterstützung. Es ist didaktisch ehrlicher, die Unsicherheit sichtbar zu lassen, als eine plausibel klingende KI-Ergänzung zu übernehmen.