Nyereség:
- Képes mesterséges intelligencia segítségével megtalálni a bizonyítási ötletet és módszert (közvetlen, ellentmondásos, induktív, kontrapozitív), és önellenőrzi az egyes logikai lépések érvényességét
- Képes azonosítani a bizonyítási hiányosságokat, a burkolt feltételezéseket és az indokolatlan ugrásokat az olyan kifejezések mögött, mint az „egyértelműen”, „az általánosság sérelme nélkül”
- Képes különbséget tenni a folyékonyság és az érvényesség között azáltal, hogy ellenpéldákat keres, mielőtt bizonyítékra hagyatkozna anélkül, hogy biztos lenne az állítás igazában.
A matematikai bizonyítás egy állítás precíz levezetése logikai lépésekben elfogadott axiómákból és korábban bizonyított tételekből. A bizonyítás a matematika legszigorúbb terméke: egyetlen érvénytelen logikai átmenet, egy kihagyás vagy implicit feltételezés, amelyet „résnek” nevezünk, megcáfolja az egész bizonyítást. A mesterséges intelligencia nagyon ügyes abban, hogy meggyőzőnek tűnő szöveget állítson elő bizonyítékként – és pontosan ezért veszélyes. A meggyőzőnek tűnő szöveg nem érvényes bizonyíték. Ebben az egységben megtudhatja, hogyan használhatja a mesterséges intelligenciát próbarajzi partnerként, és hogyan vizsgálhatja meg az egyes logikai lépéseket.
Az első két definíció. A bizonyítási vázlat olyan összefoglalás, amely megadja a bizonyítás fő gondolatát és vázát, de nem tölt ki minden részletet. A bizonyítási hézag olyan ugrás, amelyben a bizonyítás azt mondja, hogy "itt következik", de valójában nem igazolja. Az AI-val való munka során a legnagyobb kockázatot a meggyőző mondatok által elfedett hiányosságok jelentik: a szöveg gördülékeny, tele van olyan kötőszókkal, mint a „tehát” és a „nyilvánvalóan”, de a közöttük lévő ugrásokkal nem bizonyított.
Az AI erősségei és gyengeségei a bizonyításban
A mesterséges intelligencia két dolgot tesz jól a bizonyításban: (1) felidézi egy ismert tétel bizonyításának standard gondolatát, (2) azt javasolja, hogy milyen módszer (indukció, ellentmondás, direkt, kontrapozitív) lehet megfelelő a bizonyításra. Gyengesége a következő: annak biztosítása, hogy az eredeti vagy finom bizonyítás minden lépése valóban érvényes legyen. A mesterséges intelligencia képes „téves bizonyításokat” produkálni, amelyek igaznak tűnnek, de valójában hamisak – például kihagyhatja az alapesetet egy indukciós lépésben, vagy azt mondhatja, hogy „az általánosság megszegése nélkül”, de olyan feltételezést tesz, amely valójában megtöri az általánosságot.
Tehát az aranyszabály a bizonyításban: használja az AI-t a bizonyíték ötletének megtalálásához és körvonalazásához; Ellenőrizze saját maga az egyes logikai lépések érvényességét. Mielőtt „elfogadna” egy bizonyítékot, győződjön meg arról, hogy minden „tehát” valóban érvényes.
Lépésről lépésre: a bizonyíték ellenőrzése
1. Tisztázza az állítást és a feltételezéseket. Mit bizonyítanak? Milyen feltételezések alapján? Ha ezek homályosak, a bizonyíték is homályos.
2. Ismerje a bizonyítási módszert. Közvetlenül, ellentmondással, induktívan, ellentétesen? Ismerje a módszer szerkezeti követelményeit (pl. indukcióban alapeset + indukciós lépés elengedhetetlen).
3. Kérdezzen meg minden „ezért”. Minden logikai átmenetnél "tényleg ez következik az előző lépésekből?" kérdez. A "nyilvánvalóan", "könnyen látható", "az általánosság elvesztése nélkül" kifejezések mögött a legálomosabb hézagok bújnak meg.
4. Keressen implicit feltételezéseket. A bizonyítás egy kimondatlan feltételezésen alapul? Például csendben el lehet fogadni, hogy egy szám pozitív vagy egy függvény folytonos.
5. Próbáljon ki egy ellenpéldát. Ha az állítás hamis, egy ellenpélda lerombolja azt. A bizonyíték elfogadása előtt egyszerű speciális esetekben ellenőrizze, hogy az állítás valóban igaz-e.
6. Forduljon a közbeszerzési hatósághoz. Hasonlítsa össze az ismert tételek standard bizonyítását egy megbízható forrással (tankönyv, lektorált forrás).
Tipp: Az „általánosság elvesztése nélkül” kifejezés a bizonyításban kétélű fegyver. Néha valóban érvényes (ha van szimmetria), néha rejtett hiba. Az AI gyakran használja ezt a kifejezést. Indokolja meg magát minden alkalommal, hogy "az általánosság valójában nincs megtörve"; Ne fogadd el az AI szavát.
Bizonyítási módszerek és buktatók
bizonyítási módszer
Szerkezet
A leggyakoribb AI csapda
közvetlen
Feltételezés → ... → Következtetés
közben kihagy egy lépést
ellentmondás
Tegyük fel az ellenkezőjét → találjunk ellentmondást
Az ellentmondás nem valós
indukció
Alapeset + lépés
Az alaphelyzetet elfelejtve
kontrapozitív
¬Következtetés → ¬Feltételezés
hamis tagadás
Ellenpélda (cáfolat)
egyetlen ellenpélda
Az ellenpélda érvénytelen
három mini tok
1. eset – Hiányos alapeset. Egy tanár az MI-vel indukcióval igazolta az "1 + 2 + ... + n = n(n+1)/2" képletet. Az AI helyesen írta meg az indukciós lépést, de soha nem ellenőrizte az alapesetet (n=1). A tanár megkérdezi: "hol van az alapeset?" kérdezte; tette hozzá az AI. Az alapállapot nélkül az indukció érvénytelen; Egy 30 másodperces ellenőrzés megmentette a bizonyítékot.
2. eset – Titkos osztás nullával. Az egyik diák olyan nevetséges „bizonyítékot” látott, mint „a = b minden a, b-re”, és megkérdezte az MI-t: „hol itt a hiba?” – kérdezte. YZ helyesen kimutatta, hogy a bizonyítás egy lépésben oszt (a − b)-vel, és a = b feltevés mellett ez nullával való osztás. Itt az AI sikeres volt auditorként; de a diák mégis saját kezűleg igazolta ezt a lépést.
3. eset – Meggyőző hamis bizonyíték. Egy mérnökhallgató egy mesterséges intelligencia egyenlőtlenséget bizonyít. A szöveg gördülékeny és meggyőző volt, de ha egy lépésben négyzetgyököt vett, figyelmen kívül hagyta a pozitív és negatív gyökerek lehetőségét, és csak a pozitívumot vette figyelembe. A diák megtalálta ezt a rést, amikor minden lépését megkérdőjelezte. A bizonyítás egy további feltétel (a változók pozitivitása) hozzáadásával vált érvényessé.
Négy másolható sablon
1) Próbavázlat kérése (ötlet):
Melyik MÓDSZER lenne megfelelő a következő állítás bizonyítására (közvetlen, ellentmondásos, induktív, kontrapozitív)? Csak adja meg a FŐ ÖTLETET és a bizonyíték vázát, ne írja le a teljes bizonyítást. Igénylés: [itt]
2) Lépésről lépésre, indokolt bizonyíték:
Bizonyítsa be a következő állítást [módszerrel]: [állítás]. Minden lépésnél írja le, hogy melyik axiómára/tételre/definícióra támaszkodik! NE használjon olyan kifejezéseket, mint „egyértelműen” vagy „könnyen”; Minden átmenetet teljes mértékben indokoljon. Indukció esetén külön mutassa meg az alapesetet és az indukciós lépést.
3) Bizonyító kiskapuvadászat:
Nézze meg az alábbi bizonyítékot. CSAK keressen logikai hézagokat, implicit feltételezéseket és indokolatlan ugrásokat. Ellenőrizze, hogy mindegyik „tehát” valóban az előző lépésekből következik-e. Írja le minden talált rést, hogy melyik lépésben van. Bizonyítás: [itt]
4) Keressen ellenpéldát:
Szeretném tesztelni, hogy a következő állítás IGAZ-e: [igény]. Először egyszerű speciális esetekben tesztelje; próbálj ELLENPÉLDÁT találni. Ha találsz ellenpéldát, mutasd meg; Ha nem találja, sorolja fel a kipróbált helyzeteket (de ez nem bizonyíték, csak bizonyíték keresése).
Gyenge felszólítás / Erős felszólítás
Gyenge: "Bizonyítsa be, hogy √2 irracionális."
Eredmény: Jön a standard bizonyítás, de előfordulhat, hogy egy lépést (pl. "akkor p páros") indoklás nélkül kihagytak, és nem fogod észrevenni.
Erős: "BIZONYÍTSA BE ELLENÁLLÁSSAL, hogy a √2 irracionális. Írja le, melyik feltevést használta az egyes lépéseknél; indokolja meg a köztes állításokat is, például: "Ha p² páros, akkor p páros". Végül mutasd meg világosan, hogy pontosan hol keletkezik az ellentmondás."
Eredmény: Minden köztes állítás indokolt, az ellentmondás forrása egyértelmű, hiányosságok nem maradnak fenn.
Gyakori hibák
- Összetéveszti a folyékonyságot az érvényességgel. A meggyőző szöveg nem érvényes bizonyíték; Minden lépést felügyelni kell.
- Az alapállapot átugrása indukcióban. Az AI gyakran elfelejti az alapesetet; Az indukciós lépés önmagában nem elegendő.
- Kérdés nélkül elfogadni "az általánosság elvesztése nélkül". Ez az állítás rejtett hiba lehet; Minden alkalommal indokolja meg.
- Nem látni implicit feltételezéseket. Az olyan feltevések, mint a pozitivitás, a folytonosság, a nullától eltérő stb., csendben beszivároghatnak a bizonyításba.
- Bízni a bizonyítékban anélkül, hogy ellenpéldával próbálkoznánk. Ha az állítás hamis, a bizonyítás is hamis; Először egyszerű esetekben tesztelje az állítás igazságtartalmát.
Vigyázat: A mesterséges intelligencia még a ténylegesen hamis állításokra is képes „bizonyítékot” produkálni – mivel szöveget állít elő, nem garantálja a logikai érvényességet. Ha nem biztos az állítás pontosságában, először keressen ellenpéldát. A hamis állítás „bizonyítéka” szükségszerűen tartalmaz egy kiskaput; Az Ön feladata, hogy megtalálja ezt a rést.
Összefoglalva
A bizonyítás a matematika legszigorúbb terméke, és a mesterséges intelligencia meggyőző, de érvénytelen „bizonyítékokat” tud készíteni. Használja az AI-t a bizonyítási ötlet és módszer megtalálásához; Ellenőrizze saját maga az egyes logikai lépések érvényességét. Keressen kulcsfontosságú eseteket, implicit feltételezéseket és kiskapukat az olyan kifejezések mögött, mint az „egyértelműen” és az „előítéletek nélkül”. Ha nem biztos az állítás igazában, próbáljon ki egy ellenpéldát, mielőtt megbízik a bizonyítékban. A folyékonyság nem érvényesség.
Pályázati feladat
Válasszon egy szabványos tételt (például "két páros szám összege páros" vagy "√2 irracionális"). Bizonyítsd be az AI-t lépésről lépésre a 2. sablonnal. Ezután adja meg újra ugyanazt a bizonyítást, mint a 3. sablon a résvadászathoz – hadd ellenőrizze a saját bizonyítását. Ezután manuálisan kérdezze le mindegyik "tehát": van-e alapeset, van-e implicit feltételezés, minden átmenet indokolt? Keressen és jegyezzen fel legalább egy lehetséges hiányosságot vagy javítási pontot.
ellenőrző lista
- [ ] Az állítást és a feltételezéseket pontosítottam.
- [ ] Megismertem a bizonyítási módszert és annak szerkezeti követelményeit.
- [ ] Ellenőriztem, hogy minden „tehát” az előző lépésekből következik.
- [ ] Alapeset / implicit feltételezés ellenőrzést végeztem.
- [ ] Az állítást egyszerű esetekben teszteltem, és ellenpéldákat kerestem.
- [ ] Összehasonlítottam az ismert tételek standard bizonyítását a megbízható forrással.