zisky:
- Schopnost používat umělou inteligenci k nalezení myšlenky a metody důkazu (přímý, protichůdný, induktivní, kontrapozitivní) a vlastní kontrola platnosti každého logického kroku
- Schopnost identifikovat mezery v důkazech, implicitní předpoklady a neopodstatněné skoky za výrazy jako „jasně“, „bez dotčení obecnosti“
- Schopnost rozlišovat mezi plynulostí a platností hledáním protipříkladů, než se spolehnete na důkaz, aniž byste si byli jisti pravdivostí tvrzení.
Matematický důkaz je přesné odvození tvrzení v logických krocích z přijatých axiomů a dříve ověřených teorémů. Důkaz je nejpřísnějším produktem matematiky: jediný neplatný logický přechod, vynechání nebo implicitní předpoklad, kterému říkáme „mezera“, vyvrací celý důkaz. Umělá inteligence je velmi zručná ve vytváření přesvědčivě vypadajícího textu pro důkaz – a právě proto je nebezpečná. Text, který působí přesvědčivě, není platným důkazem. V této jednotce se naučíte, jak používat umělou inteligenci jako partnera pro vytváření korektur a jak kontrolovat každý logický krok.
První dvě definice. Náčrt nátisku je souhrn, který dává hlavní myšlenku a kostru nátisku, ale nevyplňuje každý detail. Důkazová mezera je skok, ve kterém důkaz říká „tady to následuje“, ale ve skutečnosti to neospravedlňuje. Největším rizikem při práci s umělou inteligencí jsou mezery zakryté přesvědčivými větami: text je plynulý, plný spojek jako „proto“ a „samozřejmě“, ale se skoky mezi nimi, které nejsou ve skutečnosti prokázány.
Silné a slabé stránky AI v důkazu
AI dělá dobře dvě věci při dokazování: (1) evokovat standardní představu důkazu známé věty, (2) navrhnout, jaká metoda (indukce, kontradikce, přímá, kontrapozitivní) by mohla být vhodná pro důkaz. Jeho slabinou je toto: zajistit, aby každý krok originálního nebo nenápadného důkazu byl skutečně platný. Umělá inteligence může produkovat „klamné důkazy“, které se zdají být pravdivé, ale ve skutečnosti jsou nepravdivé – například může v úvodním kroku přeskočit základní případ nebo může říci „aniž by narušila obecnost“, ale vytvořila předpoklad, který obecnost ve skutečnosti porušuje.
Takže zlaté pravidlo v důkazu: použijte AI k nalezení a nastínění myšlenky důkazu; Ověřte si platnost každého logického kroku sami. Před „přijetím“ důkazu se ujistěte, že každé „proto“ je skutečně platné.
Krok za krokem: kontrola důkazu
1. Vyjasněte tvrzení a předpoklady. Co se dokazuje? Za jakých předpokladů? Jsou-li tyto nejasné, je nejasný i důkaz.
2. Znát metodu důkazu. Přímo, protikladem, induktivně, kontrapozitivně? Znát strukturální požadavky metody (např. u indukce je zásadní základní případ + krok indukce).
3. Zpochybňujte každé „proto“. Při každém logickém přechodu "vyplývá to skutečně z předchozích kroků?" požádat. Nejzákeřnější mezery se skrývají za výrazy „samozřejmě“, „to je dobře vidět“, „bez ztráty obecnosti“.
4. Hledejte implicitní předpoklady. Spoléhá se důkaz na nevyslovený předpoklad? Například může být tiše přijato, že číslo je kladné nebo funkce je spojitá.
5. Zkuste protipříklad. Je-li tvrzení nepravdivé, protipříklad jej ruší. Před přijetím důkazu otestujte, zda je tvrzení skutečně pravdivé v jednoduchých speciálních případech.
6. Poraďte se s orgánem pro zadávání veřejných zakázek. Porovnejte standardní důkaz pro známé věty se spolehlivým zdrojem (učebnice, recenzovaný zdroj).
Nápověda: Fráze „bez ztráty obecnosti“ v důkazu je dvousečná zbraň. Někdy je to skutečně platné (pokud je symetrie), někdy je to skrytá chyba. AI tento výraz používá hodně. Ospravedlňte se pokaždé, když „obecnost není skutečně porušena“; Neberte to za slovo AI.
Důkazové metody a úskalí
důkazní metoda
Struktura
Nejběžnější AI past
přímý
Předpoklad → ... → Závěr
přeskočit krok mezi tím
rozpor
Předpokládejme opak → najdi rozpor
Rozpor není skutečný
indukce
Základní případ + schůdek
Zapomínání na základní situaci
kontrapozitivní
¬Závěr → ¬Předpoklad
falešná negace
Protipříklad (vyvrácení)
jediný protipříklad
Protipříklad je neplatný
tři mini pouzdra
Případ 1 – Neúplný základní případ. Učitel nechal AI prokázat vzorec „1 + 2 + ... + n = n(n+1)/2“ indukcí. AI zapsala indukční krok správně, ale nikdy nezkontrolovala základní případ (n=1). Učitel se ptá "kde je základní případ?" zeptal se; přidala se AI. Bez základního stavu je indukce neplatná; 30sekundová kontrola důkaz zachránila.
Případ 2 – Tajné dělení nulou. Jeden student viděl směšný „důkaz“ jako „a = b pro každé a, b“ a zeptal se AI „kde je tady chyba?“ zeptal se. YZ správně ukázal, že důkaz se v jednom kroku dělí (a − b) a za předpokladu a = b jde o dělení nulou. Zde byla AI úspěšná jako auditor; ale i tak si student tento krok ověřil vlastní rukou.
Případ 3 – Přesvědčivé falešné důkazy. Student inženýrství měl AI prokázat nerovnost. Text byl plynulý a přesvědčivý, ale při odmocňování v jednom kroku ignoroval možnost pozitivního i negativního odmocnění a vzal pouze to pozitivní. Student našel tuto mezeru, když zpochybňoval každý krok. Důkaz se stal platným, když byla přidána další podmínka (pozitivita proměnných).
Čtyři kopírovatelné šablony
1) Vyžádání zkušebního návrhu (nápadu):
Která METODA by byla vhodná k prokázání následujícího tvrzení (přímého, rozporuplného, induktivního, kontrapozitivního)? Uveďte pouze HLAVNÍ NÁPAD a kostru důkazu, nepište úplný důkaz. Reklamace: [zde]
2) Krok za krokem, odůvodněné důkazy:
Následující tvrzení prokažte pomocí [metoda]: [nárok]. Zapište si, o který axiom/teorém/definici se u každého kroku opíráte. NEPOUŽÍVEJTE výrazy jako „jasně“ nebo „snadno“; Plně zdůvodněte každý přechod. Pokud jde o indukci, ukažte samostatně základní případ a krok indukce.
3) Důkaz hledání mezery:
Podívejte se na důkaz níže. STAČÍ hledat logické mezery, implicitní předpoklady a neopodstatněné skoky. Zkontrolujte, zda každé „proto“ skutečně vyplývá z předchozích kroků. Zapište každou mezeru, kterou najdete, v jakém kroku se nachází. Důkaz: [zde]
4) Vyhledejte protipříklad:
Chci otestovat, zda je následující tvrzení PRAVDIVÉ: [nárok]. Nejprve jej otestujte v jednoduchých speciálních případech; zkuste najít PROTIPŘÍKLAD. Pokud najdete protipříklad, ukažte jej; Pokud to nemůžete najít, vyjmenujte situace, které jste zkusili (ale to není důkaz, jen hledáte důkazy).
Slabá výzva / Silná výzva
Slabý: "Dokažte, že √2 je iracionální."
Výsledek: Přichází standardní důkaz, ale krok (např. „pak je p sudé“) mohl být bez odůvodnění přeskočen a vy si toho nevšimnete.
Silný: "Dokažte ROZPOROU, že √2 je iracionální. Zapište, který předpoklad jste v každém kroku použili; také zdůvodněte přechodná tvrzení jako 'Pokud je p² sudé, pak je p sudé'. Nakonec jasně ukažte, kde přesně vzniká rozpor."
Výsledek: Každé mezilehlé tvrzení je oprávněné, zdroj rozporu je jasný, nejsou ponechány žádné mezery.
Časté chyby
- Záměna plynulosti s platností. Přesvědčivý text není platným důkazem; Každý krok musí být pod dohledem.
- Přeskočení základního stavu při indukci. AI často zapomíná na základní případ; Samotný indukční krok nestačí.
- Přijmout „bez ztráty obecnosti“ bez otázek. Toto prohlášení může být skrytou chybou; Pokaždé to zdůvodněte.
- Nevidím implicitní předpoklady. Předpoklady jako pozitivita, kontinuita, nenula atd. mohou tiše proniknout do důkazu.
- Důvěřovat důkazu bez zkoušení protipříkladu. Je-li tvrzení nepravdivé, je nepravdivý i důkaz; Nejprve otestujte pravdivost tvrzení v jednoduchých případech.
Pozor: AI dokáže vytvořit „důkaz“ i pro tvrzení, které je ve skutečnosti nepravdivé – protože vytváří text, nezaručuje logickou platnost. Pokud si nejste jisti přesností tvrzení, vyhledejte nejprve protipříklad. „Důkaz“ nepravdivého tvrzení nutně obsahuje mezeru; Vaším úkolem je najít tu mezeru.
V souhrnu
Důkaz je nejpřísnějším produktem matematiky a umělá inteligence může produkovat přesvědčivé, ale neplatné „důkazy“. Použijte AI k nalezení nápadu a metody důkazu; Ověřte si platnost každého logického kroku sami. Hledejte klíčové případy, implicitní předpoklady a mezery za frázemi jako „jasně“ a „bez předsudků“. Pokud si nejste jisti pravdivostí tvrzení, vyzkoušejte protipříklad, než důvěřujete důkazu. Plynulost není platnost.
Aplikační úkol
Vyberte standardní větu (např. „součet dvou sudých čísel je sudý“ nebo „√2 je iracionální“). Nechte AI to dokázat krok za krokem pomocí 2. šablony. Pak znovu poskytněte stejný důkaz jako ve 3. šabloně pro lov mezery – nechte ho zkontrolovat svůj vlastní důkaz. Potom ručně dotazujte každé „proto“: existuje základní případ, existuje implicitní předpoklad, je každý přechod oprávněný? Najděte a poznamenejte si alespoň jednu potenciální mezeru nebo zlepšení.
kontrolní seznam
- [ ] Upřesnil jsem tvrzení a předpoklady.
- [ ] Poznal jsem metodu důkazu a její konstrukční požadavky.
- [ ] Ověřil jsem si, že každé „proto“ vyplývá z předchozích kroků.
- [ ] Provedl jsem základní případ / kontrolu implicitních předpokladů.
- [ ] Tvrzení jsem testoval na jednoduchých případech a hledal protipříklady.
- [ ] Porovnal jsem standardní důkaz pro známé věty se spolehlivým zdrojem.