Zyski:
- Umiejętność wykorzystania sztucznej inteligencji do znalezienia idei i metody dowodu (bezpośredni, sprzeczny, indukcyjny, kontrapozytywny) oraz samodzielnego sprawdzenia ważności każdego kroku logicznego
- Umiejętność identyfikowania luk w dowodach, ukrytych założeń i nieuzasadnionych przeskoków w stosunku do wyrażeń takich jak „wyraźnie”, „bez uszczerbku dla ogólności”
- Umiejętność odróżnienia płynności od ważności poprzez szukanie kontrprzykładów przed oparciem się na dowodach bez pewności co do prawdziwości twierdzenia.
Dowód matematyczny to dokładne wyprowadzenie twierdzenia w logicznych krokach z przyjętych aksjomatów i wcześniej udowodnionych twierdzeń. Dowód jest najbardziej rygorystycznym produktem matematyki: pojedyncze nieprawidłowe przejście logiczne, pominięcie lub ukryte założenie, które nazywamy „luką”, obala cały dowód. Sztuczna inteligencja potrafi bardzo dobrze tworzyć przekonująco wyglądający tekst stanowiący dowód — i właśnie dlatego jest niebezpieczna. Tekst, który wydaje się przekonujący, nie jest ważnym dowodem. W tej części dowiesz się, jak wykorzystywać sztuczną inteligencję jako partnera w sporządzaniu korekt i jak sprawdzać każdy logiczny krok.
Pierwsze dwie definicje. Szkic próbny to podsumowanie, które daje główną ideę i szkielet dowodu, ale nie zawiera wszystkich szczegółów. Luka w dowodzie to przeskok, w którym dowód mówi „tutaj następuje”, ale w rzeczywistości go nie uzasadnia. Największym ryzykiem podczas pracy z AI są luki zakryte zdaniami przekonującymi: tekst jest płynny, pełen spójników typu „dlatego” i „oczywiście”, ale ze skokami pomiędzy nimi, które tak naprawdę nie są udowodnione.
Mocne i słabe strony AI w dowodzie
Sztuczna inteligencja radzi sobie dobrze w dowodzie: (1) przywołuje standardową koncepcję dowodu znanego twierdzenia, (2) sugeruje, jaka metoda (indukcja, sprzeczność, bezpośrednia, kontrapozytywna) może być odpowiednia dla dowodu. Jego słabość polega na tym, że zapewnia, że każdy etap oryginalnego lub subtelnego dowodu jest rzeczywiście ważny. Sztuczna inteligencja może tworzyć „błędne dowody”, które wydają się prawdziwe, ale w rzeczywistości są fałszywe — na przykład może pominąć podstawowy przypadek na etapie indukcji lub może powiedzieć „bez naruszania ogólności”, ale przyjąć założenie, które w rzeczywistości łamie ogólność.
Zatem złota zasada dowodu: użyj sztucznej inteligencji, aby znaleźć i nakreślić ideę dowodu; Sam sprawdź ważność każdego logicznego kroku. Przed „zaakceptowaniem” dowodu upewnij się, że każde „dlatego” jest rzeczywiście ważne.
Krok po kroku: sprawdzanie dowodu
1. Wyjaśnij twierdzenie i założenia. Co jest udowadniane? Przy jakich założeniach? Jeśli są one niejasne, dowód jest również niejasny.
2. Poznaj metodę dowodu. Bezpośrednio, przez zaprzeczenie, indukcyjnie, kontrapozytywnie? Znajomość wymagań strukturalnych metody (np. w indukcji niezbędny jest przypadek podstawowy + etap indukcji).
3. Kwestionuj każde „dlatego”. Przy każdym logicznym przejściu „czy to naprawdę wynika z poprzednich kroków?” zapytać. Najbardziej podstępne luki kryją się za wyrażeniami „oczywiście”, „łatwo to zauważyć”, „bez utraty ogólności”.
4. Poszukaj ukrytych założeń. Czy dowód opiera się na niewypowiedzianym założeniu? Na przykład można po cichu przyjąć, że liczba jest dodatnia lub funkcja jest ciągła.
5. Wypróbuj kontrprzykład. Jeśli twierdzenie jest fałszywe, kontrprzykład je obala. Przed przyjęciem dowodu sprawdź, czy twierdzenie jest rzeczywiście prawdziwe w prostych, specjalnych przypadkach.
6. Skonsultuj się z organem odpowiedzialnym za zamówienia. Porównaj standardowy dowód znanych twierdzeń z wiarygodnym źródłem (podręcznikiem, źródłem recenzowanym).
Wskazówka: wyrażenie „bez utraty ogólności” w dowodzie jest mieczem obosiecznym. Czasami faktycznie jest to prawdą (jeśli jest symetria), czasami jest to ukryty błąd. AI często używa tego wyrażenia. Za każdym razem usprawiedliwiaj się, że „ogólność tak naprawdę nie jest złamana”; Nie wierz AI na słowo.
Metody i pułapki dowodowe
metoda dowodu
Struktura
Najczęstsza pułapka AI
bezpośredni
Założenie → ... → Wniosek
pomijając krok pomiędzy
sprzeczność
Załóż coś przeciwnego → znajdź sprzeczność
Sprzeczność nie jest prawdziwa
indukcja
Obudowa podstawowa + stopień
Zapominając o podstawowej sytuacji
kontrapozytywny
¬Wniosek → ¬Założenie
fałszywa negacja
Kontrprzykład (obalenie)
pojedynczy kontrprzykład
Kontrprzykład jest nieprawidłowy
trzy mini etui
Przypadek 1 – Niekompletny przypadek podstawowy. Nauczyciel poprosił sztuczną inteligencję o udowodnienie wzoru „1 + 2 + ... + n = n(n+1)/2” metodą indukcji. Sztuczna inteligencja poprawnie napisała krok indukcyjny, ale nigdy nie sprawdziła przypadku podstawowego (n=1). Nauczyciel pyta: „Gdzie jest przypadek podstawowy?” zapytał; Dodała sztuczną inteligencję. Bez stanu podstawowego indukcja jest nieprawidłowa; 30-sekundowe sprawdzenie uratowało dowód.
Przypadek 2 — Sekretne dzielenie przez zero. Jeden z uczniów zobaczył absurdalny „dowód” w rodzaju „a = b dla każdego a, b” i zapytał sztuczną inteligencję „gdzie tu jest błąd?” zapytał. YZ poprawnie wykazało, że dowód dzieli się przez (a − b) w jednym kroku i przy założeniu a = b jest to dzielenie przez zero. Tutaj sztuczna inteligencja odniosła sukces jako audytor; ale uczeń i tak zweryfikował ten krok własną ręką.
Przypadek 3 – Przekonujący fałszywy dowód. Student inżynierii miał sztuczną inteligencję udowadniającą nierówność. Tekst był płynny i przekonujący, ale obliczając pierwiastki kwadratowe w jednym kroku, zignorował możliwość pierwiastków dodatnich i ujemnych i wziął tylko dodatnie. Uczeń znalazł tę lukę, kwestionując każdy krok. Dowód stał się ważny po dodaniu dodatkowego warunku (dodatniość zmiennych).
Cztery szablony do kopiowania
1) Prośba o wersję próbną (pomysł):
Która METODA byłaby właściwa do udowodnienia następującego twierdzenia (bezpośrednie, sprzeczne, indukcyjne, przeciwstawne)? Podaj tylko GŁÓWNĄ POMYSŁ i szkielet dowodu, nie pisz pełnego dowodu. Roszczenie: [tutaj]
2) Krok po kroku, uzasadniony dowód:
Udowodnij następujące twierdzenie za pomocą [method]: [claim]. Zapisz, na którym aksjomacie/twierdzeniu/definicji opierasz się w każdym kroku. NIE używaj wyrażeń takich jak „wyraźnie” lub „łatwo”; W pełni uzasadnij każde przejście. Jeśli jest to indukcja, pokaż oddzielnie przypadek podstawowy i etap indukcji.
3) Polowanie na luki w dowodach:
Sprawdź poniższy dowód. PO PROSTU szukaj luk logicznych, ukrytych założeń i nieuzasadnionych przeskoków. Sprawdź, czy każde „dlatego” faktycznie wynika z poprzednich kroków. Zapisz każdą lukę, na której etapie się ona znajduje. Dowód: [tutaj]
4) Wyszukaj kontrprzykład:
Chcę sprawdzić, czy następujące twierdzenie jest PRAWDZIWE: [twierdzenie]. Najpierw przetestuj to w prostych, specjalnych przypadkach; spróbuj znaleźć KONTRprzykład. Jeśli znajdziesz kontrprzykład, pokaż go; Jeśli nie możesz go znaleźć, wypisz sytuacje, które próbowałeś (ale to nie jest dowód, po prostu szukam dowodów).
Słaba zachęta/silna zachęta
Słabe: „Udowodnij, że √2 jest niewymierne”.
Wynik: przychodzi standardowy dowód, ale jakiś krok (np. „wtedy p jest parzyste”) mógł zostać pominięty bez uzasadnienia i nie zauważysz tego.
Strong: „Udowodnij PRZECIWNIE, że √2 jest irracjonalne. Zapisz, jakiego założenia użyłeś na każdym kroku; uzasadnij także twierdzenia pośrednie, takie jak: „Jeśli p² jest parzyste, to p jest parzyste”. Na koniec pokaż wyraźnie, gdzie dokładnie pojawia się sprzeczność.
Wynik: Każde twierdzenie pośrednie jest uzasadnione, źródło sprzeczności jest jasne, nie pozostały żadne luki.
Typowe błędy
- Mylisz płynność z trafnością. Tekst przekonujący nie jest ważnym dowodem; Każdy krok musi być nadzorowany.
- Pomijanie stanu podstawowego w indukcji. AI często zapomina o przypadku podstawowym; Sam krok indukcyjny nie wystarczy.
- Zaakceptować „bez utraty ogólności” bez zadawania pytań. To stwierdzenie może być ukrytym błędem; Za każdym razem uzasadnij.
- Nie dostrzeganie ukrytych założeń. Założenia takie jak dodatniość, ciągłość, wartość różna od zera itp. mogą po cichu przedostać się do dowodu.
- Zaufanie dowodowi bez szukania kontrprzykładu. Jeśli twierdzenie jest fałszywe, dowód również jest fałszywy; Najpierw sprawdź prawdziwość twierdzenia w prostych przypadkach.
Uwaga: sztuczna inteligencja może przedstawić „dowód” nawet na twierdzenie, które w rzeczywistości jest fałszywe — ponieważ tworzy tekst, nie gwarantuje logicznej ważności. Jeśli nie masz pewności co do trafności twierdzenia, poszukaj najpierw kontrprzykładu. „Dowód” fałszywego twierdzenia z konieczności zawiera lukę; Twoim zadaniem jest znaleźć tę lukę.
Podsumowując
Dowód to najbardziej rygorystyczny produkt matematyki, a sztuczna inteligencja może przedstawić przekonujące, ale nieważne „dowody”. Użyj sztucznej inteligencji, aby znaleźć pomysł i metodę dowodu; Sam sprawdź ważność każdego logicznego kroku. Poszukaj kluczowych przypadków, ukrytych założeń i luk w wyrażeniach takich jak „jasno” i „bez uprzedzeń”. Jeśli nie masz pewności co do prawdziwości twierdzenia, wypróbuj kontrprzykład, zanim zaufasz dowodowi. Płynność to nie ważność.
Zadanie aplikacji
Wybierz standardowe twierdzenie (np. „suma dwóch liczb parzystych jest parzysta” lub „√2 jest niewymierna”). Niech sztuczna inteligencja udowodni to krok po kroku za pomocą drugiego szablonu. Następnie ponownie podaj ten sam dowód, co w trzecim szablonie w celu poszukiwania luk — pozwól mu sprawdzić własny dowód. Następnie ręcznie zapytaj o każde „dlatego”: czy istnieje przypadek podstawowy, czy istnieje ukryte założenie, czy każde przejście jest uzasadnione? Znajdź i zanotuj co najmniej jedną potencjalną lukę lub punkt ulepszenia.
lista kontrolna
- [ ] Wyjaśniłem twierdzenie i założenia.
- [ ] Zapoznałem się z metodą próbną i jej wymaganiami konstrukcyjnymi.
- [ ] Sprawdziłem, że każde „dlatego” wynika z poprzednich kroków.
- [ ] Sprawdziłem przypadek podstawowy/ukryte założenia.
- [ ] Testowałem twierdzenie w prostych przypadkach i szukałem kontrprzykładów.
- [ ] Porównałem standardowy dowód znanych twierdzeń z wiarygodnym źródłem.