Erstellung von Proof-Entwürfen und Proof-Verifizierung

Gewinne:

• Fähigkeit, künstliche Intelligenz zu nutzen, um die Idee und Methode des Beweises (direkt, Widerspruch, induktiv, kontrapositiv) zu finden und die Gültigkeit jedes logischen Schritts selbst zu überprüfen
• Fähigkeit, Beweislücken, implizite Annahmen und ungerechtfertigte Sprünge hinter Ausdrücken wie „eindeutig“, „ohne Beeinträchtigung der Allgemeingültigkeit“ zu erkennen.
• Fähigkeit, zwischen Geläufigkeit und Gültigkeit zu unterscheiden, indem man nach Gegenbeispielen sucht, bevor man sich auf Beweise verlässt, ohne sicher zu sein, dass eine Behauptung wahr ist.

Mathematischer Beweis ist die präzise Ableitung einer Behauptung in logischen Schritten aus akzeptierten Axiomen und zuvor bewiesenen Theoremen. Der Beweis ist das strengste Produkt der Mathematik: Ein einzelner ungültiger logischer Übergang, eine Auslassung oder implizite Annahme, die wir eine „Lücke“ nennen, widerlegt den gesamten Beweis. Künstliche Intelligenz ist sehr geschickt darin, überzeugend aussehende Texte zu Beweiszwecken zu erstellen – und genau deshalb ist sie gefährlich. Ein Text, der überzeugend erscheint, ist kein gültiger Beweis. In dieser Einheit erfahren Sie, wie Sie KI als Proof-Drafting-Partner einsetzen und jeden logischen Schritt überprüfen.

Die ersten beiden Definitionen. Eine Beweisskizze ist eine Zusammenfassung, die die Hauptidee und das Grundgerüst eines Beweises wiedergibt, aber nicht jedes Detail ausfüllt. Eine Beweislücke ist ein Sprung, bei dem der Beweis sagt: „Hier folgt er“, ihn aber nicht wirklich rechtfertigt. Das größte Risiko bei der Arbeit mit KI sind die Lücken, die durch überzeugende Sätze abgedeckt werden: Der Text ist fließend, voller Konjunktionen wie „deshalb“ und „offensichtlich“, aber mit Sprüngen dazwischen, die nicht wirklich bewiesen sind.

Stärken und Schwächen der KI im Beweis

KI leistet beim Beweisen zwei gute Dienste: (1) die Standardidee des Beweises eines bekannten Theorems hervorzurufen, (2) vorzuschlagen, welche Methode (Induktion, Widerspruch, direkt, kontrapositiv) für einen Beweis geeignet sein könnte. Seine Schwäche besteht darin, sicherzustellen, dass jeder Schritt eines ursprünglichen oder subtilen Beweises tatsächlich gültig ist. KI kann „falsche Beweise“ liefern, die wahr erscheinen, in Wirklichkeit aber falsch sind – sie kann beispielsweise in einem Induktionsschritt den Basisfall überspringen oder sagen „ohne die Allgemeingültigkeit zu verletzen“, aber eine Annahme treffen, die tatsächlich die Allgemeingültigkeit verletzt.

Also die goldene Regel beim Beweis: Verwenden Sie KI, um die Idee des Beweises zu finden und zu skizzieren; Überprüfen Sie selbst die Gültigkeit jedes logischen Schritts. Bevor Sie einen Beweis „akzeptieren“, stellen Sie sicher, dass jedes „daher“ tatsächlich gültig ist.

Schritt für Schritt: einen Beweis prüfen

1. Klären Sie den Anspruch und die Annahmen. Was wird bewiesen? Unter welchen Annahmen? Wenn diese vage sind, ist auch der Beweis vage.

2. Kennen Sie die Beweismethode. Direkt, durch Widerspruch, induktiv, kontrapositiv? Kennen Sie die strukturellen Anforderungen der Methode (z. B. sind bei der Induktion Basisfall + Induktionsschritt unerlässlich).

3. Stellen Sie jedes „Deshalb“ in Frage. „Folgt dies bei jedem logischen Übergang wirklich aus den vorherigen Schritten?“ fragen. Die heimtückischsten Lücken verbergen sich hinter den Ausdrücken „offensichtlich“, „es ist leicht zu erkennen“, „ohne die Allgemeingültigkeit zu verlieren“.

4. Suchen Sie nach impliziten Annahmen. Beruht der Beweis auf einer unausgesprochenen Annahme? Beispielsweise kann stillschweigend akzeptiert werden, dass eine Zahl positiv oder eine Funktion stetig ist.

5. Versuchen Sie es mit einem Gegenbeispiel. Wenn die Behauptung falsch ist, wird sie durch ein Gegenbeispiel zunichte gemacht. Bevor Sie den Beweis akzeptieren, prüfen Sie, ob die Behauptung in einfachen Sonderfällen tatsächlich wahr ist.

6. Konsultieren Sie eine Beschaffungsbehörde. Vergleichen Sie den Standardbeweis für bekannte Theoreme mit einer zuverlässigen Quelle (Lehrbuch, begutachtete Quelle).

Hinweis: Die Formulierung „ohne Einschränkung der Allgemeingültigkeit“ im Beweis ist ein zweischneidiges Schwert. Manchmal ist es tatsächlich gültig (sofern Symmetrie vorliegt), manchmal handelt es sich um einen versteckten Fehler. KI verwendet diesen Ausdruck häufig. Begründen Sie sich jedes Mal damit, dass „die Allgemeingültigkeit nicht wirklich gebrochen ist“; Glauben Sie nicht dem Wort der KI.

Beweismethoden und Fallstricke

Beweismethode

Struktur

Die häufigste KI-Falle

direkt

Annahme → ... → Fazit

einen Schritt dazwischen überspringen

Widerspruch

Nehmen Sie das Gegenteil an → Finden Sie einen Widerspruch

Der Widerspruch ist nicht real

Induktion

Basisfall + Schritt

Die Grundsituation vergessen

kontrapositiv

¬Schlussfolgerung → ¬Annahme

falsche Verneinung

Gegenbeispiel (Widerlegung)

einzelnes Gegenbeispiel

Gegenbeispiel ist ungültig

drei Mini-Koffer

Fall 1 – Unvollständiger Basisfall. Ein Lehrer ließ die KI die Formel „1 + 2 + ... + n = n(n+1)/2“ per Induktion beweisen. Die KI hat den Induktionsschritt korrekt geschrieben, aber den Basisfall (n=1) nie überprüft. Der Lehrer fragt: „Wo ist der Basisfall?“ er fragte; KI hinzugefügt. Ohne den Grundzustand ist die Induktion ungültig; Eine 30-Sekunden-Kontrolle rettete den Beweis.

Fall 2 – Geheime Division durch Null. Ein Student sah einen lächerlichen „Beweis“ wie „a = b für jedes a, b“ und fragte die KI: „Wo ist hier der Fehler?“ fragte er. YZ hat korrekt gezeigt, dass der Beweis in einem Schritt durch (a − b) dividiert, und unter der Annahme a = b ist dies eine Division durch Null. Hier war die KI als Auditor erfolgreich; aber der Student überprüfte diesen Schritt dennoch mit seiner eigenen Hand.

Fall 3 – Überzeugende falsche Beweise. Ein Ingenieurstudent ließ eine KI eine Ungleichheit beweisen. Der Text war flüssig und überzeugend, aber als er in einem Schritt Quadratwurzeln zog, ignorierte er die Möglichkeit sowohl positiver als auch negativer Wurzeln und zog nur das Positive. Diese Lücke entdeckte der Student, als er jeden Schritt hinterfragte. Der Beweis wurde gültig, als eine zusätzliche Bedingung (Positivität der Variablen) hinzugefügt wurde.

Vier kopierbare Vorlagen

1) Einen Probeentwurf (Idee) anfordern:

Welche METHODE wäre geeignet, um die folgende Behauptung zu beweisen (direkt, Widerspruch, induktiv, kontrapositiv)? Geben Sie einfach die HAUPTIDEE und das Grundgerüst des Beweises an, schreiben Sie nicht den vollständigen Beweis. Behauptung: [hier]

2) Schritt für Schritt, begründeter Beweis:

Beweisen Sie die folgende Behauptung mit [Methode]: [Behauptung]. Schreiben Sie auf, auf welches Axiom/Theorem/welche Definition Sie sich bei jedem Schritt verlassen. Verwenden Sie KEINE Ausdrücke wie „eindeutig“ oder „leicht“; Begründen Sie jeden Übergang vollständig. Bei Induktion zeigen Sie den Basisfall und den Induktionsschritt getrennt an.

3) Suche nach Beweislücken:

Schauen Sie sich den Beweis unten an. Suchen Sie EINFACH nach logischen Lücken, impliziten Annahmen und ungerechtfertigten Sprüngen. Prüfen Sie, ob sich jedes „daher“ tatsächlich aus den vorherigen Schritten ergibt. Notieren Sie jede Lücke, die Sie finden, und geben Sie an, in welchem Schritt sie sich befindet. Beweis: [hier]

4) Suche nach Gegenbeispiel:

Ich möchte testen, ob die folgende Behauptung WAHR ist: [Behauptung]. Testen Sie sie zunächst in einfachen Sonderfällen. Versuchen Sie, ein GEGENBEISPIEL zu finden. Wenn Sie ein Gegenbeispiel finden, zeigen Sie es; Wenn Sie es nicht finden können, listen Sie die Situationen auf, die Sie ausprobiert haben (dies ist jedoch kein Beweis, sondern nur die Suche nach Beweisen).

Schwache Eingabeaufforderung / Starke Eingabeaufforderung

Schwach: „Beweisen Sie, dass √2 irrational ist.“

Ergebnis: Der Standardbeweis kommt, aber ein Schritt (z. B. „dann ist p gerade“) wurde möglicherweise ohne Begründung übersprungen, und Sie werden es nicht bemerken.

Strong: „Beweisen Sie DURCH WIDERSPRUCH, dass √2 irrational ist. Schreiben Sie auf, welche Annahme Sie bei jedem Schritt verwendet haben; begründen Sie auch Zwischenaussagen wie „Wenn p² gerade ist, dann ist p gerade“. Zeigen Sie abschließend deutlich, wo genau der Widerspruch entsteht.“

Ergebnis: Jede Zwischenbehauptung ist berechtigt, die Quelle des Widerspruchs ist klar, es bleiben keine Lücken.

Häufige Fehler

• Verwechslung von Geläufigkeit mit Gültigkeit. Ein überzeugender Text ist kein gültiger Beweis; Jeder Schritt muss überwacht werden.
• Überspringen des Grundzustands bei der Induktion. KI vergisst oft den Basisfall; Der Induktionsschritt allein reicht nicht aus.
• „Ohne die Allgemeingültigkeit zu verlieren“ ohne Frage zu akzeptieren. Diese Aussage könnte ein latenter Fehler sein; Begründen Sie es jedes Mal.
• Implizite Annahmen werden nicht erkannt. Annahmen wie Positivität, Kontinuität, ungleich Null usw. können stillschweigend in den Beweis einfließen.
• Dem Beweis vertrauen, ohne ein Gegenbeispiel auszuprobieren. Wenn die Behauptung falsch ist, ist auch der Beweis falsch; Prüfen Sie zunächst in einfachen Fällen den Wahrheitsgehalt der Behauptung.

Achtung: KI kann selbst für eine Behauptung „Beweise“ liefern, die tatsächlich falsch sind – da sie Text produziert, garantiert sie keine logische Gültigkeit. Wenn Sie sich über die Richtigkeit einer Behauptung nicht sicher sind, suchen Sie zunächst nach einem Gegenbeispiel. Der „Beweis“ einer falschen Behauptung enthält notwendigerweise eine Lücke; Ihre Aufgabe ist es, diese Lücke zu finden.

Zusammenfassend

Beweise sind das strengste Produkt der Mathematik, und KI kann überzeugende, aber ungültige „Beweise“ liefern. Verwenden Sie KI, um die Beweisidee und -methode zu finden. Überprüfen Sie selbst die Gültigkeit jedes logischen Schritts. Suchen Sie nach Schlüsselfällen, impliziten Annahmen und Lücken hinter Formulierungen wie „eindeutig“ und „ohne Vorurteile“. Wenn Sie sich über den Wahrheitsgehalt einer Behauptung nicht sicher sind, versuchen Sie es mit einem Gegenbeispiel, bevor Sie dem Beweis vertrauen. Geläufigkeit bedeutet nicht Gültigkeit.

Anwendungsaufgabe

Wählen Sie einen Standardsatz (z. B. „Die Summe zweier gerader Zahlen ist gerade“ oder „√2 ist irrational“). Lassen Sie es von der KI Schritt für Schritt mit der 2. Vorlage beweisen. Geben Sie dann für die Lückensuche noch einmal den gleichen Beweis wie in der 3. Vorlage vor – lassen Sie ihn seinen eigenen Beweis überprüfen. Fragen Sie dann jedes „daher“ manuell ab: Gibt es einen Basisfall, gibt es eine implizite Annahme, ist jeder Übergang gerechtfertigt? Finden und notieren Sie mindestens eine potenzielle Lücke oder einen Verbesserungspunkt.

Checkliste

• [ ] Ich habe den Anspruch und die Annahmen klargestellt.
• [ ] Ich habe die Beweismethode und ihre strukturellen Anforderungen kennengelernt.
• [ ] Ich habe überprüft, dass sich jedes „daher“ aus den vorherigen Schritten ergibt.
• [ ] Ich habe eine Basisfall-/implizite Annahmeprüfung durchgeführt.
• [ ] Ich habe die Behauptung in einfachen Fällen getestet und nach Gegenbeispielen gesucht.
• [ ] Ich habe den Standardbeweis für bekannte Theoreme mit der zuverlässigen Quelle verglichen.