Winst:
- Vermogen om kunstmatige intelligentie te gebruiken bij het oplossen van problemen in drie verschillende rollen als strategieconsulent, oplossingsproducent en oplossingsauditor, passend bij het risiconiveau van elk.
- Mogelijkheid om systematisch elke stap van een oplossing te controleren door nummering, opvragen van regels, rekenkundige controle, controlesommen en het opsommen van alle gevallen.
- Zowel het resultaat als de oplossing kunnen verifiëren met onafhankelijke methoden, in het besef dat het juiste resultaat niet het juiste pad betekent.
De oplossing voor een wiskundig probleem is een keten van onderling verbonden stappen; Als een schakel in de keten wordt verbroken, is het resultaat ongeldig. AI is erg goed in het snel opbouwen van deze keten, maar het is aan mensen om de kracht van de keten te monitoren. In deze unit leer je hoe je AI kunt gebruiken als probleemoplossende partner en, nog belangrijker, hoe je elke stap systematisch kunt controleren. Het doel is om te profiteren van de snelheid van AI zonder fouten te missen.
Eerst een definitie: Stapsgewijze verificatie is het één voor één controleren of elke tussenstap van een oplossing klopt. In de wiskunde: "Is het resultaat correct?" De vraag is niet genoeg; "Is elke tussenstap juist?" De vraag is essentieel. Omdat soms verkeerde stappen bij toeval tot het juiste resultaat (een onstabiele oplossing) leiden, kan een enkele rekenfout in een correcte strategie soms het resultaat bederven.
Drie verschillende rollen van AI bij het oplossen van problemen
Je kunt AI op drie verschillende manieren gebruiken bij het oplossen van problemen, en elke manier vereist een andere validatie:
- Strategieconsultant: "Hoe los ik dit probleem op?" Hier suggereert AI een methode. Het risico is laag omdat u zelf de berekeningen doet.
- Oplossingsgenerator: "Los dit probleem op." Het risico is groot omdat zowel de strategie als de berekening uit AI komen; Elke stap moet onder toezicht staan.
- Oplossingscontrole: "Controleer mijn oplossing." Het is een gemiddeld risico; AI kan bugs vinden, maar kan ook bugs verzinnen die niet bestaan of de echte bug missen.
De veiligste aanpak is meestal om 1 en 3 te combineren: haal de strategie van de AI, doe de berekening zelf of met SymPy, en laat de AI vervolgens checken en kruisen.
Stap voor stap: hoe u een oplossing controleert
1. Nummer elke stap. Door de AI in genummerde stappen om de oplossing te vragen, kun je vervolgens zeggen: "Er is een fout in stap 3."
2. Bij elke stap "welke regel?" meneer. Laat de AI bij elke doorgang opschrijven welke algebraïsche regel, stelling of identiteit wordt gebruikt. Als de naam van de regel verkeerd is, is de stap ook twijfelachtig.
3. Controleer de rekenkunde afzonderlijk. Zelfs als de algebraïsche logica correct is, komen getalfouten vaak voor. Controleer elke optelling, vermenigvuldiging en tekenwijziging.
4. Probeer grenzen en uitzonderingen. Test het resultaat op eenvoudige waarden zoals x=0, x=1. Als de formule bij deze waarden onzinnig is, is er sprake van een fout.
5. Ga achteruit terug. Controleer het resultaat van de afgeleide door te integreren, de wortel van de vergelijking te vervangen en de factorisatie terug te vermenigvuldigen.
6. Zoek naar consistentie tussen maat en eenheid. Als de eenheden niet optellen in toegepaste opgaven (bijvoorbeeld het optellen van meters en seconden), is de formule onjuist.
Tip: "Verificatie door omgekeerde bewerking" is het krachtigste verificatiehulpmiddel in de wiskunde en is vrijwel gratis. Als je de wortel van een vergelijking hebt gevonden, vervang deze dan; Als je een integraal hebt genomen, neem dan de afgeleide ervan; Als je ontbonden hebt in factoren, vermenigvuldig dan terug. Deze controle van 30 seconden voorkomt urenlang verkeerde richting.
De kracht van provisioning komt voort uit de onafhankelijkheid van AI. Wanneer je een wortel vervangt, voer je een deterministische controle uit die volledig onafhankelijk is van wat de AI doet in het oplossingsproces: aan de vergelijking is voldaan of niet, er is geen tussenweg. Daarom is verificatie veel waardevoller dan dat de AI ‘zeker, goed’ zegt; omdat de AI dezelfde fout kan herhalen bij het valideren van zijn eigen oplossing, maar onafhankelijke verificatie valt buiten deze lus. Wanneer u op twee verschillende, onafhankelijke manieren een kritisch resultaat kunt behalen (bijvoorbeeld zowel door vervanging als door SymPy), neemt uw zelfvertrouwen exponentieel toe.
Een classificatie van fouten
De onderstaande tabel geeft een overzicht van de soorten fouten die u het vaakst tegenkomt in AI-oplossingen en de manier waarop u deze kunt ondervangen.
Fouttype
voorbeeld
pad vastleggen
tekenfout
Schrijven −(a−b) = −a−b
Mijn naam handmatig openen en controleren
rekenkundige fout
7×8 = 54
Bevestiging met rekenmachine/SymPy
verkeerde regel
vergeet de kettingregel
"Welke regel?" vragen
Veld-/definitiefout
log ophalen (negatief)
Het domein controleren
Status overgeslagen
Discriminant < 0 negeren
Lijst met alle statussen
Verzonnen stelling
niet-bestaande stellingnaam
Bevestiging van de bron
drie minikoffers
Geval 1 – Juist resultaat, verkeerd pad. Een student stelde de AI een limietvraag. De AI constateerde dat het resultaat 3 was – wat correct was – maar gebruikte in de tussenstap de regel van L'Hôpital waar deze niet kon worden toegepast (zonder de 0/0-onzekerheid). De leerling vraagt: "Welke regel is van toepassing en waarom?" Desgevraagd accepteerde de AI de fout en kwam op de juiste manier weer op 3. Het resultaat was hetzelfde, maar het pad was niet solide; De reis werd ook gescoord in het examen.
Geval 2 — Weggelaten geval. Een ingenieur, |2x − 4| = 6 absolute waardevergelijking werd opgelost door YZ. YZ loste slechts 2x − 4 = 6 op en gaf x = 5; Het sloeg de toestand 2x − 4 = −6 over (x = −1). De ingenieur vraagt: "Hoeveel toestanden zijn er in absolute waarde?" Toen ik het vroeg, verscheen de tweede wortel. De juistheid van beide wortels werd bevestigd door substitutie.
Geval 3 — Bij een kruiscontrole werden drie fouten gevonden. Een leraar liet de AI een trigonometrisch identiteitsbewijs in 10 stappen maken. Vervolgens vergeleek hij hetzelfde bewijs stap voor stap met de vereenvoudigingsfunctie van SymPy. Hij ontdekte dat de AI in 3 van de 10 stappen de identiteit verkeerd toepaste. Totale controletijd 12 minuten; Het gewonnen vertrouwen is onbetaalbaar.
Vier kopieerbare sjablonen
1) Genummerde, op regels gebaseerde oplossing:
Los dit probleem op: [probleem]. Schrijf de oplossing in GENUMMEERDE stappen. Vermeld bij elke stap de naam van de regel/stelling die je hebt gebruikt tussen haakjes. Sla geen enkele stap over door "uiteraard" te zeggen; laat elke overgang zien.
2) Forceer niet alle staten:
Los dit probleem op: [probleem]. Maak een lijst van ALLE MOGELIJKE gevallen bij het oplossen (bijvoorbeeld absolute waarde, kwadratisch, domeinbeperkingen). Sla geen zaken over; Als je het overslaat, motiveer dan waarom je het overslaat.
3) Verzoek om verstrekking:
Je hebt gevonden: [resultaat]. VERIFICEER nu dit resultaat door de omgekeerde bewerking: [differentiëren / vervangen / terugvermenigvuldigen]. Toon het resultaat van de controlesom en vertel of dit consistent is met het oorspronkelijke probleem.
4) Foutgerichte controle:
Zoek gewoon naar fouten in de onderstaande oplossing. Controleer elke stap in volgorde; Als je de eerste fout vindt, noteer dan welke stap, welk type fout (teken/rekenkunde/regel) en wat de juiste is. Een nieuwe oplossing creëren.Oplossing: [hier]
Zwakke prompt/sterke prompt
Zwak: "Los x² op − 5x + 6 = 0."
Resultaat: "x = 2 en x = 3" — kan waar zijn, maar je merkt het niet als er een enkel geval wordt gemist of als de factorisatie verkeerd is.
Strong: "Los de vergelijking x² − 5x + 6 = 0 op door zowel ontbinden in factoren als de discriminantformule; laat zien dat de twee methoden dezelfde wortels opleveren. Geef vervolgens elke wortel op door deze in de vergelijking te vervangen."
Resultaat: Twee onafhankelijke methoden verifiëren elkaar, waardoor het resultaat accuraat is. Als er een fout optreedt, zullen de twee methoden conflicteren en zult u dit onmiddellijk zien.
Veel voorkomende fouten
- Gewoon kijken naar het resultaat. Het juiste resultaat betekent niet dat er een solide pad is. Controleer ook de weg.
- Inrichting overslaan. Een controle van 30 seconden op vervanging/back-derivaat spoort de meeste fouten op; Verwaarloos het niet.
- Geen situaties opnoemen. Omissies in absolute waarde-, kwadratische, root- en domeinbeperkingen zijn de meest voorkomende fouten.
- Er op vertrouwen dat de AI ‘geen bugs’ zegt. AI in de rol van auditor kan de echte fout over het hoofd zien; Het menselijk oog is essentieel bij kritisch werk.
- Tevreden zijn met één methode. Los het indien mogelijk op en vergelijk het met behulp van twee onafhankelijke methoden.
Let op: Wanneer u de AI uw oplossing laat controleren, kan deze soms een niet-bestaande "bug" verzinnen en u ervan weerhouden de juiste oplossing te gebruiken. Wanneer de AI dus een fout laat zien, controleer je ook of die fout ook echt een fout is. De accountant kan ook ongelijk hebben.
Samengevat
Bij het oplossen van problemen speelt AI drie rollen: strategieadviseur, oplossingsgenerator en oplossingsauditor. De veiligste aanpak is om de strategie van AI over te nemen, de berekeningen uit te voeren met onafhankelijke tools en elke stap systematisch te controleren. Genummerde stappen, "welke regel?" vraag, controlesom (omgekeerde bewerking), limietgevallen en een lijst van alle gevallen zijn de basishulpmiddelen voor het opsporen van fouten. Het juiste resultaat betekent niet dat er een solide pad is; Controleer zowel het resultaat als het pad.
Applicatie taak
Kies een kwadratische vergelijking of een absolute-waardevergelijking. Los YZ op met de sjablonen 1 en 2. Vervolgens: (a) controleer of alle gevallen zijn gedekt, (b) zorg ervoor dat elke wortel wordt vervangen door te vervangen, (c) los het op en vergelijk het opnieuw met een tweede methode, indien mogelijk. Als u een fout vindt, noteer dan welk type deze is (teken/rekenkunde/regel/overgeslagen voorwaarde).
controlelijst
- [ ] Ik heb de oplossing in genummerde stappen uitgevoerd.
- [ ] Ik bevestigde de regel die bij elke stap werd gebruikt.
- [ ] Ik heb geverifieerd dat aan alle onvoorziene omstandigheden is voldaan.
- [ ] Ik heb het resultaat gecontroleerd door omgekeerde bewerking (controleren).
- [ ] Indien mogelijk heb ik het vergeleken met een tweede methode.
- [ ] Ik heb ook onafhankelijk de "fouten" geverifieerd die de AI liet zien.