Dobički:
- Sposobnost uporabe umetne inteligence za iskanje ideje in metode dokaza (neposredni, protislovni, induktivni, kontrapozitivni) in samopreverjanje veljavnosti vsakega logičnega koraka
- Sposobnost prepoznavanja vrzeli v dokazih, implicitnih predpostavk in neupravičenih skokov za izrazi, kot je "jasno", "brez poseganja v splošnost"
- Sposobnost razlikovanja med tekočnostjo in veljavnostjo z iskanjem nasprotnih primerov, preden se zanesete na dokaz, ne da bi bili prepričani o resničnosti trditve.
Matematični dokaz je natančna izpeljava trditve v logičnih korakih iz sprejetih aksiomov in predhodno dokazanih izrekov. Dokaz je najstrožji izdelek matematike: en sam neveljaven logični prehod, opustitev ali implicitna predpostavka, ki ji pravimo "vrzel", ovrže celoten dokaz. Umetna inteligenca je zelo spretna pri izdelavi prepričljivega besedila za dokaz — in ravno zato je nevarna. Besedilo, ki se zdi prepričljivo, ni veljaven dokaz. V tej enoti se boste naučili, kako uporabljati AI kot partnerja za pripravo dokazov in kako pregledati vsak logični korak.
Prvi dve definiciji. Skica dokaza je povzetek, ki daje glavno idejo in okostje dokaza, vendar ne izpolni vseh podrobnosti. Dokazna vrzel je preskok, pri katerem dokaz pravi "tukaj sledi", vendar ga dejansko ne opravičuje. Največje tveganje pri delu z umetno inteligenco so vrzeli, ki jih pokrivajo prepričljivi stavki: besedilo je tekoče, polno veznikov, kot sta »zato« in »očitno«, vendar z vmesnimi preskoki, ki dejansko niso dokazani.
Prednosti in slabosti AI v dokazovanju
Umetna inteligenca pri dokazovanju dobro opravlja dve stvari: (1) prikliče standardno idejo dokaza znanega izreka, (2) predlaga, katera metoda (indukcija, protislovje, neposredna, kontrapozitivna) bi lahko bila primerna za dokaz. Njegova slabost je naslednja: zagotoviti, da je vsak korak izvirnega ali subtilnega dokaza dejansko veljaven. Umetna inteligenca lahko proizvede "zmotne dokaze", ki se zdijo resnični, vendar so v resnici lažni - na primer, lahko preskoči osnovni primer v indukcijskem koraku ali pa lahko reče "ne da bi kršil splošnost", vendar naredi predpostavko, ki dejansko krši splošnost.
Torej zlato pravilo pri dokazovanju: uporabite AI, da poiščete in orišete idejo dokaza; Sami preverite veljavnost vsakega logičnega koraka. Preden "sprejmeš" dokaz, se prepričaj, da je vsak "zato" dejansko veljaven.
Korak za korakom: preverjanje dokaza
1. Pojasnite trditev in predpostavke. Kaj se dokazuje? Pod kakšnimi predpostavkami? Če so te nejasne, je tudi dokaz nejasen.
2. Spoznajte dokazno metodo. Neposredno, s protislovjem, induktivno, kontrapozitivno? Poznavanje strukturnih zahtev metode (npr. pri indukciji je bistven osnovni primer + indukcijski korak).
3. Prevprašajte vsak "zato". Pri vsakem logičnem prehodu "ali to res sledi prejšnjim korakom?" vprašaj. Najbolj zahrbtne vrzeli se skrivajo za izrazi "očitno", "lahko se vidi", "brez izgube splošnosti".
4. Poiščite implicitne predpostavke. Ali dokaz temelji na neizrečeni domnevi? Na primer, lahko se tiho sprejme, da je število pozitivno ali da je funkcija zvezna.
5. Poskusite s protiprimerom. Če je trditev napačna, jo protiprimer poruši. Preden sprejmete dokaz, preverite, ali je trditev dejansko resnična v preprostih posebnih primerih.
6. Posvetujte se z organom za javna naročila. Primerjajte standardni dokaz za znane izreke z zanesljivim virom (učbenik, recenzirani vir).
Namig: Besedna zveza "brez izgube splošnosti" v dokazu je dvorezen meč. Včasih je dejansko veljavna (če obstaja simetrija), včasih je skrita napaka. AI pogosto uporablja ta izraz. Vsakič znova se utemeljite, da »splošnost pravzaprav ni porušena«; Ne verjemite AI na besedo.
Dokazne metode in pasti
dokazna metoda
Struktura
Najpogostejša past AI
neposredno
Predpostavka → ... → Zaključek
preskočite korak vmes
protislovje
Predpostavi nasprotno → poišči protislovje
Protislovje ni resnično
indukcija
Osnovni primer + stopnica
Pozabi na osnovno situacijo
kontrapozitiven
¬Sklep → ¬Domneva
lažna negacija
Protiprimer (izpodbijanje)
en sam protiprimer
Protiprimer ni veljaven
trije mini kovčki
Primer 1 – nepopoln osnovni primer. Učitelj je dal AI z indukcijo dokazati formulo "1 + 2 + ... + n = n(n+1)/2". AI je pravilno zapisal indukcijski korak, vendar ni nikoli preveril osnovnega primera (n=1). Učitelj vpraša "kje je osnovni primer?" vprašal je; Dodan AI. Brez osnovnega stanja je indukcija neveljavna; 30-sekundno preverjanje je rešilo dokaz.
Primer 2 – Skrivno deljenje z ničlo. En študent je videl smešen "dokaz", kot je "a = b za vsak a, b" in vprašal AI "kje je tukaj napaka?" je vprašal. YZ je pravilno pokazal, da dokaz deli z (a − b) v enem koraku in ob predpostavki a = b je to deljenje z nič. Tu je bil AI uspešen kot revizor; vendar je učenec ta korak vseeno preveril z lastno roko.
Primer 3 – Prepričljivi lažni dokazi. Študent inženirstva je z umetno inteligenco dokazal neenakost. Besedilo je bilo tekoče in prepričljivo, vendar je pri korenjenju v enem koraku zanemarilo možnost pozitivnih in negativnih korenin in jemalo le pozitivne. Študent je našel to vrzel, ko je dvomil o vsakem koraku. Dokaz je postal veljaven, ko je bil dodan dodaten pogoj (pozitivnost spremenljivk).
Štiri predloge za kopiranje
1) Zahtevanje osnutka (zamisli):
Katera METODA bi bila primerna za dokazovanje naslednje trditve (direktna, protislovna, induktivna, kontrapozitivna)? Navedite le GLAVNO IDEJO in okostje dokaza, ne napišite celotnega dokaza. Zahtevek: [tukaj]
2) Korak za korakom, utemeljen dokaz:
Dokažite naslednjo trditev z [metodo]: [trditev]. Zapišite, na kateri aksiom/izrek/definicijo se zanašate za vsak korak. NE uporabljajte izrazov, kot sta "jasno" ali "zlahka"; Vsak prehod v celoti upravičite. Če gre za indukcijo, prikažite osnovni primer in korak indukcije ločeno.
3) Lov na dokazno luknjo:
Oglejte si spodnji dokaz. SAMO iščite logične vrzeli, implicitne predpostavke in neupravičene preskoke. Preverite, ali vsak "zato" dejansko izhaja iz prejšnjih korakov. Zapišite vsako vrzel, ki jo najdete, v katerem koraku je. Dokaz: [tukaj]
4) Poiščite protiprimer:
Želim preizkusiti, ali je naslednja trditev TRUE: [claim]. Najprej jo preizkusite v preprostih posebnih primerih; poskusite najti PROTIZMER. Če najdete protiprimer, ga pokažite; Če ga ne najdete, naštejte situacije, ki ste jih poskusili (vendar to ni dokaz, samo iskanje dokazov).
Šibek poziv/močan poziv
Slab: "Dokaži, da je √2 iracionalen."
Rezultat: Standardni dokaz pride, vendar je bil korak (npr. "potem je p sodo") morda preskočen brez utemeljitve in tega ne boste opazili.
Močno: "S PROTISLOVJEM dokažite, da je √2 iracionalen. Zapišite, katero predpostavko ste uporabili pri vsakem koraku; utemeljite tudi vmesne trditve, kot je 'Če je p² sodo, potem je p sodo'. Končno jasno pokažite, kje natanko nastane protislovje."
Rezultat: Vsaka vmesna trditev je upravičena, izvor protislovja je jasen, nobenih vrzeli.
Pogoste napake
- Mešanje tekočnosti z veljavnostjo. Prepričljivo besedilo ni veljaven dokaz; Vsak korak je treba nadzorovati.
- Preskok osnovnega stanja pri indukciji. AI pogosto pozabi na osnovni primer; Samo indukcijski korak ni dovolj.
- Sprejeti "brez izgube splošnosti" brez vprašanj. Ta izjava je lahko prikrita napaka; Vsakič utemelji.
- Ne vidim implicitnih predpostavk. Predpostavke, kot so pozitivnost, kontinuiteta, neničelnost itd., lahko tiho uhajajo v dokaz.
- Zaupati dokazu brez poskusa protiprimera. Če je trditev napačna, je lažen tudi dokaz; Najprej preizkusite resničnost trditve na preprostih primerih.
Pozor: AI lahko ustvari "dokaz" tudi za trditev, ki je dejansko napačna - ker ustvari besedilo, ne zagotavlja logične veljavnosti. Če niste prepričani o točnosti trditve, najprej poiščite protiprimer. »Dokaz« lažne trditve nujno vsebuje vrzel; Vaša naloga je najti to vrzel.
Če povzamem
Dokaz je najstrožji izdelek matematike in umetna inteligenca lahko ustvari prepričljive, a neveljavne "dokaze". Uporabite AI, da poiščete dokazno idejo in metodo; Sami preverite veljavnost vsakega logičnega koraka. Poiščite ključne primere, implicitne predpostavke in vrzeli za frazami, kot sta »jasno« in »brez predsodkov«. Če niste prepričani o resničnosti trditve, poskusite s protiprimerom, preden zaupate dokazu. Tekočnost ni veljavnost.
Aplikacijska naloga
Izberite standardni izrek (npr. "vsota dveh sodih števil je soda" ali "√2 je iracionalen"). Naj AI to dokaže korak za korakom z 2. predlogo. Nato znova podajte isti dokaz kot 3. predlogo za iskanje vrzeli — naj preveri lasten dokaz. Nato ročno vprašajte vsak "zato": ali obstaja osnovni primer, ali obstaja implicitna predpostavka, ali je vsak prehod upravičen? Poiščite in zabeležite vsaj eno potencialno vrzel ali točko izboljšave.
kontrolni seznam
- [ ] Pojasnil sem trditev in domneve.
- [ ] Spoznal sem dokazno metodo in njene strukturne zahteve.
- [ ] Preveril sem, da vsak "zato" izhaja iz prejšnjih korakov.
- [ ] Opravil sem preverjanje osnovnega primera/implicitne predpostavke.
- [ ] Trditev sem preizkusil na preprostih primerih in iskal nasprotne primere.
- [ ] Primerjal sem standardni dokaz za znane izreke z zanesljivim virom.