ปัญญาประดิษฐ์เบื้องต้นทางคณิตศาสตร์: บทบาท ขอบเขต การตรวจสอบแต่ละขั้นตอน และจริยธรรม

กำไร:

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

คณิตศาสตร์เป็นสาขาที่เครื่องหมายผิดตัวเดียวจะหักล้างผลลัพธ์ทั้งหมด การลืมเครื่องหมายลบในปริพันธ์ ข้ามขั้นตอน "ชัดเจน" ในการพิสูจน์ หรือใช้เลขยกกำลังที่ไม่ถูกต้องในสูตร ทั้งหมดนี้จะทำให้ผลลัพธ์เป็นโมฆะโดยสิ้นเชิง นั่นเป็นสาเหตุที่การใช้ปัญญาประดิษฐ์ (AI) ในคณิตศาสตร์ต้องมีวินัยที่ระมัดระวังมากกว่าในสาขาอื่นๆ ในหน่วยนี้ เราจะตรวจสอบว่าเครื่องมือที่เราเรียกว่าโมเดลภาษาขนาดใหญ่ (LLM - Large Language Model) ปัญญาประดิษฐ์ประเภทหนึ่งที่สร้างข้อความโดยการทำนายทางสถิติ) ช่วยประหยัดเวลาในงานทางคณิตศาสตร์ได้จริงและจุดใดที่อาจเป็นอันตรายได้ และคุณจะได้เรียนรู้วิธีตรวจสอบแต่ละเอาต์พุตทีละขั้นตอน

ประการแรก แนวคิดที่ชัดเจน: อาการประสาทหลอนคือการที่ AI สร้างข้อมูลที่ไม่เป็นความจริงอย่างมั่นใจ ราวกับว่ามันเป็นเรื่องจริง ในทางคณิตศาสตร์ สิ่งนี้มาในรูปแบบของชื่อของทฤษฎีบทที่สร้างขึ้น ขั้นตอนพีชคณิตผิด หรือสูตรที่ไม่มีอยู่จริง จุดสำคัญคือ: LLM ไม่ใช่เครื่องคิดเลข It is a text generator that predicts the "next most likely word." มันสร้างคณิตศาสตร์ที่ถูกต้องเกือบตลอดเวลาเพราะได้เห็นคณิตศาสตร์ที่ถูกต้องมากมายในข้อมูลการฝึกอบรม แต่ความแตกต่างระหว่าง "จริงเกือบตลอดเวลา" และ "จริงตลอดเวลา" คือทุกสิ่งทุกอย่างในคณิตศาสตร์

ปัญญาประดิษฐ์ทำงานที่ไหนในคณิตศาสตร์ และที่ไหนใช้งานไม่ได้?

คิดว่า AI เป็นพิมพ์เขียวและพันธมิตรทางความคิดที่ชาญฉลาด: รวดเร็ว แต่ต้องได้รับการตรวจสอบ ความแตกต่างต่อไปนี้คือหัวใจของโมดูลนี้

ภารกิจ

การมีส่วนร่วมของเอไอ

ความรับผิดชอบของมนุษย์

ต้องหาทางแก้ไขปัญหา

แนะนำกลยุทธ์การแก้ปัญหาที่แตกต่างกัน

การเลือกและการใช้กลยุทธ์ที่เหมาะสม

แคลคูลัสเชิงพีชคณิต/เชิงสัญลักษณ์

สร้างภาพร่าง แก้สมการได้อย่างรวดเร็ว

ตรวจสอบแต่ละขั้นตอนด้วย SymPy หรือด้วยตนเอง

ร่างหลักฐาน

ให้กรอบและแนวคิด

ตรวจสอบการเปลี่ยนแปลงทางลอจิคัลแต่ละครั้ง

การคำนวณเชิงตัวเลข

เขียนโค้ดไพธอน

เรียกใช้โค้ดและยืนยันผลลัพธ์

การสร้างภาพ

สร้างโค้ดกราฟิก

การเห็นกราฟสะท้อนถึงคณิตศาสตร์

การสร้างบทเรียน/คำถาม

สร้างภาพร่าง ตัวอย่าง สิ่งเบี่ยงเบนความสนใจ

ยืนยันความถูกต้องและความเหมาะสมในการสอน

ตามกฎทั่วไป: ใช้ AI เพื่อค้นหาและแก้ไขเส้นทางไปยังบัญชี ไม่ใช่ตัวบัญชีเอง ตรวจสอบผลลัพธ์ด้วยเครื่องมือกำหนดเสมอ (SymPy, เครื่องคิดเลข, การตรวจสอบด้วยตนเอง) "กำหนด" ในที่นี้หมายถึง "ให้เอาต์พุตที่เหมือนกันและถูกต้องแม่นยำเสมอไปยังอินพุตเดียวกัน"; ไลบรารีการคำนวณเชิงสัญลักษณ์เช่น SymPy มีลักษณะเช่นนี้ LLM ไม่ใช่

ทีละขั้นตอน: เวิร์กโฟลว์ AI ที่ปลอดภัยในวิชาคณิตศาสตร์

1. กำหนดปัญหาให้ชัดเจน คำถามที่คลุมเครือนำมาซึ่งคำตอบที่ไม่ชัดเจน แทนที่จะ "ประเมินอินทิกรัลนี้" ให้พูดว่า "แก้อินทิกรัลไม่ จำกัด ∫ x·e^x dx ทีละขั้นตอนโดยการอินทิกรัลบางส่วนแล้วแสดงแต่ละขั้นตอน"

2. ขอวิธีแก้ปัญหาทีละขั้นตอน ถาม AI สำหรับขั้นตอนกลางไม่ใช่แค่ผลลัพธ์ ขั้นตอนเป็นวิธีเดียวที่จะตรวจจับข้อผิดพลาดได้

3. ตรวจสอบด้วยเครื่องมืออิสระ ตรวจสอบผลลัพธ์เชิงสัญลักษณ์ของ SymPy และผลลัพธ์เชิงตัวเลขในการคำนวณ นี่คือหลักการสำคัญของโมดูลนี้

4. การตอบโต้ นำผลลัพธ์ของอนุพันธ์กลับมาโดยการอินทิเกรต แทนที่รากของสมการ ตรวจสอบว่าความน่าจะเป็นอยู่ระหว่าง 0 ถึง 1 หรือไม่ คณิตศาสตร์เต็มไปด้วยเครื่องมือสำหรับการควบคุมตนเอง

5. จงสงสัย. เมื่อ AI บอกว่า "ทฤษฎีบทนี้บอกว่า" ให้ยืนยันชื่อและข้อความของทฤษฎีบทจากแหล่งที่เชื่อถือได้ ชื่อทฤษฎีบทที่สร้างขึ้นเป็นเรื่องธรรมดา

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

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

กรณีที่ 1 — ทฤษฎีบทที่สร้างขึ้น ครูถาม AI ว่า "ฉันจะพิสูจน์ความไม่เท่าเทียมกันนี้ด้วยทฤษฎีบทใด" เขาถาม AI เสนอทฤษฎีบทที่ไม่มีอยู่จริงที่เรียกว่า "ความไม่เท่าเทียมกันของโฮล์มเกรน-แบร์นูลลี" และประกอบขึ้นเป็นข้อความที่น่าเชื่อถือ เมื่อครูค้นหาชื่อในแหล่งข้อมูลทางคณิตศาสตร์ ก็ไม่พบผลลัพธ์ใดๆ ขึ้นมา วิธีแก้ที่แท้จริงคืออสมการคอชี-ชวาร์ซแบบคลาสสิก เวลาที่เสียไป: 20 นาที; แต่ถ้าไม่ใช่เพราะนิสัยชอบตรวจสอบข้อเท็จจริง ข้อมูลที่ไม่ถูกต้องก็จะถูกส่งไปบรรยาย

กรณีที่ 2 — สัญญาณผิดพลาด นักศึกษาวิศวกรรมคนหนึ่งถาม AI เกี่ยวกับผลลัพธ์ ∫ (2x − 3) dx YZ ให้ x² − 3x + C (ถูกต้อง) แต่ในขั้นตอนถัดไป เมื่อคำนวณอินทิกรัลจำกัดเขต [0,2] เขาแทนที่ −3·2 ด้วย +6 และได้ −2 แทนที่จะเป็น 10 นักเรียนตรวจสอบผลลัพธ์โดยการหาอนุพันธ์ เขาจับผิดได้ภายใน 2 นาที

กรณีที่ 3 — ได้รับการยืนยัน ครูโรงเรียนมัธยมคนหนึ่งขอให้ AI สร้างคำถามเกี่ยวกับสมการกำลังสองสำหรับการสอบ 15 คำถาม แม้ว่าการเลือกปฏิบัติจะเป็นลบใน 2 คำถามจาก 15 คำถาม แต่ AI ก็ให้ "รากฐานที่แท้จริง" ครูแก้ไขและเปรียบเทียบคำถามทั้งหมดกับ SymPy เขาตรวจพบและแก้ไขข้อผิดพลาด 2 ข้อใน 5 นาที หากไม่มีการตรวจสอบ นักเรียนจะถูกประเมินว่าตอบผิด

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

1) ทีละขั้นตอนและวิธีแก้ปัญหาที่ตรวจสอบได้:

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

2) การยืนยันทฤษฎีบท/แนวคิด:

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

3) ตรวจสอบวิธีแก้ปัญหาของฉันเอง:

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

4) ข้อเสนอแนะด้านกลยุทธ์ (ไม่ใช่บัญชี):

เสนอแนะวิธีการ/กลยุทธ์ที่แตกต่างกัน 3 วิธีเพื่อแก้ไขปัญหาต่อไปนี้ (ไม่ต้องคำนวณ) เขียนข้อดีข้อเสียของแต่ละวิธีไว้ในประโยคเดียว ระบุว่าอันไหนเหมาะสมที่สุดสำหรับปัญหานี้และเพราะเหตุใด

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

จุดอ่อน: "แก้อินทิกรัลนี้: ∫ x·sin(x) dx"

ผลลัพธ์: คำตอบบรรทัดเดียว; ไม่มีขั้นตอนระหว่างกลาง ไม่มีการตรวจสอบ และไม่สามารถตรวจพบข้อผิดพลาดได้

Strong: "แก้โจทย์อินทิกรัลไม่จำกัด ∫ x·sin(x) dx ทีละขั้นตอนโดยการอินทิเกรตบางส่วน แสดงตัวเลือกของ u และ dv ในแต่ละขั้นตอน ในตอนท้าย ให้แยกแยะผลลัพธ์และตรวจสอบและแสดงว่าผลลัพธ์กลับเป็น x·sin(x) หรือไม่"

ผลลัพธ์: ขั้นตอนที่ตรวจสอบได้ การตรวจสอบภายใน (การตรวจสอบย้อนกลับแบบอนุพันธ์) และความสามารถในการมองเห็นข้อผิดพลาด

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

• เชื่อมั่นในผลลัพธ์อย่างสุ่มสี่สุ่มห้า น้ำเสียงที่มั่นใจของ LLM ไม่ได้รับประกันความถูกต้อง แม้แต่ประโยคที่ดูมั่นใจที่สุดก็อาจผิดได้
• ไม่ต้องการขั้นกลาง When you only want the result, it becomes impossible to catch the mistake.
• ไม่ตรวจสอบด้วยวิธีการที่กำหนด อย่ามองข้ามผลลัพธ์ใดๆ โดยปราศจาก SymPy เครื่องคิดเลข หรือการตรวจสอบเคาน์เตอร์ด้วยตนเอง
• ไม่ยืนยันชื่อทฤษฎีบท/สูตร ชื่อทฤษฎีบทที่สร้างขึ้นนั้นเป็นภาพหลอนประเภทที่ร้ายกาจที่สุด
• ไม่ให้บริบท. การไม่กล่าวถึงระดับของนักเรียนและวิธีการที่ได้รับอนุญาต (เช่น "การใช้อนุพันธ์") ส่งผลให้วิธีแก้ปัญหาใช้ไม่ได้

ข้อควรระวัง: อย่าลืมตรวจสอบเอาต์พุต AI ก่อนส่งต่อให้นักเรียนหรือเพื่อนร่วมงาน ในทางคณิตศาสตร์ ข้อมูลที่ไม่ถูกต้องจะทำให้เกิดข้อผิดพลาดอื่นๆ ต่อเนื่องกันจนกว่าจะได้รับการแก้ไข ผลลัพธ์ที่ไม่ผ่านการตรวจสอบไม่สามารถทดแทนการอนุมัติจากบุคคลที่มีความสามารถได้

โดยสรุป

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

งานสมัคร

เลือกโจทย์คณิตศาสตร์ที่ยากปานกลางจากสาขาของคุณ (อินทิกรัล ระบบสมการ หรือคำถามความน่าจะเป็น) ให้ AI แก้ปัญหาทีละขั้นตอนด้วยเทมเพลต 1 ด้านบน จากนั้นตรวจสอบผลลัพธ์ด้วยวิธีที่เป็นอิสระ (อนุพันธ์-อินทิกรัลผกผัน, การแทนที่รากหรือ SymPy) อย่างน้อยหนึ่งขั้นตอน "ฉันสงสัยว่าอาจมีข้อผิดพลาดที่นี่หรือไม่" หยุดและตรวจสอบ เขียนสิ่งที่คุณค้นพบลงใน 5-6 ประโยค: AI ทำงานที่ไหน ต้องมีการตรวจสอบที่ไหน?

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

• [ ] ฉันกำหนดปัญหาไว้อย่างชัดเจนและอยู่ในบริบท
• [ ] ฉันขอให้ AI ทราบวิธีแก้ปัญหาทีละขั้นตอน ไม่ใช่แค่ผลลัพธ์เท่านั้น
• [ ] ฉันตรวจสอบผลลัพธ์ด้วยเครื่องมือที่กำหนดหรือด้วยตนเอง
• [ ] ฉันได้ทำการตรวจสอบย้อนกลับอย่างน้อยหนึ่งครั้ง (การแยกความแตกต่างด้านหลัง การแทนที่อย่างรุนแรง ฯลฯ)
• [ ] ข้าพเจ้าได้ยืนยันทฤษฎีบท/สูตรดังกล่าวจากแหล่งที่เชื่อถือได้
• [ ] ฉันยังไม่ได้ส่งต่อผลลัพธ์ที่ไม่ได้รับการยืนยันใดๆ