Dobici:
- Sposobnost korištenja umjetne inteligencije za pronalaženje ideje i metode dokaza (direktna, kontradiktorna, induktivna, kontrapozitivna) i samoprovjera valjanosti svakog logičnog koraka
- Sposobnost da se identifikuju praznine u dokazima, implicitne pretpostavke i neopravdani skokovi iza izraza kao što su 'jasno', 'bez prejudiciranja općenitosti'
- Sposobnost razlikovanja između tečnosti i valjanosti traženjem protuprimjera prije nego što se osloni na dokaz, a da nije siguran u istinitost tvrdnje.
Matematički dokaz je precizno izvođenje tvrdnje u logičkim koracima iz prihvaćenih aksioma i prethodno dokazanih teorema. Dokaz je najrigorozniji proizvod matematike: jedan nevažeći logički prijelaz, izostavljanje ili implicitna pretpostavka koju nazivamo "jaz", opovrgava cijeli dokaz. Umjetna inteligencija je vrlo vješta u stvaranju uvjerljivog teksta za dokaz — i upravo je zato opasna. Tekst koji djeluje uvjerljivo nije valjan dokaz. U ovoj jedinici ćete naučiti kako koristiti AI kao partnera za izradu dokaza i kako provjeriti svaki logičan korak.
Prve dvije definicije. Skica dokaza je sažetak koji daje glavnu ideju i kostur dokaza, ali ne ispunjava svaki detalj. Dokazni jaz je skok u kojem dokaz kaže "ovdje slijedi", ali ga zapravo ne opravdava. Najveći rizik pri radu s AI su praznine koje pokrivaju uvjerljive rečenice: tekst je fluidan, pun veznika poput „dakle“ i „očigledno“, ali s skokovima između koji zapravo nisu dokazani.
Snage i slabosti AI u dokazu
AI dobro radi dvije stvari u dokazu: (1) evocira standardnu ideju dokaza poznate teoreme, (2) sugerira koja bi metoda (indukcija, kontradikcija, direktna, kontrapozitivna) mogla biti prikladna za dokaz. Njegova slabost je ovo: osiguravanje da je svaki korak originalnog ili suptilnog dokaza zapravo valjan. AI može proizvesti "pogrešne dokaze" koji izgledaju istiniti, ali su zapravo lažni - na primjer, može preskočiti osnovni slučaj u koraku indukcije, ili može reći "bez narušavanja općenitosti", ali napraviti pretpostavku koja zapravo narušava općenitost.
Dakle, zlatno pravilo u dokazu: koristite AI da pronađete i ocrtate ideju dokaza; Provjerite ispravnost svakog logičnog koraka sami. Prije nego što "prihvatite" dokaz, provjerite je li svaki "dakle" stvarno valjan.
Korak po korak: provjera dokaza
1. Pojasnite tvrdnju i pretpostavke. Šta se dokazuje? Pod kojim pretpostavkama? Ako su ove nejasne, i dokaz je nejasan.
2. Poznajte metodu dokaza. Direktno, kontradiktorno, induktivno, kontrapozitivno? Poznavati strukturne zahtjeve metode (npr., u indukciji, osnovni slučaj + korak indukcije je bitan).
3. Pitajte svako „zato“. Pri svakom logičnom prijelazu, "da li ovo zaista slijedi iz prethodnih koraka?" pitaj. Najpodmuklije praznine kriju se iza izraza "očigledno", "lako se vidi", "bez gubljenja opštosti".
4. Potražite implicitne pretpostavke. Da li se dokaz oslanja na neizrečenu pretpostavku? Na primjer, može se tiho prihvatiti da je broj pozitivan ili da je funkcija kontinuirana.
5. Pokušajte s protuprimjerom. Ako je tvrdnja lažna, protuprimjer je ruši. Prije nego što prihvatite dokaz, provjerite da li je tvrdnja zaista istinita u jednostavnim posebnim slučajevima.
6. Konsultujte organ za nabavku. Uporedite standardni dokaz za poznate teoreme sa pouzdanim izvorom (udžbenik, recenzirani izvor).
Savjet: Izraz "bez gubitka općenitosti" u dokazu je mač sa dvije oštrice. Ponekad je to stvarno validno (ako postoji simetrija), ponekad je skrivena greška. AI često koristi ovaj izraz. Svaki put se opravdajte da "generalnost nije stvarno narušena"; Nemojte vjerovati AI na riječ.
Metode dokazivanja i zamke
metoda dokaza
Struktura
Najčešća AI zamka
direktno
Pretpostavka → ... → Zaključak
preskačući korak između
kontradikcija
Pretpostavite suprotno → pronađite kontradikciju
Kontradikcija nije stvarna
indukcija
Osnovni slučaj + korak
Zaboravljanje osnovne situacije
kontrapozitivan
¬Zaključak → ¬Pretpostavka
lažna negacija
Kontraprimjer (pobijanje)
jedan kontraprimer
Kontraprimjer je nevažeći
tri mini kofera
Slučaj 1 — Nepotpuni osnovni slučaj. Nastavnik je imao AI da indukcijom dokaže formulu "1 + 2 + ... + n = n(n+1)/2". AI je ispravno napisao korak indukcije, ali nikada nije provjerio osnovni slučaj (n=1). Nastavnik pita "gdje je osnovni slučaj?" upitao je; AI je dodao. Bez osnovnog stanja, indukcija je nevažeća; Provjera od 30 sekundi spasila je dokaz.
Slučaj 2 — Tajno dijeljenje nulom. Jedan student je vidio smiješan “dokaz” poput “a = b za svako a, b” i upitao AI “gdje je tu greška?” upitao je. YZ je ispravno pokazao da se dokaz dijeli sa (a − b) u jednom koraku, a pod pretpostavkom a = b, ovo je dijeljenje sa nulom. Ovdje je AI bio uspješan kao revizor; ali učenik je ipak potvrdio ovaj korak svojom rukom.
Slučaj 3 — Uvjerljivi lažni dokazi. Studentu inženjerstva AI je dokazao nejednakost. Tekst je bio tečan i uvjerljiv, ali kada je uzeo kvadratni korijen u jednom koraku, zanemario je mogućnost i pozitivnih i negativnih korijena i uzeo samo pozitivne. Student je pronašao ovu prazninu kada je ispitivao svaki korak. Dokaz je postao validan kada je dodat dodatni uslov (pozitivnost varijabli).
Četiri šablona za kopiranje
1) Zahtjev za probni nacrt (ideja):
Koja bi METODA bila prikladna za dokazivanje sljedeće tvrdnje (direktna, kontradiktorna, induktivna, kontrapozitivna)? Samo dajte GLAVNU IDEJU i kostur dokaza, nemojte pisati cijeli dokaz. Tvrdnja: [ovdje]
2) Korak po korak, obrazloženi dokaz:
Dokažite sljedeću tvrdnju pomoću [metoda]: [tvrdnja]. Zapišite na koji aksiom/teoremu/definiciju se oslanjate za svaki korak. NEMOJTE koristiti izraze kao što su "jasno" ili "lako"; Potpuno opravdajte svaki prijelaz. Ako je indukcija, posebno prikažite osnovni slučaj i korak indukcije.
3) Pronalaženje puškarnica:
U nastavku pogledajte dokaz. SAMO potražite logičke praznine, implicitne pretpostavke i neopravdane skokove. Provjerite da li svako "dakle" zapravo slijedi iz prethodnih koraka. Zapišite svaku prazninu koju nađete u kojem se koraku nalazi. Dokaz: [ovdje]
4) Potražite protuprimjer:
Želim testirati da li je sljedeća tvrdnja TAČNA: [claim].Prvo testirajte u jednostavnim posebnim slučajevima; pokušajte pronaći PROTUPRIMJER. Ako nađete protuprimjer, pokažite ga; Ako ga ne možete pronaći, navedite situacije koje ste pokušali (ali ovo nije dokaz, samo tražite dokaze).
Slaba prompt / Jaka prompt
Slabo: "Dokaži da je √2 iracionalno."
Rezultat: Dolazi standardni dokaz, ali korak (npr. "onda je p paran") je možda preskočen bez opravdanja i nećete primijetiti.
Snažno: "Dokažite KONTRADIKCIJOM da je √2 iracionalno. Zapišite koju ste pretpostavku koristili u svakom koraku; također opravdajte srednje tvrdnje kao što je 'Ako je p² paran, onda je p paran'. Na kraju, jasno pokažite gdje tačno nastaje kontradikcija."
Rezultat: Svaka posredna tvrdnja je opravdana, izvor kontradikcije je jasan, nema praznina.
Uobičajene greške
- Brkanje tečnosti sa validnošću. Uvjerljiv tekst nije valjan dokaz; Svaki korak mora biti nadgledan.
- Preskakanje osnovnog stanja u indukciji. AI često zaboravlja osnovni slučaj; Sam korak indukcije nije dovoljan.
- Prihvatiti "bez gubljenja općenitosti" bez pitanja. Ova izjava može biti latentna greška; Svaki put opravdajte to.
- Ne videći implicitne pretpostavke. Pretpostavke kao što su pozitivnost, kontinuitet, različita od nule, itd. mogu tiho procuriti u dokaz.
- Vjerovati u dokaz bez pokušaja protuprimjera. Ako je tvrdnja lažna, i dokaz je lažan; Prvo provjerite istinitost tvrdnje u jednostavnim slučajevima.
Oprez: AI može proizvesti "dokaz" čak i za tvrdnju koja je zapravo lažna - jer proizvodi tekst, ne garantuje logičku valjanost. Ako niste sigurni u tačnost tvrdnje, prvo potražite protuprimjer. "Dokaz" lažne tvrdnje nužno sadrži rupu u zakonu; Vaš posao je pronaći tu prazninu.
Ukratko
Dokaz je najrigorozniji proizvod matematike, a AI može proizvesti uvjerljive, ali nevaljane "dokaze". Koristite AI da pronađete ideju i metodu dokaza; Provjerite ispravnost svakog logičnog koraka sami. Potražite ključne slučajeve, implicitne pretpostavke i rupe u zakonu iza fraza poput "jasno" i "bez predrasuda". Ako niste sigurni u istinitost neke tvrdnje, pokušajte s protuprimjerom prije nego što vjerujete u dokaz. Tečnost nije validnost.
Zadatak aplikacije
Odaberite standardni teorem (npr. "zbir dva parna broja je paran" ili "√2 je iracionalan"). Neka AI to dokaže korak po korak sa 2. šablonom. Zatim ponovo dajte isti dokaz kao 3. šablon za traženje praznina — neka provjeri svoj dokaz. Zatim ručno postavite upit za svaki "dakle": postoji li osnovni slučaj, postoji li implicitna pretpostavka, da li je svaki prijelaz opravdan? Pronađite i zabilježite barem jednu potencijalnu prazninu ili točku poboljšanja.
kontrolna lista
- [ ] Pojasnio sam tvrdnju i pretpostavke.
- [ ] Upoznao sam metodu dokaza i njene strukturalne zahtjeve.
- [ ] Provjerio sam da svako "dakle" slijedi iz prethodnih koraka.
- [ ] Uradio sam provjeru osnovnog slučaja / implicitne pretpostavke.
- [ ] Testirao sam tvrdnju u jednostavnim slučajevima i tražio kontraprimjere.
- [ ] Uporedio sam standardni dokaz za poznate teoreme sa pouzdanim izvorom.