Zyski:
- Umiejętność wykorzystania sztucznej inteligencji w rozwiązywaniu problemów w trzech różnych rolach: konsultanta strategicznego, producenta rozwiązania i audytora rozwiązania, stosownie do poziomu ryzyka każdego z nich.
- Możliwość systematycznego sprawdzania każdego kroku rozwiązania poprzez numerowanie, sprawdzanie reguł, sprawdzanie arytmetyczne, sumy kontrolne i wyliczanie wszystkich przypadków.
- Możliwość sprawdzenia zarówno wyniku, jak i rozwiązania niezależnymi metodami, ze zrozumieniem, że poprawny wynik nie oznacza właściwej ścieżki.
Rozwiązaniem problemu matematycznego jest łańcuch połączonych ze sobą kroków; Jeśli jakiekolwiek ogniwo w łańcuchu zostanie zerwane, wynik jest nieważny. Sztuczna inteligencja jest bardzo dobra w szybkim budowaniu tego łańcucha, ale monitorowanie jego siły należy do ludzi. W tej części dowiesz się, jak wykorzystywać sztuczną inteligencję jako partnera w rozwiązywaniu problemów i, co ważniejsze, jak systematycznie kontrolować każdy wykonany krok. Celem jest wykorzystanie szybkości sztucznej inteligencji i uniknięcie błędów.
Na początek definicja: Weryfikacja krok po kroku polega na sprawdzeniu, czy każdy etap pośredni rozwiązania jest po kolei poprawny. W matematyce: „Czy wynik jest poprawny?” Pytanie nie wystarczy; „Czy każdy etap pośredni jest prawidłowy?” Pytanie jest istotne. Ponieważ czasami błędne kroki prowadzą przez przypadek do właściwego wyniku (rozwiązania niestabilnego), czasami pojedynczy błąd arytmetyczny w prawidłowej strategii psuje wynik.
Trzy różne role AI w rozwiązywaniu problemów
Możesz wykorzystać sztuczną inteligencję do rozwiązywania problemów na trzy różne sposoby, a każdy wymaga innej walidacji:
- Konsultant ds. strategii: „Jak rozwiązać ten problem?” Tutaj sztuczna inteligencja sugeruje metodę. Ryzyko jest niskie, ponieważ obliczenia wykonujesz samodzielnie.
- Generator rozwiązań: „Rozwiąż ten problem”. Ryzyko jest wysokie, ponieważ zarówno strategia, jak i obliczenia pochodzą od sztucznej inteligencji; Każdy krok musi być nadzorowany.
- Sprawdzanie rozwiązań: „Sprawdź moje rozwiązanie”. Jest to średnie ryzyko; Sztuczna inteligencja może znajdować błędy, ale może też wymyślać błędy, które nie istnieją lub przeoczyć prawdziwy błąd.
Najbezpieczniejszym podejściem jest zwykle połączenie 1 i 3: pobierz strategię od AI, wykonaj obliczenia samodzielnie lub za pomocą SymPy, a następnie zleć kontrolę AI i krzyżową.
Krok po kroku: jak sprawdzić rozwiązanie
1. Ponumeruj każdy krok. Poproszenie sztucznej inteligencji o rozwiązanie w ponumerowanych krokach pozwala następnie powiedzieć: „W kroku 3 wystąpił błąd”.
2. Na każdym etapie „jaka zasada?” pan. Niech sztuczna inteligencja zapisze, która reguła algebraiczna, twierdzenie lub tożsamość jest używana w każdym przejściu. Jeżeli nazwa reguły jest błędna, krok ten również budzi wątpliwości.
3. Sprawdź arytmetykę osobno. Nawet jeśli logika algebraiczna jest poprawna, błędy liczbowe są częste. Przejrzyj każdą zmianę dodawania, mnożenia i znaku.
4. Wypróbuj granice i wyjątki. Przetestuj wynik na prostych wartościach, takich jak x=0, x=1. Jeżeli formuła przy tych wartościach jest bezsensowna, oznacza to błąd.
5. Wróć do tyłu. Sprawdź wynik pochodnej całkując, podstawiając pierwiastek równania, mnożąc faktoryzację z powrotem.
6. Zwróć uwagę na spójność wielkości/jednostki. Jeżeli w zastosowanych zadaniach jednostki nie sumują się (np. dodawanie metrów i sekund), wzór jest błędny.
Wskazówka: „Weryfikacja poprzez operację odwrotną” to najpotężniejsze narzędzie weryfikacyjne w matematyce i jest prawie bezpłatne. Jeśli znalazłeś pierwiastek równania, zastąp go; Jeśli wziąłeś całkę, weź jej pochodną; Jeśli dokonałeś rozkładu na czynniki, pomnóż ponownie. Ta 30-sekundowa kontrola zapobiega godzinom błędnego kierunku.
Siła zaopatrzenia wynika z jego niezależności od sztucznej inteligencji. Podstawiając pierwiastek, dokonujesz kontroli deterministycznej, która jest całkowicie niezależna od tego, co robi sztuczna inteligencja w procesie rozwiązywania: albo równanie jest spełnione, albo nie, nie ma pomiędzy. Dlatego weryfikacja jest o wiele cenniejsza niż powiedzenie przez sztuczną inteligencję „jasne, prawda”; ponieważ sztuczna inteligencja może powtórzyć ten sam błąd podczas walidacji własnego rozwiązania, ale niezależna weryfikacja wykracza poza tę pętlę. Kiedy możesz dostarczyć krytyczny wynik na dwa różne, niezależne sposoby (np. zarówno przez podstawienie, jak i SymPy), Twoja pewność wzrasta wykładniczo.
Klasyfikacja błędów
Poniższa tabela podsumowuje typy błędów najczęściej spotykanych w rozwiązaniach AI oraz sposoby wychwytywania każdego z nich.
Typ błędu
przykład
ścieżkę przechwytywania
błąd podpisu
Zapisywanie −(a−b) = −a−b
Otwieranie i sprawdzanie mojego imienia i nazwiska ręcznie
błąd arytmetyczny
7×8 = 54
Potwierdzenie za pomocą kalkulatora/SymPy
zła zasada
zapomnij o zasadzie łańcucha
„Jaka zasada?” zapytać
Błąd pola/definicji
pobierz dziennik (ujemny)
Sprawdzanie domeny
Stan pominięty
Ignorowanie wyróżnika < 0
Lista wszystkich statusów
Zmyślone twierdzenie
nieistniejąca nazwa twierdzenia
Potwierdzenie ze źródła
trzy mini etui
Przypadek 1 — Właściwy wynik, zła ścieżka. Uczeń zadał AI pytanie graniczne. Sztuczna inteligencja ustaliła, że wynik wynosi 3 – co było prawidłowe – ale w etapie pośrednim zastosowała regułę L'Hôpitala tam, gdzie nie można było jej zastosować (bez niepewności 0/0). Uczeń pyta: „Jaka zasada ma zastosowanie i dlaczego?” Zapytana, sztuczna inteligencja zaakceptowała błąd i ponownie osiągnęła 3 we właściwy sposób. Wynik był taki sam, ale ścieżka nie była solidna; Na egzaminie punktowana była także podróż.
Przypadek 2 – Przypadek pominięty. Inżynier, |2x − 4| = 6 równań wartości bezwzględnych zostało rozwiązanych przez YZ. YZ rozwiązał tylko 2x - 4 = 6 i dał x = 5; Pominął stan 2x - 4 = -6 (x = -1). Inżynier pyta „ile jest stanów w wartości bezwzględnej?” Kiedy zapytałem, pojawił się drugi korzeń. Poprawność obu pierwiastków potwierdzono przez podstawienie.
Przypadek 3 – Kontrola krzyżowa wykazała 3 błędy. Nauczyciel zlecił sztucznej inteligencji wykonanie 10-stopniowego trygonometrycznego dowodu tożsamości. Następnie porównał krok po kroku ten sam dowód z funkcją upraszczającą SymPy. Odkrył, że sztuczna inteligencja błędnie zastosowała tożsamość w 3 z 10 kroków. Całkowity czas kontroli 12 minut; Zdobyte zaufanie jest bezcenne.
Cztery szablony do kopiowania
1) Numerowane rozwiązanie oparte na regułach:
Rozwiąż ten problem: [problem]. Zapisz rozwiązanie w NUMEROWANYCH krokach. W każdym kroku podaj w nawiasach nazwę reguły/twierdzenia, której użyłeś. Nie pomijaj żadnego kroku, mówiąc „oczywiście”; pokaż każde przejście.
2) Nie wymuszaj wszystkich stanów:
Rozwiąż ten problem: [problem]. Podczas rozwiązywania wypisz WSZYSTKIE MOŻLIWE przypadki (np. wartość bezwzględna, kwadratowa, ograniczenia dziedzinowe). Nie pomijaj żadnych przypadków; Jeżeli pominiesz, uzasadnij dlaczego to pominąłeś.
3) Żądanie świadczenia:
Znaleziono: [wynik]. Teraz WERYFIKUJ ten wynik za pomocą operacji odwrotnej: [różniczkuj / podstawiaj / mnożyj wstecz]. Pokaż wynik sumy kontrolnej i powiedz, czy jest zgodny z pierwotnym problemem.
4) Sterowanie zorientowane na błędy:
PO PROSTU poszukaj błędów w poniższym rozwiązaniu. Sprawdź każdy krok w kolejności; gdy znajdziesz pierwszy błąd, zapisz, który krok, jakiego rodzaju błąd (znak/arytmetyka/reguła) i jaki jest prawidłowy. Tworzenie nowego rozwiązania. Rozwiązanie: [tutaj]
Słaba zachęta/silna zachęta
Słabe: „Rozwiąż x² − 5x + 6 = 0”.
Wynik: „x = 2 i x = 3” — może być prawdą, ale nie zauważysz, jeśli pominiesz nieparzysty przypadek lub rozkład na czynniki będzie nieprawidłowy.
Strong: „Rozwiąż równanie x² − 5x + 6 = 0 zarówno poprzez rozkład na czynniki, jak i wzór na dyskryminację; pokaż, że obie metody dają te same pierwiastki. Następnie podaj każdy pierwiastek, podstawiając go do równania”.
Wynik: Dwie niezależne metody weryfikują się wzajemnie, zapewniając dokładność wyniku. Jeśli wystąpi błąd, obie metody będą powodować konflikt i natychmiast go zobaczysz.
Typowe błędy
- Patrzę tylko na wynik. Właściwy wynik nie oznacza solidnej ścieżki. Sprawdź także drogę.
- Pomijanie udostępniania. Większość błędów wychwytuje 30-sekundowa kontrola podstawień/derywatów zwrotnych; Nie zaniedbuj tego.
- Nie wymieniam sytuacji. Najczęstszymi błędami są pominięcia ograniczeń wartości bezwzględnej, kwadratowej, pierwiastkowej i dziedzinowej.
- Ufanie sztucznej inteligencji, że powie „żadnych błędów”. AI w roli audytora może przeoczyć prawdziwy błąd; Ludzkie oko jest niezbędne w krytycznej pracy.
- Zadowolenie się z jednej metody. Jeśli to możliwe, rozwiąż i porównaj za pomocą dwóch niezależnych metod.
Uwaga: gdy sztuczna inteligencja sprawdzi Twoje rozwiązanie, czasami może to stanowić nieistniejący „błąd” i odwieść Cię od prawidłowego rozwiązania. Kiedy więc sztuczna inteligencja pokazuje błąd, sprawdzasz również, czy ten błąd jest rzeczywiście błędem. Audytor też może się mylić.
Podsumowując
W rozwiązywaniu problemów sztuczna inteligencja pełni trzy role: doradcy strategicznego, generatora rozwiązań, audytora rozwiązań. Najbezpieczniejszym podejściem jest przejęcie strategii od sztucznej inteligencji, wykonanie obliczeń przy użyciu niezależnych narzędzi i systematyczne kontrolowanie każdego kroku. Ponumerowane kroki, „która zasada?” pytanie, suma kontrolna (operacja odwrotna), przypadki graniczne i lista wszystkich przypadków to podstawowe narzędzia do wychwytywania błędów. Właściwy wynik nie oznacza solidnej ścieżki; Sprawdź zarówno wynik, jak i ścieżkę.
Zadanie aplikacji
Wybierz równanie kwadratowe lub równanie wartości bezwzględnej. Rozwiąż YZ za pomocą szablonów 1 i 2. Następnie: (a) sprawdź, czy uwzględniono wszystkie przypadki, (b) sprawdź każdy pierwiastek poprzez podstawienie, (c) rozwiąż i porównaj ponownie drugą metodą, jeśli to możliwe. Jeśli znajdziesz błąd, zanotuj jego typ (znak/arytmetyka/reguła/warunek pominięty).
lista kontrolna
- [ ] Podszedłem do rozwiązania w ponumerowanych krokach.
- [ ] Potwierdziłem regułę zastosowaną w każdym kroku.
- [ ] Sprawdziłem, czy uwzględniono wszystkie nieprzewidziane okoliczności.
- [ ] Sprawdziłem wynik wykonując operację odwrotną (sprawdzając).
- [ ] Jeśli to możliwe, porównałem to z drugą metodą.
- [ ] Niezależnie zweryfikowałem także „błędy” pokazane przez sztuczną inteligencję.