Unterstützung bei der Problemlösung und Schritt-für-Schritt-Steuerung

Gewinne:

• Fähigkeit, künstliche Intelligenz bei der Problemlösung in drei verschiedenen Rollen als Strategieberater, Lösungsproduzent und Lösungsprüfer einzusetzen, je nach Risikoniveau.
• Fähigkeit, jeden Schritt einer Lösung durch Nummerierung, Regelabfrage, arithmetische Prüfung, Prüfsummen und Auflistung aller Fälle systematisch zu überprüfen.
• Sowohl das Ergebnis als auch die Lösung mit unabhängigen Methoden überprüfen zu können und zu verstehen, dass das richtige Ergebnis nicht den richtigen Weg bedeutet.

Die Lösung eines mathematischen Problems ist eine Kette miteinander verbundener Schritte; Wenn ein Glied in der Kette unterbrochen ist, ist das Ergebnis ungültig. KI ist sehr gut darin, diese Kette schnell aufzubauen – aber es liegt an den Menschen, die Stärke der Kette zu überwachen. In dieser Einheit erfahren Sie, wie Sie KI als Problemlösungspartner nutzen und, was noch wichtiger ist, jeden produzierten Schritt systematisch steuern. Ziel ist es, die Geschwindigkeit der KI zu nutzen und dabei keine Fehler zu übersehen.

Zunächst eine Definition: Bei der schrittweisen Verifizierung wird nacheinander geprüft, ob jeder Zwischenschritt einer Lösung korrekt ist. In der Mathematik: „Ist das Ergebnis korrekt?“ Die Frage reicht nicht aus; „Ist jeder Zwischenschritt richtig?“ Die Frage ist wesentlich. Denn manchmal führen falsche Schritte zufällig zum richtigen Ergebnis (einer instabilen Lösung), manchmal verdirbt ein einziger Rechenfehler in einer richtigen Strategie das Ergebnis.

Drei verschiedene Rollen der KI bei der Problemlösung

Sie können KI auf drei verschiedene Arten zur Problemlösung einsetzen, und jede erfordert eine andere Validierung:

1. Strategieberater: „Wie löse ich dieses Problem?“ Hier schlägt KI eine Methode vor. Das Risiko ist gering, da Sie die Berechnungen selbst durchführen.
2. Lösungsgenerator: „Lösen Sie dieses Problem.“ Das Risiko ist hoch, da sowohl die Strategie als auch die Berechnung von der KI stammen; Jeder Schritt muss überwacht werden.
3. Lösungsprüfer: „Überprüfe meine Lösung.“ Es handelt sich um ein mittleres Risiko; KI kann Fehler finden, aber auch Fehler erfinden, die nicht existieren, oder den eigentlichen Fehler übersehen.

Der sicherste Ansatz besteht normalerweise darin, 1 und 3 zu kombinieren: Strategie von der KI erhalten, die Berechnung selbst oder mit SymPy durchführen und dann die KI überprüfen und gegenprüfen lassen.

Schritt für Schritt: So überprüfen Sie eine Lösung

1. Nummerieren Sie jeden Schritt. Wenn Sie die KI in nummerierten Schritten nach der Lösung fragen, können Sie dann sagen: „In Schritt 3 liegt ein Fehler vor.“

2. Bei jedem Schritt „Welche Regel?“ Herr. Lassen Sie die KI aufschreiben, welche algebraische Regel, welcher Satz oder welche Identität in jedem Durchgang verwendet wird. Ist der Name der Regel falsch, ist auch der Schritt fraglich.

3. Überprüfen Sie die Arithmetik separat. Auch wenn die algebraische Logik korrekt ist, kommt es häufig zu Zahlenfehlern. Überprüfen Sie jede Addition, Multiplikation und jeden Vorzeichenwechsel.

4. Probieren Sie Grenzen und Ausnahmen aus. Testen Sie das Ergebnis bei einfachen Werten wie x=0, x=1. Wenn die Formel bei diesen Werten unsinnig ist, liegt ein Fehler vor.

5. Fahren Sie rückwärts zurück. Überprüfen Sie das Ergebnis der Ableitung, indem Sie integrieren, die Wurzel der Gleichung ersetzen und die Faktorisierung zurückmultiplizieren.

6. Achten Sie auf die Konsistenz von Größe und Einheit. Wenn sich bei angewandten Aufgaben (z. B. beim Addieren von Metern und Sekunden) die Einheiten nicht addieren, ist die Formel falsch.

Tipp: „Verifizierung durch umgekehrte Operation“ ist das leistungsstärkste Verifizierungstool in der Mathematik und nahezu kostenlos. Wenn Sie die Wurzel einer Gleichung gefunden haben, ersetzen Sie sie. Wenn Sie ein Integral genommen haben, bilden Sie dessen Ableitung; Wenn Sie eine Faktorisierung durchgeführt haben, multiplizieren Sie zurück. Diese 30-Sekunden-Prüfung verhindert stundenlange Fehlrichtungen.

Die Leistungsfähigkeit der Bereitstellung liegt in ihrer Unabhängigkeit von der KI. Wenn Sie eine Wurzel ersetzen, führen Sie eine deterministische Prüfung durch, die völlig unabhängig davon ist, was die KI im Lösungsprozess tut: Entweder ist die Gleichung erfüllt oder nicht, es gibt kein Dazwischen. Deshalb ist die Verifizierung viel wertvoller, als dass die KI „sicher, richtig“ sagt; weil die KI bei der Validierung ihrer eigenen Lösung möglicherweise denselben Fehler wiederholt, die unabhängige Überprüfung jedoch außerhalb dieser Schleife liegt. Wenn Sie ein kritisches Ergebnis auf zwei verschiedene, unabhängige Arten liefern können (z. B. sowohl durch Substitution als auch durch SymPy), steigt Ihr Vertrauen exponentiell.

Eine Klassifizierung von Fehlern

Die folgende Tabelle fasst die Arten von Fehlern zusammen, die Sie am häufigsten in KI-Lösungen sehen, und wie Sie jeden einzelnen Fehler erkennen können.

Fehlertyp

Beispiel

Erfassungspfad

Vorzeichenfehler

Schreiben −(a−b) = −a−b

Manuelles Öffnen und Überprüfen meines Namens

Rechenfehler

7×8 = 54

Bestätigung mit Taschenrechner/SymPy

falsche Regel

Vergiss die Kettenregel

„Welche Regel?“ fragen

Feld-/Definitionsfehler

Holen Sie sich das Protokoll (negativ)

Überprüfung der Domäne

Übersprungener Status

Diskriminante < 0 wird ignoriert

Listen Sie alle Status auf

Erfundener Satz

nicht existierender Theoremname

Bestätigung der Quelle

drei Mini-Koffer

Fall 1 – Richtiges Ergebnis, falscher Weg. Ein Student stellte der KI eine Limit-Frage. Die KI stellte fest, dass das Ergebnis 3 war – was korrekt war –, verwendete jedoch im Zwischenschritt die L'Hôpital-Regel, wo sie nicht angewendet werden konnte (ohne die 0/0-Unsicherheit). Der Student fragt: „Welche Regel gilt und warum?“ Auf Nachfrage akzeptierte die KI den Fehler und erreichte wieder korrekt die 3. Das Ergebnis war dasselbe, aber der Weg war nicht fest; Die Fahrt wurde auch in der Prüfung gewertet.

Fall 2 – Ausgelassener Fall. Ein Ingenieur, |2x − 4| = 6 Absolutwertgleichung wurde von YZ gelöst. YZ löste nur 2x − 4 = 6 und ergab x = 5; Der Zustand 2x − 4 = −6 (x = −1) wurde übersprungen. Der Ingenieur fragt: „Wie viele Zustände gibt es in absoluten Werten?“ Als ich fragte, erschien die zweite Wurzel. Die Richtigkeit beider Wurzeln wurde durch Substitution bestätigt.

Fall 3 – Bei der Gegenprüfung wurden 3 Fehler festgestellt. Ein Lehrer ließ die KI einen 10-stufigen trigonometrischen Identitätsnachweis durchführen. Dann verglich er denselben Beweis Schritt für Schritt mit der Vereinfachungsfunktion von SymPy. Er stellte fest, dass die KI in 3 von 10 Schritten die Identität falsch anwendete. Gesamtprüfzeit 12 Minuten; Das gewonnene Vertrauen ist unbezahlbar.

Vier kopierbare Vorlagen

1) Nummerierte, regelbasierte Lösung:

Lösen Sie dieses Problem: [Problem]. Schreiben Sie die Lösung in NUMMERIERTEN Schritten auf. Geben Sie in jedem Schritt den Namen der Regel/des verwendeten Theorems in Klammern an. Überspringen Sie keinen Schritt, indem Sie „offensichtlich“ sagen; jeden Übergang anzeigen.

2) Erzwingen Sie nicht alle Zustände:

Lösen Sie dieses Problem: [Problem]. Listen Sie beim Lösen ALLE MÖGLICHEN Fälle auf (z. B. Absolutwert, quadratisch, Domänenbeschränkungen). Überspringen Sie keine Fälle; Wenn Sie es überspringen, begründen Sie, warum Sie es übersprungen haben.

3) Bereitstellung anfordern:

Sie haben gefunden: [Ergebnis]. Überprüfen Sie nun dieses Ergebnis durch die Umkehroperation: [Differenzieren / Ersetzen / Rückmultiplizieren]. Zeigen Sie das Ergebnis der Prüfsumme an und sagen Sie, ob es mit dem ursprünglichen Problem übereinstimmt.

4) Fehlerorientierte Steuerung:

Suchen Sie einfach nach Fehlern in der Lösung unten. Überprüfen Sie jeden Schritt der Reihe nach; Wenn Sie den ersten Fehler finden, schreiben Sie auf, welcher Schritt, welche Art von Fehler (Vorzeichen/Arithmetik/Regel) und welcher der richtige ist. Erstellen einer neuen Lösung.Lösung: [hier]

Schwache Eingabeaufforderung / Starke Eingabeaufforderung

Schwach: „Löse x² − 5x + 6 = 0.“

Ergebnis: „x = 2 und x = 3“ – mag wahr sein, aber Sie werden es nicht bemerken, wenn der eine oder andere Fall übersehen wird oder die Faktorisierung falsch ist.

Strong: „Lösen Sie die Gleichung x² − 5x + 6 = 0 sowohl durch Faktorisieren als auch durch die Diskriminanzformel. Zeigen Sie, dass die beiden Methoden die gleichen Wurzeln ergeben. Geben Sie dann jede Wurzel an, indem Sie sie in die Gleichung einsetzen.“

Ergebnis: Zwei unabhängige Methoden überprüfen sich gegenseitig und stellen so sicher, dass das Ergebnis korrekt ist. Wenn ein Fehler auftritt, kommt es zu einem Konflikt zwischen den beiden Methoden und Sie werden ihn sofort sehen.

Häufige Fehler

• Ich schaue mir nur das Ergebnis an. Das richtige Ergebnis bedeutet keinen festen Weg. Überprüfen Sie auch die Straße.
• Bereitstellung überspringen. Eine 30-sekündige Prüfung auf Ersatz/Rückableitung fängt die meisten Fehler auf; Vernachlässige es nicht.
• Situationen werden nicht aufgelistet. Auslassungen bei Absolutwert-, Quadrat-, Wurzel- und Domänenbeschränkungen sind die häufigsten Fehler.
• Der KI vertrauen, dass sie „keine Fehler“ sagt. KI in der Rolle des Prüfers übersieht möglicherweise den wahren Fehler; Das menschliche Auge ist bei kritischer Arbeit unerlässlich.
• Mit einer Methode zufrieden sein. Wenn möglich, lösen und vergleichen Sie die Aufgabe mit zwei unabhängigen Methoden.

Achtung: Wenn Sie Ihre Lösung von der KI überprüfen lassen, kann es manchmal vorkommen, dass ein nicht vorhandener „Fehler“ entsteht und Sie von Ihrer richtigen Lösung abbringen. Wenn die KI also einen Fehler anzeigt, prüft man auch, ob dieser Fehler wirklich ein Fehler ist. Auch der Prüfer kann sich irren.

Zusammenfassend

Bei der Problemlösung spielt KI drei Rollen: Strategieberater, Lösungsgenerator, Lösungsprüfer. Der sicherste Ansatz besteht darin, die Strategie von der KI zu übernehmen, die Berechnungen mit unabhängigen Tools durchzuführen und jeden Schritt systematisch zu prüfen. Nummerierte Schritte, „Welche Regel?“ Frage, Prüfsumme (Umkehroperation), Grenzfälle und Auflistung aller Fälle sind die grundlegenden Werkzeuge zum Erkennen von Fehlern. Das richtige Ergebnis bedeutet nicht einen soliden Weg; Überprüfen Sie sowohl das Ergebnis als auch den Pfad.

Anwendungsaufgabe

Wählen Sie eine quadratische Gleichung oder eine Absolutwertgleichung. Lösen Sie YZ mit den Vorlagen 1 und 2. Dann: (a) überprüfen Sie, ob alle Fälle abgedeckt wurden, (b) stellen Sie jede Wurzel durch Ersetzen sicher, (c) lösen und vergleichen Sie erneut mit einer zweiten Methode, wenn möglich. Wenn Sie einen Fehler finden, notieren Sie, um welchen Typ es sich handelt (Vorzeichen/Arithmetik/Regel/übersprungene Bedingung).

Checkliste

• [ ] Ich habe die Lösung in nummerierten Schritten erarbeitet.
• [ ] Ich habe die in jedem Schritt verwendete Regel bestätigt.
• [ ] Ich habe überprüft, dass alle Eventualverbindlichkeiten berücksichtigt wurden.
• [ ] Ich habe das Ergebnis durch Umkehroperation (Überprüfung) überprüft.
• [ ] Wenn möglich, habe ich es mit einer zweiten Methode verglichen.
• [ ] Ich habe auch die von der KI angezeigten „Fehler“ unabhängig überprüft.