Κέρδη:
- Ικανότητα χρήσης τεχνητής νοημοσύνης για την εύρεση της ιδέας και της μεθόδου απόδειξης (άμεση, αντιφατική, επαγωγική, αντιθετική) και αυτοελέγχου της εγκυρότητας κάθε λογικού βήματος
- Ικανότητα εντοπισμού αποδεικτικών κενών, σιωπηρών υποθέσεων και αδικαιολόγητων αλμάτων πίσω από εκφράσεις όπως «σαφώς», «με την επιφύλαξη της γενικότητας»
- Ικανότητα διάκρισης μεταξύ ευχέρειας και εγκυρότητας αναζητώντας αντιπαραδείγματα προτού βασιστείτε σε αποδείξεις χωρίς να είστε σίγουροι για την αλήθεια ενός ισχυρισμού.
Η μαθηματική απόδειξη είναι η ακριβής εξαγωγή ενός ισχυρισμού σε λογικά βήματα από αποδεκτά αξιώματα και προηγουμένως αποδεδειγμένα θεωρήματα. Η απόδειξη είναι το πιο αυστηρό προϊόν των μαθηματικών: μια ενιαία άκυρη λογική μετάβαση, μια παράλειψη ή σιωπηρή υπόθεση που ονομάζουμε «κενό», αναιρεί ολόκληρη την απόδειξη. Η τεχνητή νοημοσύνη είναι πολύ ικανή στο να παράγει κείμενο με πειστική εμφάνιση για απόδειξη — και γι' αυτό ακριβώς είναι επικίνδυνο. Ένα κείμενο που φαίνεται πειστικό δεν είναι έγκυρη απόδειξη. Σε αυτή την ενότητα θα μάθετε πώς να χρησιμοποιείτε το AI ως συνεργάτη σύνταξης αποδεικτικών στοιχείων και πώς να επιθεωρείτε κάθε λογικό βήμα.
Οι δύο πρώτοι ορισμοί. Ένα σκίτσο απόδειξης είναι μια περίληψη που δίνει την κύρια ιδέα και τον σκελετό μιας απόδειξης, αλλά δεν συμπληρώνει κάθε λεπτομέρεια. Ένα κενό απόδειξης είναι ένα άλμα στο οποίο η απόδειξη λέει "εδώ ακολουθεί" αλλά δεν το δικαιολογεί στην πραγματικότητα. Ο μεγαλύτερος κίνδυνος όταν εργάζεστε με την τεχνητή νοημοσύνη είναι τα κενά που καλύπτονται από πειστικές προτάσεις: το κείμενο είναι ρευστό, γεμάτο συνδέσμους όπως «άρα» και «προφανώς», αλλά με άλματα ενδιάμεσα που στην πραγματικότητα δεν αποδεικνύονται.
Πλεονεκτήματα και αδυναμίες της AI στην απόδειξη
Το AI κάνει δύο πράγματα καλά στην απόδειξη: (1) προκαλεί την τυπική ιδέα της απόδειξης ενός γνωστού θεωρήματος, (2) προτείνει ποια μέθοδο (επαγωγή, αντίφαση, άμεση, αντιθετική) μπορεί να είναι κατάλληλη για μια απόδειξη. Η αδυναμία του είναι η εξής: η διασφάλιση ότι κάθε βήμα μιας πρωτότυπης ή λεπτής απόδειξης είναι πραγματικά έγκυρο. Η τεχνητή νοημοσύνη μπορεί να παράγει «λανθασμένες αποδείξεις» που φαίνονται αληθινές αλλά στην πραγματικότητα είναι ψευδείς — για παράδειγμα, μπορεί να παρακάμψει τη βασική περίπτωση σε ένα βήμα επαγωγής ή μπορεί να πει «χωρίς να σπάσει τη γενικότητα», αλλά να κάνει μια υπόθεση που στην πραγματικότητα παραβιάζει τη γενικότητα.
Έτσι ο χρυσός κανόνας στην απόδειξη: χρησιμοποιήστε AI για να βρείτε και να περιγράψετε την ιδέα της απόδειξης. Ελέγξτε μόνοι σας την εγκυρότητα κάθε λογικού βήματος. Πριν «αποδεχθείτε» μια απόδειξη, βεβαιωθείτε ότι κάθε «άρα» ισχύει πραγματικά.
Βήμα προς βήμα: έλεγχος μιας απόδειξης
1. Διευκρινίστε τον ισχυρισμό και τις υποθέσεις. Τι αποδεικνύεται; Κάτω από ποιες υποθέσεις; Αν αυτά είναι ασαφή, η απόδειξη είναι επίσης αόριστη.
2. Γνωρίστε τη μέθοδο απόδειξης. Άμεσα, με αντίφαση, επαγωγικά, αντιθετικά; Γνωρίστε τις δομικές απαιτήσεις της μεθόδου (π.χ. στην επαγωγή, βασική περίπτωση + βήμα επαγωγής είναι απαραίτητο).
3. Ρωτήστε κάθε «άρα». Σε κάθε λογική μετάβαση, "ακολουθεί πραγματικά αυτό από τα προηγούμενα βήματα;" παρακαλώ. Τα πιο ύπουλα κενά κρύβονται πίσω από τις εκφράσεις «προφανώς», «εύκολα φαίνεται», «χωρίς να χάνεται η γενικότητα».
4. Ψάξτε για σιωπηρές υποθέσεις. Η απόδειξη βασίζεται σε μια άρρητη υπόθεση; Για παράδειγμα, μπορεί να γίνει σιωπηλά αποδεκτό ότι ένας αριθμός είναι θετικός ή μια συνάρτηση είναι συνεχής.
5. Δοκιμάστε ένα αντιπαράδειγμα. Εάν ο ισχυρισμός είναι ψευδής, ένα αντιπαράδειγμα τον καταργεί. Πριν αποδεχτείτε την απόδειξη, ελέγξτε ότι ο ισχυρισμός είναι πραγματικά αληθινός σε απλές ειδικές περιπτώσεις.
6. Συμβουλευτείτε μια αρχή προμηθειών. Συγκρίνετε την τυπική απόδειξη για γνωστά θεωρήματα με μια αξιόπιστη πηγή (εγχειρίδιο, πηγή με αξιολόγηση από ομοτίμους).
Υπόδειξη: Η φράση «χωρίς απώλεια γενικότητας» στην απόδειξη είναι δίκοπο μαχαίρι. Μερικές φορές είναι πραγματικά έγκυρο (αν υπάρχει συμμετρία), μερικές φορές είναι ένα κρυφό σφάλμα. Το AI χρησιμοποιεί αυτή την έκφραση πολύ. Δικαιολογήστε τον εαυτό σας κάθε φορά ότι «η γενικότητα δεν είναι πραγματικά σπασμένη». Μην δέχεστε τη λέξη της τεχνητής νοημοσύνης.
Μέθοδοι απόδειξης και παγίδες
μέθοδος απόδειξης
Δομή
Η πιο κοινή παγίδα AI
άμεσο
Υπόθεση → ... → Συμπέρασμα
παρακάμπτοντας ένα βήμα ενδιάμεσα
αντίφαση
Υποθέστε το αντίθετο → βρείτε αντίφαση
Η αντίφαση δεν είναι πραγματική
επαγωγή
Βάση θήκη + βήμα
Ξεχνώντας τη βασική κατάσταση
αντιθετικό
¬Συμπέρασμα → ¬Υπόθεση
ψευδής άρνηση
Αντιπαράδειγμα (αντίρρηση)
ενιαίο αντιπαράδειγμα
Το αντιπαράδειγμα δεν είναι έγκυρο
τρεις μίνι θήκες
Περίπτωση 1 — Ημιτελής βασική υπόθεση. Ένας δάσκαλος είχε το AI να αποδείξει τον τύπο "1 + 2 + ... + n = n(n+1)/2" επαγωγικά. Το AI έγραψε σωστά το βήμα επαγωγής, αλλά ποτέ δεν έλεγξε τη βασική θήκη (n=1). Ο δάσκαλος ρωτά "πού είναι η βασική θήκη;" ρώτησε? Προστέθηκε AI. Χωρίς τη βασική κατάσταση, η επαγωγή είναι άκυρη. Ένας έλεγχος 30 δευτερολέπτων έσωσε την απόδειξη.
Περίπτωση 2 — Μυστική διαίρεση με το μηδέν. Ένας μαθητής είδε μια γελοία «απόδειξη» όπως «a = b για κάθε a, b» και ρώτησε τον AI «πού είναι το λάθος εδώ;» ρώτησε. Ο YZ έδειξε σωστά ότι η απόδειξη διαιρείται με (a − b) σε ένα βήμα, και με την υπόθεση a = b, αυτό είναι διαίρεση με το μηδέν. Εδώ το AI ήταν επιτυχές ως ελεγκτής. αλλά ο μαθητής εξακολουθούσε να επαληθεύει αυτό το βήμα με το δικό του χέρι.
Περίπτωση 3 — Πειστικά ψευδή στοιχεία. Ένας φοιτητής μηχανικός είχε μια τεχνητή νοημοσύνη να αποδείξει μια ανισότητα. Το κείμενο ήταν εύρυθμο και πειστικό, αλλά όταν έπαιρνε τετραγωνικές ρίζες σε ένα βήμα, αγνόησε την πιθανότητα τόσο θετικών όσο και αρνητικών ριζών και πήρε μόνο τις θετικές. Ο μαθητής βρήκε αυτό το κενό όταν αμφισβητούσε κάθε βήμα. Η απόδειξη έγινε έγκυρη όταν προστέθηκε μια πρόσθετη συνθήκη (θετικότητα των μεταβλητών).
Τέσσερα πρότυπα με δυνατότητα αντιγραφής
1) Ζητώντας ένα προσχέδιο απόδειξης (ιδέα):
Ποια ΜΕΘΟΔΟΣ θα ήταν κατάλληλη για να αποδείξει τον ακόλουθο ισχυρισμό (άμεσος, αντιφατικός, επαγωγικός, αντιθετικός); Απλώς δώστε την ΚΥΡΙΑ ΙΔΕΑ και τον σκελετό της απόδειξης, μην γράφετε την πλήρη απόδειξη. Αξίωση: [εδώ]
2) Βήμα προς βήμα, αιτιολογημένη απόδειξη:
Αποδείξτε τον ακόλουθο ισχυρισμό με [μέθοδο]: [αξίωση]. Γράψτε σε ποιο αξίωμα/θεώρημα/ορισμό βασίζεστε για κάθε βήμα. ΜΗΝ χρησιμοποιείτε εκφράσεις όπως "σαφώς" ή "εύκολα". Να δικαιολογήσετε πλήρως κάθε μετάβαση. Σε περίπτωση επαγωγής, δείξτε ξεχωριστά τη θήκη βάσης και το βήμα επαγωγής.
3) Κυνήγι απόδειξης παραθυράκι:
Δείτε την απόδειξη παρακάτω. ΑΠΛΩΣ αναζητήστε λογικά κενά, σιωπηρές υποθέσεις και αδικαιολόγητα άλματα. Ελέγξτε αν κάθε «άρα» ακολουθεί όντως από τα προηγούμενα βήματα. Σημειώστε κάθε κενό που βρίσκετε με ποιο βήμα βρίσκεται. Απόδειξη: [εδώ]
4) Αναζήτηση για αντιπαράδειγμα:
Θέλω να ελέγξω αν η ακόλουθη αξίωση είναι ΑΛΗΘΗΣ: [αξίωση].Δοκιμάστε την πρώτα σε απλές ειδικές περιπτώσεις. προσπαθήστε να βρείτε ένα ΑΝΤΙΠΑΡΑΔΕΙΓΜΑ. Αν βρεις αντιπαράδειγμα, δείξε το. Εάν δεν μπορείτε να το βρείτε, απαριθμήστε τις καταστάσεις που δοκιμάσατε (αλλά αυτό δεν είναι απόδειξη, απλώς αναζητήστε στοιχεία).
Αδύναμη προτροπή / Ισχυρή προτροπή
Αδύναμο: "Αποδείξτε ότι το √2 είναι παράλογο."
Αποτέλεσμα: Έρχεται η τυπική απόδειξη, αλλά ένα βήμα (π.χ. "τότε το p είναι άρτιο") μπορεί να έχει παραλειφθεί χωρίς αιτιολόγηση και δεν θα το προσέξετε.
Ισχυρό: "Αποδείξτε ΜΕ ΑΝΤΙΘΕΣΗ ότι το √2 είναι παράλογο. Σημειώστε ποια υπόθεση χρησιμοποιήσατε σε κάθε βήμα. Επίσης αιτιολογήστε ενδιάμεσους ισχυρισμούς όπως "Αν το p² είναι άρτιο, τότε το p είναι άρτιο". Τέλος, δείξτε ξεκάθαρα πού ακριβώς προκύπτει η αντίφαση."
Αποτέλεσμα: Κάθε ενδιάμεσος ισχυρισμός είναι δικαιολογημένος, η πηγή της αντίφασης είναι ξεκάθαρη, δεν υπάρχουν κενά.
Συνήθη λάθη
- Συγχέοντας την ευχέρεια με την εγκυρότητα. Ένα πειστικό κείμενο δεν είναι έγκυρη απόδειξη. Κάθε βήμα πρέπει να επιβλέπεται.
- Παράκαμψη της βασικής κατάστασης στην επαγωγή. Η τεχνητή νοημοσύνη συχνά ξεχνά τη βασική θήκη. Το βήμα της επαγωγής από μόνο του δεν είναι αρκετό.
- Να αποδεχτεί το «χωρίς να χάσει τη γενικότητα» χωρίς αμφιβολία. Αυτή η δήλωση μπορεί να είναι ένα λανθάνον σφάλμα. Δικαιολογήστε το κάθε φορά.
- Μη βλέποντας σιωπηρές υποθέσεις. Υποθέσεις όπως η θετικότητα, η συνέχεια, το μη μηδενικό κ.λπ. μπορεί να διαρρεύσουν σιωπηλά στην απόδειξη.
- Εμπιστεύεστε την απόδειξη χωρίς να δοκιμάσετε ένα αντιπαράδειγμα. Εάν ο ισχυρισμός είναι ψευδής, η απόδειξη είναι επίσης ψευδής. Δοκιμάστε πρώτα την αλήθεια του ισχυρισμού σε απλές περιπτώσεις.
Προσοχή: Η τεχνητή νοημοσύνη μπορεί να παράγει «απόδειξη» ακόμη και για έναν ισχυρισμό που είναι στην πραγματικότητα ψευδής — επειδή παράγει κείμενο, δεν εγγυάται τη λογική εγκυρότητα. Εάν δεν είστε σίγουροι για την ακρίβεια ενός ισχυρισμού, αναζητήστε πρώτα ένα αντιπαράδειγμα. Η "απόδειξη" ενός ψευδούς ισχυρισμού περιέχει αναγκαστικά ένα κενό. Η δουλειά σας είναι να βρείτε αυτό το κενό.
Συνοπτικά
Η απόδειξη είναι το πιο αυστηρό προϊόν των μαθηματικών και η τεχνητή νοημοσύνη μπορεί να παράγει πειστικές αλλά άκυρες «αποδείξεις». Χρησιμοποιήστε την τεχνητή νοημοσύνη για να βρείτε την αποδεικτική ιδέα και μέθοδο. Ελέγξτε μόνοι σας την εγκυρότητα κάθε λογικού βήματος. Αναζητήστε βασικές υποθέσεις, σιωπηρές υποθέσεις και κενά πίσω από φράσεις όπως «σαφώς» και «χωρίς προκατάληψη». Εάν δεν είστε σίγουροι για την αλήθεια ενός ισχυρισμού, δοκιμάστε ένα αντιπαράδειγμα πριν εμπιστευτείτε την απόδειξη. Η ευχέρεια δεν είναι εγκυρότητα.
Εργασία εφαρμογής
Επιλέξτε ένα τυπικό θεώρημα (π.χ. "το άθροισμα δύο ζυγών αριθμών είναι άρτιο" ή "√2 είναι παράλογο"). Ζητήστε από το AI να το αποδείξει βήμα προς βήμα με το 2ο πρότυπο. Στη συνέχεια, δώστε ξανά την ίδια απόδειξη με το 3ο πρότυπο για το κυνήγι του κενού — αφήστε τον να ελέγξει τη δική του απόδειξη. Έπειτα, ρωτήστε χειροκίνητα κάθε "άρα": υπάρχει μια βασική περίπτωση, υπάρχει μια σιωπηρή υπόθεση, είναι κάθε μετάβαση δικαιολογημένη; Βρείτε και σημειώστε τουλάχιστον ένα πιθανό κενό ή σημείο βελτίωσης.
λίστα ελέγχου
- [ ] Διευκρίνισα τον ισχυρισμό και τις υποθέσεις.
- [ ] Γνώρισα τη μέθοδο απόδειξης και τις δομικές απαιτήσεις της.
- [ ] Επιβεβαίωσα ότι κάθε «άρα» προκύπτει από τα προηγούμενα βήματα.
- [ ] Έκανα έναν έλεγχο βασικής περίπτωσης / σιωπηρής υπόθεσης.
- [ ] Δοκίμασα τον ισχυρισμό σε απλές περιπτώσεις και αναζήτησα αντιπαραδείγματα.
- [ ] Σύγκρισα την τυπική απόδειξη για γνωστά θεωρήματα με την αξιόπιστη πηγή.