การสร้างร่างหลักฐานและการตรวจสอบหลักฐาน

กำไร:

• ความสามารถในการใช้ปัญญาประดิษฐ์เพื่อค้นหาแนวคิดและวิธีการพิสูจน์ (โดยตรง ขัดแย้ง อุปนัย ขัดแย้ง) และตรวจสอบความถูกต้องของแต่ละขั้นตอนเชิงตรรกะด้วยตนเอง
• ความสามารถในการระบุช่องว่างที่เป็นหลักฐาน การสันนิษฐานโดยนัย และการก้าวกระโดดอย่างไม่ยุติธรรมหลังการแสดงออก เช่น 'ชัดเจน' 'โดยไม่มีอคติต่อเรื่องทั่วไป'
• ความสามารถในการแยกแยะระหว่างความคล่องแคล่วและความถูกต้องโดยการค้นหาตัวอย่างแย้งก่อนที่จะอาศัยการพิสูจน์โดยไม่ต้องมั่นใจในความจริงของการกล่าวอ้าง

การพิสูจน์ทางคณิตศาสตร์คือการได้มาที่แม่นยำของการอ้างสิทธิ์ในขั้นตอนเชิงตรรกะจากสัจพจน์ที่ยอมรับและทฤษฎีบทที่พิสูจน์แล้วก่อนหน้านี้ การพิสูจน์เป็นผลคูณที่เข้มงวดที่สุดของคณิตศาสตร์: การเปลี่ยนแปลงเชิงตรรกะที่ไม่ถูกต้องเพียงครั้งเดียว การละเลยหรือสมมติฐานโดยปริยายที่เราเรียกว่า "ช่องว่าง" จะหักล้างการพิสูจน์ทั้งหมด ปัญญาประดิษฐ์มีทักษะมากในการผลิตข้อความที่ดูน่าเชื่อถือเพื่อใช้เป็นหลักฐาน และนั่นเป็นสาเหตุที่ทำให้เกิดอันตราย ข้อความที่ดูเหมือนน่าเชื่อถือไม่ใช่ข้อพิสูจน์ที่ถูกต้อง ในหน่วยนี้ คุณจะได้เรียนรู้วิธีใช้ AI เป็นพันธมิตรในการร่างข้อพิสูจน์ และวิธีการตรวจสอบแต่ละขั้นตอนเชิงตรรกะ

สองคำจำกัดความแรก ร่างหลักฐานเป็นการสรุปที่ให้แนวคิดหลักและโครงสร้างของข้อพิสูจน์ แต่ไม่ได้กรอกทุกรายละเอียด ช่องว่างการพิสูจน์คือการก้าวกระโดดโดยที่การพิสูจน์บอกว่า "อยู่นี่" แต่ไม่ได้ให้เหตุผลที่แท้จริง ความเสี่ยงที่ใหญ่ที่สุดเมื่อทำงานกับ AI คือช่องว่างที่ถูกปกคลุมด้วยประโยคโน้มน้าวใจ ข้อความมีความลื่นไหล เต็มไปด้วยคำสันธานเช่น "ดังนั้น" และ "ชัดเจน" แต่มีการก้าวกระโดดระหว่างนั้นซึ่งไม่ได้รับการพิสูจน์จริง ๆ

จุดแข็งและจุดอ่อนของ AI ในการพิสูจน์

AI ทำสองสิ่งได้ดีในการพิสูจน์: (1) ทำให้เกิดแนวคิดมาตรฐานของการพิสูจน์ทฤษฎีบทที่ทราบ (2) แนะนำว่าวิธีการใด (การเหนี่ยวนำ ความขัดแย้ง ทางตรง หรือทางตรง) อาจเหมาะสมสำหรับการพิสูจน์ จุดอ่อนของมันคือ: การทำให้แน่ใจว่าแต่ละขั้นตอนของการพิสูจน์ต้นฉบับหรือหลักฐานที่ละเอียดอ่อนนั้นใช้ได้จริง AI สามารถสร้าง "ข้อพิสูจน์ที่ผิดพลาด" ที่ดูเหมือนจริงแต่จริงๆ แล้วเป็นเท็จ ตัวอย่างเช่น สามารถข้ามกรณีพื้นฐานในขั้นตอนการปฐมนิเทศ หรืออาจพูดว่า "โดยไม่ทำลายลักษณะทั่วไป" แต่สร้างสมมติฐานที่ทำลายลักษณะทั่วไปจริงๆ

ดังนั้นกฎทองในการพิสูจน์: ใช้ AI เพื่อค้นหาและร่างแนวคิดของการพิสูจน์ ตรวจสอบความถูกต้องของแต่ละขั้นตอนเชิงตรรกะด้วยตนเอง ก่อนที่จะ "ยอมรับ" หลักฐาน ตรวจสอบให้แน่ใจว่าแต่ละ "ดังนั้น" นั้นถูกต้องจริง

ทีละขั้นตอน: การตรวจสอบหลักฐาน

1. ชี้แจงข้อเรียกร้องและข้อสันนิษฐาน กำลังพิสูจน์อะไรอยู่? ภายใต้สมมติฐานอะไร? หากสิ่งเหล่านี้คลุมเครือ หลักฐานก็คลุมเครือเช่นกัน

2. รู้วิธีพิสูจน์ โดยตรง, โดยขัดแย้ง, อุปนัย, ตรงกันข้าม? รู้ข้อกำหนดเชิงโครงสร้างของวิธีการ (เช่น ในการเหนี่ยวนำ กรณีฐาน + ขั้นตอนการเหนี่ยวนำเป็นสิ่งสำคัญ)

3. ตั้งคำถามทุก ๆ “เพราะฉะนั้น” ในการเปลี่ยนแปลงเชิงตรรกะแต่ละครั้ง "สิ่งนี้เป็นไปตามขั้นตอนก่อนหน้านี้จริงหรือ" ถาม. ช่องว่างที่ร้ายกาจที่สุดซ่อนอยู่หลังสำนวน "ชัดเจน" "มองเห็นได้ง่าย" "โดยไม่สูญเสียความเป็นทั่วไป"

4. มองหาสมมติฐานโดยนัย หลักฐานขึ้นอยู่กับสมมติฐานที่ไม่ได้พูดหรือไม่? ตัวอย่างเช่น อาจยอมรับโดยปริยายได้ว่าตัวเลขเป็นบวกหรือฟังก์ชันต่อเนื่องกัน

5. ลองยกตัวอย่างแย้ง หากการกล่าวอ้างเป็นเท็จ ตัวอย่างโต้แย้งจะทำลายการกล่าวอ้างดังกล่าว ก่อนที่จะยอมรับหลักฐาน ให้ทดสอบว่าการกล่าวอ้างเป็นจริงในกรณีพิเศษง่ายๆ

6. ปรึกษาหน่วยงานจัดซื้อจัดจ้าง เปรียบเทียบการพิสูจน์มาตรฐานสำหรับทฤษฎีบทที่รู้จักกับแหล่งข้อมูลที่เชื่อถือได้ (ตำราเรียน แหล่งข้อมูลที่ผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิ)

คำแนะนำ: วลี "โดยไม่สูญเสียความเป็นทั่วไป" ในหลักฐานถือเป็นดาบสองคม บางครั้งก็ใช้ได้จริง (ถ้ามีสมมาตร) บางครั้งก็เป็นข้อผิดพลาดที่ซ่อนอยู่ AI ใช้สำนวนนี้บ่อยมาก พิสูจน์ตัวเองทุกครั้งว่า "ความใจกว้างไม่แตกสลายจริงๆ"; อย่าเชื่อคำพูดของ AI เลย

วิธีการพิสูจน์และข้อผิดพลาด

วิธีการพิสูจน์

โครงสร้าง

กับดัก AI ที่พบบ่อยที่สุด

โดยตรง

อัสสัมชัญ → ... → บทสรุป

ข้ามขั้นตอนระหว่างนั้น

ความขัดแย้ง

สมมติสิ่งที่ตรงกันข้าม → ค้นหาความขัดแย้ง

ความขัดแย้งไม่มีอยู่จริง

การเหนี่ยวนำ

กรณีฐาน + ขั้นตอน

ลืมสถานการณ์พื้นฐาน

ตรงกันข้าม

ฌบทสรุป → ฌอัสสัมชัญ

การปฏิเสธเท็จ

ตัวอย่างการโต้แย้ง (การโต้แย้ง)

ตัวอย่างโต้กลับเดียว

ตัวอย่างแย้งไม่ถูกต้อง

มินิเคสสามอัน

กรณีที่ 1 — กรณีฐานที่ไม่สมบูรณ์ ครูให้ AI พิสูจน์สูตร "1 + 2 + ... + n = n(n+1)/2" โดยการอุปนัย AI เขียนขั้นตอนการเหนี่ยวนำอย่างถูกต้องแต่ไม่เคยตรวจสอบกรณีฐาน (n=1) ครูถามว่า “ฐานคดีอยู่ที่ไหน” เขาถาม; เอไอเพิ่ม หากไม่มีสถานะภาคพื้นดิน การเหนี่ยวนำจะไม่ถูกต้อง การตรวจสอบ 30 วินาทีจะบันทึกหลักฐานไว้

กรณีที่ 2 — การหารความลับด้วยศูนย์ นักเรียนคนหนึ่งเห็น "ข้อพิสูจน์" ที่ไร้สาระ เช่น "a = b สำหรับทุก ๆ a, b" และถาม AI ว่า "มีข้อผิดพลาดตรงไหน" เขาถาม YZ แสดงอย่างถูกต้องว่าการพิสูจน์หารด้วย (a − b) ในขั้นตอนเดียว และภายใต้สมมติฐาน a = b นี่คือการหารด้วยศูนย์ ที่นี่ AI ประสบความสำเร็จในฐานะผู้ตรวจสอบบัญชี แต่นักเรียนยังคงยืนยันขั้นตอนนี้ด้วยมือของเขาเอง

กรณีที่ 3 — การโน้มน้าวหลักฐานเท็จ นักศึกษาวิศวกรรมศาสตร์มี AI พิสูจน์ความไม่เท่าเทียมกัน ข้อความมีความคล่องและน่าเชื่อถือ แต่เมื่อแยกรากที่สองในขั้นตอนเดียว จะมองข้ามความเป็นไปได้ของรากที่เป็นบวกและลบ และหยิบเฉพาะรากที่เป็นบวกเท่านั้น นักเรียนพบช่องว่างนี้เมื่อเขาตั้งคำถามทุกขั้นตอน การพิสูจน์มีผลใช้ได้เมื่อมีการเพิ่มเงื่อนไขเพิ่มเติม (ค่าบวกของตัวแปร)

เทมเพลตที่สามารถคัดลอกได้สี่แบบ

1) การขอร่างหลักฐาน (แนวคิด):

วิธีใดเหมาะสมที่จะพิสูจน์ข้อกล่าวอ้างต่อไปนี้ (โดยตรง ขัดแย้ง อุปนัย ขัดแย้ง) เพียงให้หลักความคิดและโครงร่างของหลักฐาน อย่าเขียนหลักฐานทั้งหมด การอ้างสิทธิ์: [ที่นี่]

2) หลักฐานทีละขั้นตอน:

พิสูจน์ข้อถือสิทธิต่อไปนี้ด้วย [วิธี]: [ข้อเรียกร้อง] เขียนสัจพจน์/ทฤษฎีบท/คำจำกัดความที่คุณใช้ในแต่ละขั้นตอน อย่าใช้สำนวนเช่น "ชัดเจน" หรือ "อย่างง่ายดาย"; ปรับเปลี่ยนการเปลี่ยนแปลงแต่ละครั้งอย่างเต็มที่ หากเป็นการเหนี่ยวนำ ให้แสดงกรณีฐานและขั้นตอนการเหนี่ยวนำแยกกัน

3) การตามล่าหาช่องโหว่ที่พิสูจน์ได้:

ตรวจสอบหลักฐานด้านล่าง เพียงมองหาช่องว่างเชิงตรรกะ สมมติฐานโดยนัย และการก้าวกระโดดที่ไม่ยุติธรรม ตรวจสอบว่า "ดังนั้น" แต่ละรายการตามมาจากขั้นตอนก่อนหน้าจริงหรือไม่ เขียนแต่ละช่องว่างที่คุณพบว่าอยู่ในขั้นตอนใด หลักฐาน: [ที่นี่]

4) ค้นหาตัวอย่างแย้ง:

ฉันต้องการทดสอบว่าการกล่าวอ้างต่อไปนี้เป็นจริงหรือไม่: [การอ้างสิทธิ์] ให้ทดสอบในกรณีพิเศษง่ายๆ ก่อน พยายามค้นหา COUNTEREXAMPLE หากคุณพบตัวอย่างแย้ง ให้แสดงออกมา หากคุณไม่พบ ให้ระบุสถานการณ์ที่คุณได้ลอง (แต่นี่ไม่ใช่ข้อพิสูจน์ เพียงแต่มองหาหลักฐาน)

พรอมต์อ่อน / พรอมต์แรง

จุดอ่อน: "พิสูจน์ว่า √2 ไม่ลงตัว"

ผลลัพธ์: การพิสูจน์มาตรฐานมาถึงแล้ว แต่ขั้นตอนหนึ่ง (เช่น "แล้ว p จึงเป็นเลขคู่") อาจถูกข้ามไปโดยไม่มีการให้เหตุผล และคุณจะไม่สังเกตเห็น

ชัดเจน: "พิสูจน์ด้วยการขัดแย้งว่า √2 นั้นไม่มีเหตุผล เขียนสมมติฐานที่คุณใช้ในแต่ละขั้นตอน และให้เหตุผลในการกล่าวอ้างระดับกลางด้วย เช่น 'ถ้า p² เป็นจำนวนคู่ แล้ว p จะเป็นจำนวนคู่' สุดท้ายนี้ แสดงให้ชัดเจนว่าความขัดแย้งเกิดขึ้นที่ใด"

ผลลัพธ์: การกล่าวอ้างระหว่างกลางทุกรายการมีความสมเหตุสมผล แหล่งที่มาของความขัดแย้งมีความชัดเจน ไม่มีช่องว่างเหลือ

ข้อผิดพลาดทั่วไป

• สับสนความคล่องกับความถูกต้อง ข้อความโน้มน้าวใจไม่ใช่ข้อพิสูจน์ที่ถูกต้อง ทุกขั้นตอนต้องได้รับการดูแล
• ข้ามสถานะกราวด์ในการเหนี่ยวนำ AI มักจะลืมกรณีพื้นฐาน ขั้นตอนการปฐมนิเทศเพียงอย่างเดียวไม่เพียงพอ
• ยอมรับ "โดยไม่สูญเสียส่วนรวม" โดยไม่มีคำถาม คำสั่งนี้อาจเป็นข้อผิดพลาดแฝง ให้เหตุผลทุกครั้ง
• ไม่เห็นสมมติฐานโดยปริยาย ข้อสันนิษฐานต่างๆ เช่น ความเป็นบวก ความต่อเนื่อง ไม่เป็นศูนย์ ฯลฯ สามารถรั่วไหลเข้าสู่การพิสูจน์ได้อย่างเงียบๆ
• เชื่อถือหลักฐานโดยไม่ต้องพยายามโต้แย้งตัวอย่าง หากการกล่าวอ้างเป็นเท็จ การพิสูจน์ก็เป็นเท็จเช่นกัน Test the truth of the claim in simple cases first.

ข้อควรระวัง: AI สามารถสร้าง "หลักฐาน" ได้แม้กระทั่งการกล่าวอ้างที่เป็นเท็จจริง ๆ เนื่องจาก AI สร้างข้อความ จึงไม่รับประกันความถูกต้องเชิงตรรกะ หากคุณไม่แน่ใจถึงความถูกต้องของการเรียกร้อง ให้มองหาตัวอย่างโต้แย้งก่อน "หลักฐาน" ของการกล่าวอ้างที่เป็นเท็จจำเป็นต้องมีช่องโหว่ งานของคุณคือการหาช่องว่างนั้น

โดยสรุป

การพิสูจน์เป็นผลงานทางคณิตศาสตร์ที่เข้มงวดที่สุด และ AI สามารถสร้าง “การพิสูจน์” ที่น่าเชื่อแต่ไม่ถูกต้อง ใช้ AI เพื่อค้นหาแนวคิดและวิธีการพิสูจน์ ตรวจสอบความถูกต้องของแต่ละขั้นตอนเชิงตรรกะด้วยตนเอง มองหากรณีสำคัญ ข้อสันนิษฐานโดยนัย และช่องโหว่เบื้องหลังวลี เช่น “ชัดเจน” และ “ปราศจากอคติ” หากคุณไม่แน่ใจในความจริงของการกล่าวอ้าง ให้ลองยกตัวอย่างโต้แย้งก่อนที่จะเชื่อถือหลักฐาน ความคล่องแคล่วไม่ใช่ความถูกต้อง

งานสมัคร

เลือกทฤษฎีบทมาตรฐาน (เช่น "ผลรวมของเลขคู่สองตัวเป็นเลขคู่" หรือ "√2 เป็นจำนวนอตรรกยะ") ให้ AI พิสูจน์ทีละขั้นตอนด้วยเทมเพลตที่ 2 จากนั้นให้พิสูจน์แบบเดียวกับเทมเพลตที่ 3 อีกครั้งเพื่อตามล่าช่องว่าง — ให้เขาตรวจสอบหลักฐานของตัวเอง จากนั้นค้นหาแต่ละรายการ "ดังนั้น" ด้วยตนเอง: มีกรณีพื้นฐานหรือไม่ มีข้อสันนิษฐานโดยปริยายหรือไม่ แต่ละการเปลี่ยนแปลงมีความสมเหตุสมผลหรือไม่ ค้นหาและจดบันทึกช่องว่างหรือจุดปรับปรุงที่เป็นไปได้อย่างน้อยหนึ่งจุด

รายการตรวจสอบ

• [ ] ฉันชี้แจงข้อเรียกร้องและข้อสันนิษฐาน
• [ ] ฉันได้ทราบวิธีการพิสูจน์และข้อกำหนดทางโครงสร้างของมัน
• [ ] ฉันตรวจสอบแล้วว่า "ดังนั้น" แต่ละรายการเป็นไปตามขั้นตอนก่อนหน้า
• [ ] ฉันได้ตรวจสอบกรณีฐาน / สมมติฐานโดยนัยแล้ว
• [ ] ฉันทดสอบการกล่าวอ้างในกรณีง่ายๆ และมองหาตัวอย่างแย้ง
• [ ] ฉันเปรียบเทียบการพิสูจน์มาตรฐานสำหรับทฤษฎีบทที่รู้จักกับแหล่งข้อมูลที่เชื่อถือได้