คณิตศาสตร์กำลังเผชิญกับวิกฤต "อาหารไม่ย่อย"
คณิตศาสตร์กำลังก้าวเข้าสู่ศตวรรษที่ 21 เป็นเวลาหลายร้อยปีที่ความเร็วในการวิจัยทางคณิตศาสตร์ยังคงเชื่องช้า นักวิจัยค้นพบผลลัพธ์ เพื่อนร่วมวิชาชีพทำการตรวจสอบ และในที่สุดมันก็ถูกบรรจุลงในตำรา กระบวนการนี้มีความสม่ำเสมอและคาดเดาได้
AI ได้เปลี่ยนทุกอย่าง มันสามารถสร้างบทพิสูจน์และแก้ปัญหาได้อย่างรวดเร็ว สิ่งนี้ทำให้เกิดเนื้อหาใหม่จำนวนมหาศาล ซึ่งผู้ตรวจสอบที่เป็นมนุษย์ไม่สามารถตามได้ทัน สิ่งนี้ทำให้เกิดสิ่งที่ Terence Tao เรียกว่า proof indigestion (ภาวะอาหารไม่ย่อยของบทพิสูจน์) ระบบวิชาการกำลังเผชิญกับสภาวะการจราจรติดขัด
AI เปรียบเสมือนรถยนต์ที่วิ่งด้วยความเร็วสูง ในขณะที่วารสารวิชาการในปัจจุบันเปรียบเสมือนเส้นทางหินแคบๆ ที่สร้างขึ้นสำหรับรถม้า คุณไม่สามารถขับรถเร็วบนเส้นทางที่แคบได้โดยไม่ทำให้เกิดอุบัติเหตุ การอัปเกรดรถยนต์จะไม่ช่วยอะไรเลยหากถนนพัง เราจำเป็นต้องสร้างถนนสายใหม่สำหรับ AI
Terence Tao กำลังสร้างถนนสายใหม่เหล่านี้ผ่านการแข่งขัน SAIR โดยเขาได้สร้างเส้นทางที่แยกออกจากกันระหว่างมนุษย์และ AI
การแข่งขันหนึ่งคือ Distillation Challenge นักวิจัยใช้ชุดข้อมูลขนาดใหญ่ที่มีโจทย์พีชคณิตถึง 22 ล้านข้อ โมเดล AI ขนาดใหญ่สามารถแก้โจทย์เหล่านี้ได้อย่างง่ายดาย แต่ต้องใช้ต้นทุนที่สูงเกินไป ความท้าทายนี้กำหนดให้ผู้เข้าร่วมเขียน cheat sheet ความยาวหนึ่งหน้าสำหรับโมเดลขนาดเล็กที่มีราคาถูก เป้าหมายคือการถ่ายโอนความรู้จากโมเดลขนาดใหญ่ไปยังโมเดลขนาดเล็ก ซึ่ง cheat sheet ที่ดีที่สุดสามารถเพิ่มความแม่นยำจาก 50% เป็น 80% ได้แล้ว
อีกการแข่งขันหนึ่งคือ Inverse Galois Problem ให้ลองนึกภาพว่านี่คือการตามหาไข่อีสเตอร์ในรูปแบบดิจิทัล มีคุณสมบัติทางคณิตศาสตร์ที่แตกต่างกันถึง 160,000 ประการ หรือเปรียบได้กับ "สี" ต่างๆ ผู้เข้าร่วมจะต้องค้นหาพหุนามเฉพาะที่ตรงกับสีเหล่านี้ หากคุณพบสีที่หายากซึ่งไม่มีใครอื่นมี คุณจะได้คะแนน สิ่งนี้เปลี่ยนคณิตศาสตร์ให้กลายเป็นวิทยาศาสตร์เชิงทดลอง
การแข่งขันเหล่านี้ไม่ได้มาแทนที่นักคณิตศาสตร์ แต่เป็นการสร้างวิธีการทำงานแบบใหม่ โดยแยกเส้นทางเดินของมนุษย์ออกจากทางหลวงของ AI
โมเดลนี้สามารถใช้ได้กับวิทยาศาสตร์ทุกแขนง หากสาขาวิชาใดมีชุดข้อมูลขนาดใหญ่และมีงานที่สามารถตรวจสอบได้ ก็สามารถใช้วิธีนี้ได้ คณิตศาสตร์เป็นเพียงจุดเริ่มต้นเท่านั้น
Optional learning community: https://t.me/GyaanSetuAi