เทอเรนซ์ เต๋า นักคณิตศาสตร์จาก UCLA ที่ได้รับการยกย่องอย่างกว้างขวางว่าเป็นบุคคลที่มีอิทธิพลมากที่สุดในสาขานี้ ได้ตีพิมพ์บทความที่โต้แย้งว่าปัญญาประดิษฐ์กำลังผลักดันคณิตศาสตร์ให้เข้าสู่ยุคแห่งความปั่นป่วนเทียบได้กับวิกฤตรากฐานที่เปลี่ยนรูปแบบระเบียบวินัยเมื่อศตวรรษก่อน บทความเรื่อง "คณิตศาสตร์ในยุคของ AI" ปรากฏบน arXiv เมื่อวันที่ 17 สิงหาคม และอิงจากการบรรยายสาธารณะที่ Tao จัดขึ้นที่การประชุม International Congress of Mathematicians ประจำปี 2026

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

วิกฤตแห่งค่านิยม ไม่ใช่ความจริง

การวางกรอบประวัติศาสตร์ของเต๋าเป็นการจงใจ ระหว่างประมาณปี 1900 ถึง 1930 คณิตศาสตร์ถูกสั่นคลอนด้วยความขัดแย้งของรัสเซลล์ในปี 1901 และทฤษฎีบทความไม่สมบูรณ์ของเกอเดลในปี 1931 การค้นพบที่บังคับให้นักคณิตศาสตร์ละทิ้งสมมติฐานที่ไม่เป็นทางการ และสร้างรากฐานที่ชัดเจนและเข้มงวดซึ่งวิชานี้ยังคงมีอยู่ในปัจจุบัน เขาโต้แย้งว่าความวุ่นวายดังกล่าวทำให้คณิตศาสตร์แข็งแกร่งขึ้นในที่สุด

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

ข้ามการอภิปรายเรื่องความสามารถ

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

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

พิสูจน์ความขาดแคลน หลักฐานมากมาย และกฎของกู๊ดฮาร์ต

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

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

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

เหตุใดเรียงความคณิตศาสตร์จึงมีความสำคัญนอกเหนือจากคณิตศาสตร์

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

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

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

---

ก้าวนำหน้า AI

รับข่าวสาร AI การวิเคราะห์ และความก้าวหน้าล่าสุด ทั้งหมดในที่เดียว

อ่านข่าว AI เพิ่มเติม →