Gevinster:
- Evne til å bruke kunstig intelligens for å finne ideen og metoden for bevis (direkte, selvmotsigelse, induktiv, kontrapositiv) og selvsjekke gyldigheten av hvert logisk trinn
- Evne til å identifisere bevishull, implisitte antakelser og uberettigede sprang bak uttrykk som "klart", "uten at det går ut over allmennheten"
- Evne til å skille mellom flyt og gyldighet ved å se etter moteksempler før du stoler på bevis uten å være sikker på sannheten i en påstand.
Matematisk bevis er den nøyaktige utledningen av en påstand i logiske trinn fra aksepterte aksiomer og tidligere beviste teoremer. Bevis er det mest strenge produktet av matematikk: en enkelt ugyldig logisk overgang, en utelatelse eller implisitt antakelse som vi kaller et "gap", motbeviser hele beviset. Kunstig intelligens er veldig dyktig til å produsere tekst som ser overbevisende ut som bevis – og det er nettopp derfor det er farlig. En tekst som virker overbevisende er ikke et gyldig bevis. I denne enheten vil du lære hvordan du bruker kunstig intelligens som en samarbeidspartner og hvordan du inspiserer hvert logiske trinn.
De to første definisjonene. En bevisskisse er et sammendrag som gir hovedideen og skjelettet til et bevis, men som ikke fyller ut alle detaljer. Et bevisgap er et sprang der beviset sier "her følger det", men faktisk ikke rettferdiggjør det. Den største risikoen når du arbeider med AI er hullene som dekkes av overbevisende setninger: teksten er flytende, full av konjunksjoner som "derfor" og "selvsagt", men med sprang i mellom som faktisk ikke er bevist.
Styrker og svakheter ved AI i bevis
AI gjør to ting godt som bevis: (1) fremkalle standardideen om bevis for et kjent teorem, (2) foreslå hvilken metode (induksjon, motsigelse, direkte, kontrapositiv) som kan være passende for et bevis. Dens svakhet er denne: å sikre at hvert trinn i et originalt eller subtilt bevis faktisk er gyldig. AI kan produsere "feilaktige bevis" som ser ut til å være sanne, men som faktisk er usanne - for eksempel kan den hoppe over det grunnleggende tilfellet i et induksjonstrinn, eller det kan si "uten å bryte generaliteten", men gjøre en antagelse som faktisk bryter generaliteten.
Så den gyldne regel i bevis: bruk AI for å finne og skissere ideen om beviset; Sjekk gyldigheten av hvert logiske trinn selv. Før du "godtar" et bevis, sørg for at hver "derfor" faktisk er gyldig.
Trinn for trinn: sjekke et bevis
1. Avklar påstanden og forutsetningene. Hva blir bevist? Under hvilke forutsetninger? Hvis disse er vage, er beviset også vage.
2. Kjenn til bevismetoden. Direkte, ved selvmotsigelse, induktivt, kontrapositivt? Kjenn til de strukturelle kravene til metoden (f.eks. i induksjon er grunntilfelle + induksjonstrinn avgjørende).
3. Spør hver "derfor". Ved hver logisk overgang, "følger dette virkelig fra de foregående trinnene?" spørre. De mest lumske hullene skjuler seg bak uttrykkene «åpenbart», «det er lett å se», «uten å miste allmennheten».
4. Se etter implisitte antakelser. Stoler beviset på en uuttalt antagelse? For eksempel kan det stilles aksepteres at et tall er positivt eller en funksjon er kontinuerlig.
5. Prøv et moteksempel. Hvis påstanden er falsk, river et moteksempel den. Før du godtar beviset, test at påstanden faktisk er sann i enkle spesielle tilfeller.
6. Rådfør deg med en anskaffelsesmyndighet. Sammenlign standardbeviset for kjente teoremer med en pålitelig kilde (lærebok, fagfellevurdert kilde).
Hint: Uttrykket "uten tap av generalitet" i beviset er et tveegget sverd. Noen ganger er det faktisk gyldig (hvis det er symmetri), noen ganger er det en skjult feil. AI bruker dette uttrykket mye. Rettferdiggjør deg selv hver gang at "generaliteten egentlig ikke er brutt"; Ikke ta AIs ord for det.
Bevismetoder og fallgruver
bevismetode
Struktur
Den vanligste AI-fellen
direkte
Forutsetning → ... → Konklusjon
hopper over et trinn i mellom
selvmotsigelse
Anta det motsatte → finn selvmotsigelse
Motsetningen er ikke reell
induksjon
Grunnhus + trinn
Å glemme den grunnleggende situasjonen
kontrapositiv
¬Konklusjon → ¬Antakelse
falsk negasjon
Moteksempel (motvisning)
enkelt moteksempel
Moteksempelet er ugyldig
tre minisaker
Tilfelle 1 — Ufullstendig grunntilfelle. En lærer fikk AI til å bevise formelen "1 + 2 + ... + n = n(n+1)/2" ved induksjon. AI skrev induksjonstrinnet riktig, men sjekket aldri basistilfellet (n=1). Læreren spør "hvor er grunnsaken?" spurte han; AI lagt til. Uten grunntilstanden er induksjon ugyldig; En sjekk på 30 sekunder reddet beviset.
Tilfelle 2 - Hemmelig divisjon med null. En student så et latterlig "bevis" som "a = b for hver a, b" og spurte AI-en "hvor er feilen her?" spurte han. YZ viste riktig at beviset deler med (a − b) i ett trinn, og under antakelsen a = b er dette divisjon med null. Her gjorde AI suksess som revisor; men studenten bekreftet likevel dette trinnet med egen hånd.
Sak 3 – Overbevisende falsk bevis. En ingeniørstudent hadde en AI som beviste en ulikhet. Teksten var flytende og overbevisende, men når den tok kvadratrøtter i ett trinn, ignorerte den muligheten for både positive og negative røtter og tok kun det positive. Eleven fant dette gapet når han stilte spørsmål ved hvert trinn. Beviset ble gyldig når en tilleggsbetingelse (variablenes positivitet) ble lagt til.
Fire kopierbare maler
1) Be om et prøveutkast (idé):
Hvilken METODE vil være passende for å bevise følgende påstand (direkte, selvmotsigende, induktiv, kontrapositiv)? Bare gi HOVEDIDEEN og skjelettet til beviset, ikke skriv hele beviset. Krav: [her]
2) Trinn for trinn, begrunnet bevis:
Bevis følgende påstand med [metode]: [påstand]. Skriv ned hvilket aksiom/teorem/definisjon du stoler på for hvert trinn. IKKE bruk uttrykk som "tydelig" eller "lett"; Begrunn hver overgang fullt ut. Ved induksjon, vis basistilfellet og induksjonstrinnet separat.
3) Bevis smutthulljakt:
Sjekk ut beviset nedenfor. BARE se etter logiske hull, implisitte antakelser og uberettigede sprang. Sjekk om hver "derfor" faktisk følger av de foregående trinnene. Skriv ned hvert gap du finner med hvilket trinn det er i. Bevis: [her]
4) Søk etter moteksempel:
Jeg ønsker å teste om følgende påstand er SANN: [påstand].Test den i enkle spesielle tilfeller først; prøv å finne et MOTEKSEMPEL. Hvis du finner et moteksempel, vis det; Hvis du ikke finner det, skriv opp situasjonene du prøvde (men dette er ikke bevis, bare på jakt etter bevis).
Svak forespørsel / Sterk forespørsel
Svak: "Bevis at √2 er irrasjonell."
Resultat: Standardbeviset kommer, men et trinn (f.eks. "da er p partall") kan ha blitt hoppet over uten begrunnelse, og du vil ikke merke det.
Sterkt: "Bevis VED MOTSETNING at √2 er irrasjonell. Skriv ned hvilken antakelse du brukte på hvert trinn; begrunn også mellomliggende påstander som 'Hvis p² er partall, så er p partall'. Vis til slutt tydelig hvor nøyaktig selvmotsigelsen oppstår."
Resultat: Ethvert mellomkrav er berettiget, kilden til motsigelsen er klar, ingen hull er igjen.
Vanlige feil
- Forveksler flyt med gyldighet. En overbevisende tekst er ikke et gyldig bevis; Hvert trinn må overvåkes.
- Hopp over grunntilstanden i induksjon. AI glemmer ofte grunnsaken; Induksjonstrinnet alene er ikke nok.
- Å akseptere "uten å miste allmennheten" uten spørsmål. Denne uttalelsen kan være en latent feil; Begrunn det hver gang.
- Ser ikke implisitte antakelser. Forutsetninger som positivitet, kontinuitet, ikke-null osv. kan i det stille lekke inn i beviset.
- Å stole på beviset uten å prøve et moteksempel. Hvis påstanden er falsk, er beviset også falsk; Test sannheten av påstanden i enkle tilfeller først.
Forsiktig: AI kan produsere "bevis" selv for en påstand som faktisk er usann - fordi den produserer tekst, garanterer den ikke logisk gyldighet. Hvis du er usikker på nøyaktigheten av et krav, se etter et moteksempel først. "Beviset" for en falsk påstand inneholder nødvendigvis et smutthull; Din jobb er å finne det gapet.
Oppsummert
Bevis er det mest strenge produktet av matematikk, og AI kan produsere overbevisende, men ugyldige «bevis». Bruk AI for å finne bevisideen og metoden; Sjekk gyldigheten av hvert logiske trinn selv. Se etter nøkkelsaker, implisitte antakelser og smutthull bak setninger som "klart" og "uten fordommer." Hvis du er usikker på sannheten i en påstand, prøv et moteksempel før du stoler på beviset. Flytende er ikke gyldighet.
Søknadsoppgave
Velg et standardteorem (f.eks. "summen av to partall er partall" eller "√2 er irrasjonell"). Få AI til å bevise det trinn for trinn med den andre malen. Gi deretter samme bevis som den tredje malen igjen for gap-jakten - la ham sjekke sitt eget bevis. Spør deretter manuelt hver "derfor": er det et grunnleggende tilfelle, er det en implisitt antagelse, er hver overgang berettiget? Finn og noter minst ett potensielt gap eller forbedringspunkt.
sjekkliste
- [ ] Jeg avklarte påstanden og forutsetningene.
- [ ] Jeg ble kjent med bevismetoden og dens strukturelle krav.
- [ ] Jeg bekreftet at hver "derfor" følger av de foregående trinnene.
- [ ] Jeg gjorde en base case / implisitt antakelsessjekk.
- [ ] Jeg testet påstanden i enkle tilfeller og så etter moteksempler.
- [ ] Jeg sammenlignet standardbeviset for kjente teoremer med den pålitelige kilden.