Keuntungan:
- Keupayaan menggunakan kecerdasan buatan untuk mencari idea dan kaedah pembuktian (langsung, percanggahan, induktif, kontrapositif) dan semak sendiri kesahihan setiap langkah logik
- Keupayaan untuk mengenal pasti jurang pembuktian, andaian tersirat dan lompatan yang tidak wajar di sebalik ungkapan seperti 'jelas', 'tanpa prejudis kepada umum'
- Keupayaan untuk membezakan antara kefasihan dan kesahihan dengan mencari contoh balas sebelum bergantung pada bukti tanpa pasti kebenaran sesuatu tuntutan.
Bukti matematik ialah terbitan tepat tuntutan dalam langkah logik daripada aksiom yang diterima dan teorem yang telah terbukti sebelum ini. Bukti ialah produk matematik yang paling ketat: satu peralihan logik yang tidak sah, peninggalan atau andaian tersirat yang kita panggil "jurang", menyangkal keseluruhan bukti. Kecerdasan buatan sangat mahir dalam menghasilkan teks yang kelihatan meyakinkan untuk bukti — dan itulah sebabnya ia berbahaya. Teks yang kelihatan meyakinkan bukanlah bukti yang sah. Dalam unit ini anda akan belajar cara menggunakan AI sebagai rakan kongsi penggubalan bukti dan cara memeriksa setiap langkah logik.
Dua definisi pertama. Lakaran bukti ialah ringkasan yang memberikan idea utama dan rangka bukti, tetapi tidak mengisi setiap butiran. Jurang pembuktian ialah lompatan di mana bukti mengatakan "di sini ia mengikuti" tetapi sebenarnya tidak membenarkannya. Risiko terbesar apabila bekerja dengan AI ialah jurang yang diliputi oleh ayat persuasif: teksnya cair, penuh dengan kata hubung seperti "oleh itu" dan "jelas," tetapi dengan lompatan di antaranya sebenarnya tidak terbukti.
Kekuatan dan kelemahan AI dalam pembuktian
AI melakukan dua perkara dengan baik dalam pembuktian: (1) membangkitkan idea standard pembuktian teorem yang diketahui, (2) mencadangkan kaedah (aruhan, percanggahan, langsung, kontrapositif) yang mungkin sesuai untuk pembuktian. Kelemahannya adalah ini: memastikan bahawa setiap langkah bukti asli atau halus sebenarnya sah. AI boleh menghasilkan "bukti palsu" yang kelihatan benar tetapi sebenarnya palsu - contohnya, ia boleh melangkau kes asas dalam langkah induksi, atau ia boleh mengatakan "tanpa melanggar keumuman" tetapi membuat andaian yang sebenarnya memecahkan keumuman.
Jadi peraturan emas dalam pembuktian: gunakan AI untuk mencari dan menggariskan idea pembuktian; Semak sendiri kesahihan setiap langkah logik. Sebelum "menerima" bukti, pastikan setiap "oleh itu" sebenarnya sah.
Langkah demi langkah: menyemak bukti
1. Jelaskan tuntutan dan andaian. Apa yang dibuktikan? Di bawah andaian apa? Jika ini kabur, buktinya juga kabur.
2. Mengetahui kaedah pembuktian. Secara langsung, dengan percanggahan, secara induktif, kontrapositif? Ketahui keperluan struktur kaedah (cth., dalam aruhan, kes asas + langkah aruhan adalah penting).
3. Soalan setiap "oleh itu". Pada setiap peralihan logik, "adakah ini benar-benar mengikut langkah sebelumnya?" bertanya. Jurang yang paling berbahaya bersembunyi di sebalik ungkapan "jelas", "ia mudah dilihat", "tanpa kehilangan umum".
4. Cari andaian tersirat. Adakah buktinya bergantung pada andaian yang tidak diucapkan? Sebagai contoh, boleh diterima secara senyap bahawa nombor adalah positif atau fungsi adalah berterusan.
5. Cuba contoh balas. Jika tuntutan itu palsu, contoh balas merobohkannya. Sebelum menerima bukti, uji bahawa dakwaan itu sebenarnya benar dalam kes khas yang mudah.
6. Rujuk pihak berkuasa perolehan. Bandingkan bukti piawai untuk teorem yang diketahui dengan sumber yang boleh dipercayai (buku teks, sumber semakan rakan sebaya).
Petunjuk: Ungkapan "tanpa kehilangan umum" dalam bukti adalah pedang bermata dua. Kadang-kadang ia sebenarnya sah (jika ada simetri), kadang-kadang ia adalah ralat tersembunyi. AI banyak menggunakan ungkapan ini. Wajarkan diri anda setiap kali bahawa "umum tidak benar-benar rosak"; Jangan ambil kata AI untuk itu.
Kaedah bukti dan perangkap
kaedah pembuktian
Struktur
Perangkap AI yang paling biasa
langsung
Andaian → ... → Kesimpulan
melangkau satu langkah di antara
percanggahan
Andaikan sebaliknya → cari percanggahan
Percanggahan itu tidak nyata
induksi
Kes asas + langkah
Melupakan keadaan asas
kontrapositif
¬Kesimpulan → ¬Andaian
penafian palsu
Contoh balas (bantahan)
contoh balas tunggal
Contoh balas adalah tidak sah
tiga kes mini
Kes 1 — Kes asas tidak lengkap. Seorang guru mempunyai AI membuktikan formula "1 + 2 + ... + n = n(n+1)/2" secara induksi. AI menulis langkah induksi dengan betul tetapi tidak pernah menyemak kes asas (n=1). Guru bertanya "di mana kes asas?" dia bertanya; AI menambah. Tanpa keadaan asas, induksi adalah tidak sah; Semakan selama 30 saat menyelamatkan bukti.
Kes 2 — Pembahagian rahsia dengan sifar. Seorang pelajar melihat "bukti" yang tidak masuk akal seperti "a = b untuk setiap a, b" dan bertanya kepada AI "di manakah kesilapan di sini?" dia bertanya. YZ dengan betul menunjukkan bahawa bukti membahagi dengan (a − b) dalam satu langkah, dan di bawah andaian a = b, ini adalah pembahagian dengan sifar. Di sini AI telah berjaya sebagai juruaudit; tetapi pelajar masih mengesahkan langkah ini dengan tangannya sendiri.
Kes 3 — Bukti palsu yang meyakinkan. Seorang pelajar kejuruteraan mempunyai AI membuktikan ketidaksamaan. Teks itu fasih dan meyakinkan, tetapi apabila mengambil punca kuasa dua dalam satu langkah, ia mengabaikan kemungkinan punca positif dan negatif dan hanya mengambil punca positif. Pelajar itu menemui jurang ini apabila dia mempersoalkan setiap langkah. Bukti menjadi sah apabila syarat tambahan (positif pembolehubah) ditambah.
Empat templat yang boleh disalin
1) Meminta draf bukti (idea):
KAEDAH yang manakah sesuai untuk membuktikan tuntutan berikut (langsung, percanggahan, induktif, kontrapositif)? Hanya berikan IDEA UTAMA dan rangka pembuktian, jangan tulis bukti penuh. Tuntutan: [di sini]
2) Langkah demi langkah, bukti yang beralasan:
Buktikan tuntutan berikut dengan [kaedah]: [tuntutan]. Tuliskan aksiom/teorem/takrif yang anda andalkan untuk setiap langkah. JANGAN gunakan ungkapan seperti "jelas" atau "mudah"; Wajarkan sepenuhnya setiap peralihan. Jika aruhan, tunjukkan bekas asas dan langkah aruhan secara berasingan.
3) Pemburuan celah bukti:
Semak bukti di bawah. CUMA cari jurang logik, andaian tersirat dan lompatan yang tidak wajar. Semak sama ada setiap "oleh itu" benar-benar mengikuti daripada langkah sebelumnya. Tulis setiap jurang yang anda temui dengan langkah mana ia berada. Bukti: [di sini]
4) Cari contoh balas:
Saya ingin menguji sama ada tuntutan berikut adalah BENAR: [claim].Ujinya dalam kes khas yang mudah dahulu; cuba cari CONTEREXAMPLE. Jika anda menemui contoh balas, tunjukkan; Jika anda tidak menemuinya, senaraikan situasi yang anda cuba (tetapi ini bukan bukti, hanya mencari bukti).
Gesaan lemah / Gesaan kuat
Lemah: "Buktikan bahawa √2 adalah tidak rasional."
Keputusan: Bukti standard datang, tetapi satu langkah (mis. "maka p adalah genap") mungkin telah dilangkau tanpa alasan dan anda tidak akan perasan.
Kuat: "Buktikan SECARA PERCANGGAHAN bahawa √2 adalah tidak rasional. Tuliskan andaian yang anda gunakan pada setiap langkah; juga wajarkan tuntutan perantaraan seperti 'Jika p² genap, maka p genap'. Akhir sekali, tunjukkan dengan jelas di mana tepat percanggahan itu timbul."
Keputusan: Setiap tuntutan perantaraan adalah wajar, punca percanggahan adalah jelas, tiada jurang yang tersisa.
Kesilapan biasa
- Kefasihan yang mengelirukan dengan kesahihan. Teks persuasif bukanlah bukti yang sah; Setiap langkah mesti diawasi.
- Melangkau keadaan asas dalam aruhan. AI sering melupakan kes asas; Langkah induksi sahaja tidak mencukupi.
- Untuk menerima "tanpa kehilangan keumuman" tanpa persoalan. Pernyataan ini mungkin ralat terpendam; Wajarkannya setiap masa.
- Tidak melihat andaian tersirat. Andaian seperti positif, kesinambungan, bukan sifar, dll. boleh bocor secara senyap ke dalam bukti.
- Mempercayai bukti tanpa mencuba contoh balas. Jika tuntutan itu palsu, buktinya juga palsu; Uji kebenaran dakwaan dalam kes mudah dahulu.
Awas: AI boleh menghasilkan "bukti" walaupun untuk tuntutan yang sebenarnya palsu — kerana ia menghasilkan teks, ia tidak menjamin kesahihan logik. Jika anda tidak pasti tentang ketepatan tuntutan, cari contoh balas terlebih dahulu. "Bukti" tuntutan palsu semestinya mengandungi kelemahan; Tugas anda adalah untuk mencari jurang itu.
Secara ringkasnya
Bukti ialah produk matematik yang paling ketat, dan AI boleh menghasilkan "bukti" yang meyakinkan tetapi tidak sah. Gunakan AI untuk mencari idea dan kaedah bukti; Semak sendiri kesahihan setiap langkah logik. Cari kes utama, andaian tersirat dan kelemahan di sebalik frasa seperti "jelas" dan "tanpa prejudis." Jika anda tidak pasti tentang kebenaran dakwaan, cuba contoh balas sebelum mempercayai bukti. Kefasihan bukan kesahihan.
Tugasan permohonan
Pilih teorem piawai (cth. "jumlah dua nombor genap ialah genap" atau "√2 adalah tidak rasional"). Minta AI membuktikannya langkah demi langkah dengan templat ke-2. Kemudian berikan bukti yang sama seperti templat ke-3 sekali lagi untuk pencarian jurang — biarkan dia menyemak buktinya sendiri. Kemudian tanya secara manual setiap "oleh itu": adakah terdapat kes asas, adakah terdapat andaian tersirat, adakah setiap peralihan wajar? Cari dan catatkan sekurang-kurangnya satu potensi jurang atau titik peningkatan.
senarai semak
- [ ] Saya menjelaskan tuntutan dan andaian.
- [ ] Saya dapat mengetahui kaedah pembuktian dan keperluan strukturnya.
- [ ] Saya mengesahkan bahawa setiap "oleh itu" mengikut daripada langkah sebelumnya.
- [ ] Saya melakukan semakan kes asas / andaian tersirat.
- [ ] Saya menguji tuntutan dalam kes mudah dan mencari contoh balas.
- [ ] Saya membandingkan bukti piawai untuk teorem yang diketahui dengan sumber yang boleh dipercayai.