Voitot:
- Kyky käyttää tekoälyä löytääkseen idean ja todistusmenetelmän (suora, ristiriitainen, induktiivinen, ristiriitainen) ja itse tarkistaa jokaisen loogisen askeleen paikkansapitävyyden
- Kyky tunnistaa todistusaukkoja, implisiittisiä oletuksia ja perusteettomia hyppyjä ilmaisujen, kuten "selvästi", "yleisyyttä rajoittamatta" takana.
- Kyky erottaa sujuvuus ja pätevyys etsimällä vastaesimerkkejä ennen kuin turvaudut todisteisiin olematta varma väitteen totuudesta.
Matemaattinen todistus on vaatimuksen tarkka johtaminen loogisissa vaiheissa hyväksytyistä aksioomeista ja aiemmin todistetuista teoreemoista. Todistus on matematiikan tiukin tuote: yksi virheellinen looginen siirtymä, laiminlyönti tai implisiittinen oletus, jota kutsumme "aukolle", kumoaa koko todisteen. Tekoäly on erittäin taitava tuottamaan vakuuttavan näköistä tekstiä todisteeksi – ja juuri siksi se on vaarallista. Vakuuttavalta vaikuttava teksti ei ole pätevä todiste. Tässä osiossa opit käyttämään tekoälyä vedospiirroskumppanina ja kuinka tarkastaa jokainen looginen vaihe.
Kaksi ensimmäistä määritelmää. Todistusluonnos on tiivistelmä, joka antaa todisteen pääidean ja rungon, mutta ei täytä kaikkia yksityiskohtia. Todistusaukko on harppaus, jossa todiste sanoo "tästä se seuraa", mutta ei itse asiassa oikeuta sitä. Tekoälyn kanssa työskennellessä suurin riski on vakuuttavien lauseiden peittämät aukot: teksti on sulavaa, täynnä konjunktiota, kuten "siksi" ja "ilmiselvästi", mutta niiden välissä on harppauksia, joita ei todellisuudessa todisteta.
Tekoälyn vahvuudet ja heikkoudet todisteissa
Tekoäly tekee kaksi asiaa hyvin todistuksessa: (1) herättää standardin idean tunnetun lauseen todistuksesta, (2) ehdottaa, mikä menetelmä (induktio, ristiriita, suora, kontrapositiivinen) voisi olla sopiva todistukselle. Sen heikkous on tämä: sen varmistaminen, että jokainen alkuperäisen tai hienovaraisen todisteen vaihe on todella pätevä. Tekoäly voi tuottaa "harhaanjohtavia todisteita", jotka vaikuttavat todelta, mutta ovat todellisuudessa vääriä – esimerkiksi se voi ohittaa perustapauksen induktiovaiheessa tai se voi sanoa "rikkomatta yleisyyttä", mutta tehdä oletuksen, joka todella rikkoo yleisyyden.
Todistuksen kultainen sääntö: käytä tekoälyä löytääksesi ja hahmotellaksesi todisteen ideaa; Tarkista jokaisen loogisen vaiheen oikeellisuus itse. Varmista ennen todisteen "hyväksymistä", että jokainen "täten" on todella pätevä.
Askel askeleelta: todisteen tarkistaminen
1. Selvitä väite ja oletukset. Mitä todistetaan? Millä olettamuksilla? Jos nämä ovat epämääräisiä, myös todisteet ovat epämääräisiä.
2. Tunne todistusmenetelmä. Suoraan, ristiriitaisesti, induktiivisesti, kontrapositiivisesti? Tunne menetelmän rakenteelliset vaatimukset (esim. induktiossa perustapaus + induktiovaihe on olennainen).
3. Kyseenalaista jokainen "siksi". Jokaisen loogisen siirtymän yhteydessä "seuraako tämä todella edellisistä vaiheista?" kysyä. Kaikkein salakavalimmat aukot piiloutuvat ilmaisujen "ilmeisesti", "se on helposti nähtävissä", "yleisyyttä menettämättä" taakse.
4. Etsi implisiittisiä oletuksia. Perustuuko todiste ääneen lausumattomaan olettamukseen? Voidaan esimerkiksi hiljaa hyväksyä, että luku on positiivinen tai funktio on jatkuva.
5. Kokeile vastaesimerkkiä. Jos väite on väärä, vastaesimerkki kumoaa sen. Ennen kuin hyväksyt todisteen, testaa, että väite on todella totta yksinkertaisissa erikoistapauksissa.
6. Ota yhteyttä hankintaviranomaiseen. Vertaa tunnettujen lauseiden vakiotodistusta luotettavaan lähteeseen (oppikirja, vertaisarvioitu lähde).
Vihje: Todistuksessa oleva ilmaus "yleisyyttä menettämättä" on kaksiteräinen miekka. Joskus se on todella voimassa (jos on symmetriaa), joskus se on piilotettu virhe. AI käyttää tätä ilmaisua paljon. Perustele itsesi joka kerta, että "yleisyys ei todellakaan ole rikki"; Älä hyväksy tekoälyn sanaa.
Todistusmenetelmät ja sudenkuopat
todistusmenetelmä
Rakenne
Yleisin AI-ansa
suoraan
Oletus → ... → Johtopäätös
ohittaa askeleen välissä
ristiriita
Oletetaan päinvastaista → löydä ristiriita
Ristiriita ei ole todellinen
induktio
Peruskotelo + askel
Perustilanne unohtuu
ristiriitainen
¬Johtopäätös → ¬Oletus
väärää kieltämistä
Vastaesimerkki (kiistäminen)
yksi vastaesimerkki
Vastaesimerkki on virheellinen
kolme minilaukkua
Tapaus 1 — Epätäydellinen perustapaus. Opettaja pyysi tekoälyä todistamaan kaavan "1 + 2 + ... + n = n(n+1)/2" induktiolla. Tekoäly kirjoitti induktioaskeleen oikein, mutta ei koskaan tarkistanut perustapausta (n=1). Opettaja kysyy "missä on perustapaus?" hän kysyi; AI lisätty. Ilman perustilaa induktio ei kelpaa; 30 sekunnin tarkistus pelasti todisteen.
Tapaus 2 – Salainen jako nollalla. Yksi opiskelija näki naurettavan "todisteen", kuten "a = b jokaiselle a, b" ja kysyi tekoälyltä "missä tässä on virhe?" hän kysyi. YZ osoitti oikein, että todistus jakaa (a − b):llä yhdessä vaiheessa, ja oletuksella a = b tämä on jako nollalla. Täällä tekoäly menestyi tilintarkastajana; mutta opiskelija kuitenkin varmisti tämän askeleen omalla kädellä.
Tapaus 3 – Vakuuttava väärä näyttö. Insinööriopiskelija osoitti tekoälyn epätasa-arvon. Teksti oli sujuvaa ja vakuuttavaa, mutta ottamalla neliöjuuret yhdessä vaiheessa, se jätti huomiotta sekä positiivisten että negatiivisten juurien mahdollisuuden ja otti vain positiivisen. Opiskelija löysi tämän aukon, kun hän kyseenalaisti jokaisen askeleen. Todistus tuli voimaan, kun lisäehto (muuttujien positiivisuus) lisättiin.
Neljä kopioitavaa mallia
1) Todistusluonnoksen (idea) pyytäminen:
Mikä MENETELMÄ olisi sopiva todistamaan seuraava väite (suora, ristiriitainen, induktiivinen, ristiriitainen)? Anna vain PÄÄIDEA ja todisteen luuranko, älä kirjoita täyttä todistetta. Väite: [täällä]
2) Askel askeleelta perusteltu todiste:
Todista seuraava väite [menetelmällä]: [väite]. Kirjoita muistiin, mihin aksioomaan/lauseeseen/määritykseen tukeudut jokaisessa vaiheessa. ÄLÄ käytä ilmaisuja, kuten "selvästi" tai "helposti"; Perustele jokainen siirtymä täysin. Jos kyseessä on induktio, näytä perustapaus ja induktiovaihe erikseen.
3) Todisteporsaanreikien etsintä:
Katso alla oleva todiste. Etsi vain loogisia aukkoja, implisiittisiä oletuksia ja perusteettomia harppauksia. Tarkista, onko jokainen "täten" todella seurausta edellisistä vaiheista. Kirjoita ylös jokainen löytämäsi aukko, missä vaiheessa se on. Todiste: [täällä]
4) Hae vastaesimerkkiä:
Haluan testata, onko seuraava väite TOSI: [vaatimus].Testaa se ensin yksinkertaisissa erikoistapauksissa; yritä löytää VASTIESIMERKKI. Jos löydät vastaesimerkin, näytä se; Jos et löydä sitä, luettele kokeilemasi tilanteet (mutta tämä ei ole todiste, vain todisteiden etsiminen).
Heikko kehote / Vahva kehote
Heikko: "Todista, että √2 on irrationaalinen."
Tulos: Vakiotodistus tulee, mutta askel (esim. "siis p on parillinen") on saatettu ohittaa ilman perusteita, etkä huomaa.
Vahva: "Todista RISTIOIKEIN, että √2 on irrationaalinen. Kirjoita muistiin, mitä olettamusta käytit kussakin vaiheessa; perustele myös väliväitteet, kuten "Jos p² on parillinen, niin p on parillinen". Osoita lopuksi selvästi, missä ristiriita oikein syntyy."
Tulos: Jokainen väliväite on perusteltu, ristiriidan lähde on selvä, aukkoja ei jää.
Yleisiä virheitä
- Sekoittaa sujuvuus pätevyyden kanssa. Vakuuttava teksti ei ole kelvollinen todiste; Jokaista vaihetta on valvottava.
- Perustilan ohittaminen induktiossa. Tekoäly unohtaa usein perustapauksen; Pelkkä induktiovaihe ei riitä.
- Hyväksyä "menettämättä yleisyyttä" kyselemättä. Tämä lausunto voi olla piilevä virhe; Perustele se joka kerta.
- Ei nähdä implisiittisiä oletuksia. Sellaiset oletukset kuin positiivisuus, jatkuvuus, nollasta poikkeava jne. voivat hiljaa vuotaa todistukseen.
- Todistukseen luottaminen kokeilematta vastaesimerkkiä. Jos väite on väärä, myös todiste on väärä; Testaa ensin väitteen totuus yksinkertaisissa tapauksissa.
Varoitus: tekoäly voi tuottaa "todisteen" jopa väitteelle, joka on todella väärä – koska se tuottaa tekstiä, se ei takaa loogista pätevyyttä. Jos olet epävarma väitteen oikeellisuudesta, etsi ensin vastaesimerkki. Väärän väitteen "todiste" sisältää välttämättä porsaanreiän; Sinun tehtäväsi on löytää se aukko.
Yhteenvetona
Todistus on matematiikan tiukin tuote, ja tekoäly voi tuottaa vakuuttavia, mutta virheellisiä "todistuksia". Käytä tekoälyä löytääksesi todiste idean ja menetelmän; Tarkista jokaisen loogisen vaiheen oikeellisuus itse. Etsi keskeisiä tapauksia, implisiittisiä olettamuksia ja porsaanreikiä ilmausten, kuten "selvästi" ja "ennakoimatta", takaa. Jos olet epävarma väitteen totuudesta, kokeile vastaesimerkkiä ennen kuin luotat todisteeseen. Sujuvuus ei ole pätevyyttä.
Sovellustehtävä
Valitse vakiolause (esim. "kahden parillisen luvun summa on parillinen" tai "√2 on irrationaalinen"). Pyydä tekoälyä todistamaan se vaihe vaiheelta toisen mallin avulla. Anna sitten sama todistus kuin 3. malli uudelleen aukon metsästystä varten – anna hänen tarkistaa omat todisteensa. Tee sitten manuaalinen kysely jokaiselta "täten": onko olemassa perustapausta, onko olemassa implisiittistä oletusta, onko jokainen siirtymä perusteltu? Etsi ja merkitse vähintään yksi mahdollinen aukko tai parannuskohta.
tarkistuslista
- [ ] Selvensin väitettä ja oletuksia.
- [ ] Tutustuin todistusmenetelmään ja sen rakenteellisiin vaatimuksiin.
- [ ] Varmistin, että jokainen "täten" seuraa edellisistä vaiheista.
- [ ] Tein perustapauksen / implisiittisen oletuksen tarkistuksen.
- [ ] Testasin väitettä yksinkertaisissa tapauksissa ja etsin vastaesimerkkejä.
- [ ] Vertailin tunnettujen lauseiden standarditodistusta luotettavaan lähteeseen.