zisky:
- Schopnosť použiť umelú inteligenciu na nájdenie myšlienky a metódy dôkazu (priamy, protirečivý, induktívny, kontrapozitívny) a samokontrolu platnosti každého logického kroku
- Schopnosť identifikovať medzery v dôkazoch, implicitné predpoklady a neopodstatnené skoky za výrazmi ako „jasne“, „bez toho, aby bola dotknutá všeobecnosť“
- Schopnosť rozlišovať medzi plynulosťou a platnosťou hľadaním protipríkladov predtým, ako sa spoľahnete na dôkaz bez toho, aby ste si boli istí pravdivosťou tvrdenia.
Matematický dôkaz je presné odvodenie tvrdenia v logických krokoch z akceptovaných axióm a predtým overených teorémov. Dôkaz je najprísnejším produktom matematiky: jediný neplatný logický prechod, vynechanie alebo implicitný predpoklad, ktorý nazývame „medzera“, vyvracia celý dôkaz. Umelá inteligencia je veľmi zručná pri vytváraní presvedčivo vyzerajúceho textu na dôkaz – a práve preto je nebezpečná. Text, ktorý pôsobí presvedčivo, nie je platným dôkazom. V tejto lekcii sa naučíte, ako používať AI ako partnera na vypracovanie dôkazov a ako kontrolovať každý logický krok.
Prvé dve definície. Náčrt dôkazu je súhrn, ktorý dáva hlavnú myšlienku a kostru dôkazu, ale nevypĺňa každý detail. Dôkazová medzera je skok, v ktorom dôkaz hovorí „tu to nasleduje“, ale v skutočnosti to neospravedlňuje. Najväčším rizikom pri práci s AI sú medzery zakryté presvedčivými vetami: text je plynulý, plný spojok ako „preto“ a „samozrejme“, ale s preskokmi, ktoré v skutočnosti nie sú dokázané.
Silné a slabé stránky AI v dôkaze
AI robí dobre pri dokazovaní dve veci: (1) vyvoláva štandardnú predstavu dôkazu známej vety, (2) navrhuje, aká metóda (indukcia, kontradikcia, priama, kontrapozitívna) by mohla byť vhodná na dôkaz. Jeho slabinou je toto: zabezpečiť, aby každý krok originálneho alebo jemného dôkazu bol skutočne platný. Umelá inteligencia môže produkovať „klamné dôkazy“, ktoré sa zdajú byť pravdivé, ale v skutočnosti sú nepravdivé – napríklad môže preskočiť základný prípad v úvodnom kroku, alebo môže povedať „bez porušenia všeobecnosti“, ale vytvorí predpoklad, ktorý v skutočnosti poruší všeobecnosť.
Takže zlaté pravidlo v dôkaze: použite AI na nájdenie a načrtnutie myšlienky dôkazu; Overte si platnosť každého logického kroku sami. Pred „prijatím“ dôkazu sa uistite, že každý „preto“ je skutočne platný.
Krok za krokom: kontrola dôkazu
1. Objasnite tvrdenie a predpoklady. Čo sa dokazuje? Za akých predpokladov? Ak sú tieto nejasné, dôkazy sú tiež nejasné.
2. Poznať metódu dôkazu. Priamo, protirečením, induktívne, kontrapozitívne? Poznať štrukturálne požiadavky metódy (napr. pri indukcii je nevyhnutný základný prípad + krok indukcie).
3. Opýtajte sa každého „preto“. Pri každom logickom prechode "naozaj to vyplýva z predchádzajúcich krokov?" spýtaj sa. Najzákernejšie medzery sa skrývajú za výrazmi „zrejme“, „to je ľahko vidieť“, „bez straty všeobecnosti“.
4. Hľadajte implicitné predpoklady. Zakladá sa dôkaz na nevyslovenom predpoklade? Napríklad možno v tichosti akceptovať, že číslo je kladné alebo funkcia je spojitá.
5. Skúste protipríklad. Ak je tvrdenie nepravdivé, protipríklad ho ruší. Pred prijatím dôkazu otestujte, či je tvrdenie skutočne pravdivé v jednoduchých špeciálnych prípadoch.
6. Poraďte sa s orgánom pre obstarávanie. Porovnajte štandardný dôkaz pre známe vety so spoľahlivým zdrojom (učebnica, recenzovaný zdroj).
Pomôcka: Fráza „bez straty všeobecnosti“ v dôkaze je dvojsečná zbraň. Niekedy je to skutočne platné (ak je symetria), niekedy je to skrytá chyba. AI tento výraz často používa. Ospravedlňte sa zakaždým, keď „všeobecnosť nie je skutočne porušená“; Neberte to za slovo AI.
Dôkazové metódy a úskalia
dôkazová metóda
Štruktúra
Najbežnejšia pasca AI
priamy
Predpoklad → ... → Záver
preskočiť krok medzi tým
protirečenie
Predpokladajme opak → nájdite rozpor
Rozpor nie je skutočný
indukcia
Základný prípad + krok
Zabudnutie na základnú situáciu
kontrapozitívne
¬Záver → ¬Predpoklad
falošná negácia
Protipríklad (vyvrátenie)
jediný protipríklad
Protipríklad je neplatný
tri mini prípady
Prípad 1 – Neúplný základný prípad. Učiteľ mal pomocou AI dokázať vzorec „1 + 2 + ... + n = n(n+1)/2“ indukciou. AI napísala indukčný krok správne, ale nikdy nekontrolovala základný prípad (n=1). Učiteľ sa pýta "kde je základný prípad?" spýtal sa; pridala sa AI. Bez základného stavu je indukcia neplatná; 30-sekundová kontrola dôkaz zachránila.
Prípad 2 – Tajné delenie nulou. Jeden študent videl smiešny „dôkaz“ ako „a = b pre každé a, b“ a spýtal sa AI „kde je tu chyba?“ spýtal sa. YZ správne ukázal, že dôkaz delí (a − b) v jednom kroku a za predpokladu a = b ide o delenie nulou. Tu bola AI úspešná ako audítor; no študent si tento krok aj tak overil vlastnou rukou.
Prípad 3 – Presvedčivé falošné dôkazy. Študent inžinierstva mal AI dokázať nerovnosť. Text bol plynulý a presvedčivý, no pri odmocnovaní v jednom kroku ignoroval možnosť pozitívnych aj negatívnych odmocnín a zobral len to pozitívne. Študent našiel túto medzeru, keď spochybňoval každý krok. Dôkaz sa stal platným, keď bola pridaná ďalšia podmienka (pozitivita premenných).
Štyri kopírovateľné šablóny
1) Žiadosť o návrh dôkazu (nápad):
Ktorá METÓDA by bola vhodná na preukázanie nasledujúceho tvrdenia (priame, protirečivé, induktívne, kontrapozitívne)? Uveďte len HLAVNÚ MYŠLIENKU a kostru dôkazu, nepíšte úplný dôkaz. Nárok: [tu]
2) Krok za krokom, odôvodnený dôkaz:
Dokážte nasledujúci nárok pomocou [metódy]: [nárok]. Napíšte, o ktorú axiómu/vetu/definíciu sa pri každom kroku spoliehate. NEPOUŽÍVAJTE výrazy ako „jasne“ alebo „ľahko“; Plne zdôvodnite každý prechod. Ak ide o indukciu, ukážte základný prípad a krok indukcie oddelene.
3) Dôkazné hľadanie medzery:
Pozrite si dôkaz nižšie. STAČÍ hľadať logické medzery, implicitné predpoklady a neopodstatnené skoky. Skontrolujte, či každé „preto“ skutočne vyplýva z predchádzajúcich krokov. Zapíšte si každú medzeru, v ktorej sa nachádza. Dôkaz: [tu]
4) Vyhľadajte protipríklad:
Chcem otestovať, či je nasledujúce tvrdenie PRAVDIVÉ: [nárok]. Najprv ho otestujte v jednoduchých špeciálnych prípadoch; skúste nájsť PROTIPRÍKLAD. Ak nájdete protipríklad, ukážte ho; Ak to nemôžete nájsť, uveďte situácie, ktoré ste vyskúšali (toto však nie je dôkaz, len hľadáte dôkazy).
Slabá výzva / Silná výzva
Slabý: "Dokážte, že √2 je iracionálne."
Výsledok: Prichádza štandardný dôkaz, ale krok (napr. „potom je p párne“) mohol byť preskočený bez odôvodnenia a vy si to nevšimnete.
Silný: „Dokážte PROTIPOROM, že √2 je iracionálne. Zapíšte si, ktorý predpoklad ste použili v každom kroku; tiež zdôvodnite prechodné tvrdenia, ako napríklad „Ak je p² párne, potom je p párne“. Nakoniec jasne ukážte, kde presne vzniká rozpor.“
Výsledok: Každý medzinárok je opodstatnený, zdroj rozporu je jasný, nezostali žiadne medzery.
Časté chyby
- Zamieňanie plynulosti s platnosťou. Presvedčivý text nie je platným dôkazom; Každý krok musí byť pod dohľadom.
- Preskočenie základného stavu pri indukcii. AI často zabúda na základný prípad; Samotný indukčný krok nestačí.
- Akceptovať „bez straty všeobecnosti“ bez otázok. Toto vyhlásenie môže byť latentná chyba; Zakaždým to zdôvodnite.
- Nevidieť implicitné predpoklady. Predpoklady ako pozitivita, kontinuita, nenula atď. môžu v tichosti preniknúť do dôkazu.
- Dôverovať dôkazom bez skúšania protipríkladu. Ak je tvrdenie nepravdivé, je nepravdivý aj dôkaz; Najprv otestujte pravdivosť tvrdení v jednoduchých prípadoch.
Upozornenie: AI môže poskytnúť „dôkaz“ aj pre tvrdenie, ktoré je v skutočnosti nepravdivé – pretože vytvára text, nezaručuje logickú platnosť. Ak si nie ste istí presnosťou tvrdenia, vyhľadajte najskôr protipríklad. „Dôkaz“ nepravdivého tvrdenia nevyhnutne obsahuje medzeru; Vašou úlohou je nájsť túto medzeru.
V súhrne
Dôkaz je najprísnejším produktom matematiky a AI môže poskytnúť presvedčivé, ale neplatné „dôkazy“. Použite AI na nájdenie nápadu a metódy dôkazu; Overte si platnosť každého logického kroku sami. Hľadajte kľúčové prípady, implicitné predpoklady a medzery za frázami ako „jasne“ a „bez predsudkov“. Ak si nie ste istí pravdivosťou tvrdenia, skúste použiť protipríklad skôr, ako budete dôverovať dôkazu. Plynulosť nie je platná.
Aplikačná úloha
Vyberte štandardnú vetu (napr. „súčet dvoch párnych čísel je párny“ alebo „√2 je iracionálny“). Nechajte AI dokázať to krok za krokom pomocou 2. šablóny. Potom znova poskytnite rovnaký dôkaz ako v 3. šablóne pre hľadanie medzery – nechajte ho, aby si skontroloval svoj vlastný dôkaz. Potom manuálne opýtajte sa každého „preto“: existuje základný prípad, existuje implicitný predpoklad, je každý prechod opodstatnený? Nájdite a poznačte si aspoň jednu potenciálnu medzeru alebo bod zlepšenia.
kontrolný zoznam
- [ ] Objasnil som tvrdenie a predpoklady.
- [ ] Spoznal som metódu dôkazu a jej konštrukčné požiadavky.
- [ ] Overil som si, že každé „preto“ vyplýva z predchádzajúcich krokov.
- [ ] Urobil som kontrolu základného prípadu / implicitného predpokladu.
- [ ] Tvrdenie som testoval na jednoduchých prípadoch a hľadal som protipríklady.
- [ ] Porovnal som štandardný dôkaz pre známe vety so spoľahlivým zdrojom.