AI บนยอดหอคอยงาช้างคณิตศาสตร์ คืออะไรและเกิดอะไรขึ้นกันแน่
การทะลุเพดานของ AI ปัญญาประดิษฐ์คณิตศาสตร์ หมายถึงความสามารถของระบบอัลกอริทึมในการค้นพบและตรวจพิสูจน์วิธีแก้โจทย์เชิงทฤษฎีระดับสูง ที่มนุษย์เชื่อกันมายาวนานว่าอยู่บนสุดของศักยภาพทางปัญญา เช่น ปัญหาแห่งสหัสวรรษ ซึ่งต้องการทั้งความเข้าใจเชิงลึก สัญชาตญาณทางคณิตศาสตร์ และความคิดสร้างสรรค์ในการสร้างข้อพิสูจน์ใหม่
เมื่อวันที่ 9 กันยายน แบบจำลอง AI ภายในที่ยังไม่เผยแพร่ของ OpenAI ถูกประกาศว่าสามารถค้นพบวิธีแก้ปัญหา Navier-Stokes ซึ่งเป็นหนึ่งในเจ็ดปัญหาแห่งสหัสวรรษที่ยากที่สุดในโลก ประเด็นนี้ไม่ใช่เพียงชัยชนะทางเทคนิค แต่คือการส่งสัญญาณว่า AI เริ่มก้าวเข้าสู่ดินแดนที่เคยเป็น “ห้องทดลองส่วนตัว” ของนักคณิตศาสตร์ระดับตำนาน สมการ Navier-Stokes เป็นหัวใจของการอธิบายการไหลของของไหลและก๊าซ ตั้งแต่การพยากรณ์อากาศไปจนถึงการออกแบบเครื่องบิน แต่ตลอดกว่า 90 ปีที่ผ่านมา มนุษย์ยังพิสูจน์ไม่ได้ว่าสมการนี้ให้คำตอบที่เรียบและมีอยู่เสมอในทุกเงื่อนไข
จาก 10,000 เอเจนต์ใน 88 ชั่วโมง สู่บทพิสูจน์ว่า AI ไม่ได้แค่คิดเลขเร็ว
สิ่งที่ทำให้กรณี Navier-Stokes OpenAI น่าจับตาไม่ใช่แค่ตัวคำตอบ แต่คือวิธีที่ได้คำตอบมา งานวิจัยนี้ใช้เอเจนต์ AI ประมาณ 10,000 ตัวทำงานร่วมกันในขั้นตอนสุดท้ายของการค้นหาวิธีพิสูจน์ พร้อมกับคำอธิบายเพิ่มเติมว่าโดยรวมแล้วใช้เวลาคำนวณราว 88 ชั่วโมง ซึ่งคือการจำลอง “กองทัพนักคณิตศาสตร์ดิจิทัล” ทำงานขนานกันบนโจทย์เดียว AI หลายระบบสำรวจเส้นทางข้อพิสูจน์ต่างๆ ขณะที่มนุษย์คอยคัดเลือกแนวคิดที่ดูมีแววส่งต่อไปให้เอเจนต์ชุดใหม่ขยายต่อ
หนึ่งในประโยคที่ควรถูกจดไว้ในประวัติศาสตร์คือคำกล่าวของผู้อำนวยการฝ่ายวิจัย OpenAI ที่ระบุว่า นี่เป็น “ก้าวสำคัญสำหรับ AI” และผลลัพธ์แสดงให้เห็นว่า AI สามารถช่วยมนุษย์แก้ปัญหาที่ยากยิ่งขึ้นได้ การใช้ทรัพยากรการคำนวณครั้งนี้ถูกยอมรับว่ามีต้นทุนสูงกว่าการทดลองคล้ายกันในอดีตประมาณ 1,000 เท่า แสดงให้เห็นถึงการตัดสินใจเชิงยุทธศาสตร์เพื่อพิสูจน์ว่า AI วันนี้ไม่ได้จำกัดอยู่แค่การเขียนโค้ดหรือแต่งข้อความ แต่สามารถปีนขึ้นไปสู่ยอดหอคอยของคณิตศาสตร์เชิงทฤษฎีได้
ปัญหาแห่งสหัสวรรษ กับการขยับเขยื้อนขอบเขตวิทยาศาสตร์พื้นฐาน
ปัญหาแห่งสหัสวรรษ คือชุดโจทย์คณิตศาสตร์เจ็ดข้อที่ถูกคัดเลือกเพื่อเป็นสัญลักษณ์ของความท้าทายสูงสุดในคณิตศาสตร์สมัยใหม่ โดยถูกประกาศอย่างเป็นทางการในปี 2000 และตลอดมากว่าทศวรรษ มีเพียงปัญหาทฤษฎีบทปวงกาเรเท่านั้นที่ได้รับการแก้ไขอย่างรับรอง การที่ AI ปัญหาคณิตศาสตร์ อย่างของ OpenAI อ้างว่าสามารถแก้ปัญหาการมีอยู่และความเรียบของสมการนาเวียร์-สโตกส์ได้ จึงคล้ายการเขย่าขวัญทั้งชุมชนวิทยาศาสตร์ เพราะนี่อาจกลายเป็นครั้งแรกที่ปัญญาประดิษฐ์ก้าวเข้ามาเคลียร์หนึ่งในโจทย์ระดับตำนานเหล่านี้ได้สำเร็จหากผ่านการตรวจสอบ
ที่น่าสนใจกว่านั้นคือ OpenAI ระบุเพิ่มเติมว่า หลังจากเสร็จสิ้นงาน Navier-Stokes พวกเขาได้ทำความคืบหน้าสำคัญในอีกหนึ่งปัญหาแห่งสหัสวรรษแล้ว และกำลังพิจารณาวิธีเปิดเผยผลลัพธ์อย่างรอบคอบ ข้อความสั้นๆ นี้มีนัยใหญ่ เพราะหมายถึงว่า Navier-Stokes อาจไม่ได้เป็นเหตุการณ์โดดเดี่ยว แต่คือจุดเริ่มต้นของคลื่นใหม่ที่ AI จะเข้ามาเปลี่ยนสมดุลระหว่างมนุษย์กับเครื่องจักรในการสำรวจโครงสร้างลึกของความจริงเชิงคณิตศาสตร์
จากข้อพิสูจน์สู่ข้อครหา: ทำไมการตรวจสอบและเครดิตจึงสำคัญกว่าคำว่าเร็ว
แม้ OpenAI จะระบุว่าข้อพิสูจน์ของตนผ่านการตรวจด้วยเครื่องมือพิสูจน์เชิงกลแล้ว แต่การตรวจสอบโดยใช้หลักการลีนหรือการเช็กด้วยเครื่องยังไม่เพียงพอให้ปัญหาแห่งสหัสวรรษถือว่าได้รับการแก้ไขอย่างเป็นทางการ ข้อกำหนดคือคำตอบต้องผ่านการตรวจทานจากชุมชนคณิตศาสตร์และตีพิมพ์ในวารสารที่ยอมรับ ซึ่งในตอนนี้กระบวนการตรวจสอบอิสระจากนักคณิตศาสตร์ยังคงดำเนินอยู่ และยังมีข้อพิพาทเรื่องเครดิตกับนักคณิตศาสตร์บางรายที่อ้างว่ามีผลงานใกล้เคียงมาก่อน
ผู้สังเกตการณ์จำนวนมากมองว่าคำถามที่แท้จริงไม่ใช่ว่า AI เร็วแค่ไหน แต่อยู่ที่ว่างานเชิงลึกเช่นนี้จะถูกตรวจสอบ ซ้ำรอย ทำความเข้าใจ และให้เครดิตผู้มีส่วนร่วมอย่างเป็นธรรมได้อย่างไร ในอีกด้านหนึ่ง Ben Chandrasekaran นักวิจัยจาก OpenAI ยังชี้ให้เห็นเชิงวิจารณ์ต่อสมการเองว่า ภายใต้เงื่อนไขบางอย่าง สมการนาเวียร์-สโตกส์อาจไม่สะท้อนการเคลื่อนที่จริงของของเหลวได้อย่างแม่นยำ นั่นหมายความว่าแม้จะพิสูจน์ได้ว่ามีภาวะเอกฐานเกิดขึ้นตามสมการ สิ่งนี้ก็เปิดประเด็นใหม่ว่าทฤษฎีพื้นฐานที่เราใช้ในวิทยาศาสตร์อาจมีขอบเขตที่ต้องตีความใหม่
โลกวิทยาศาสตร์หลัง Navier-Stokes: AI จะเป็นผู้ช่วย นักวิจัยร่วม หรือคู่แข่ง
เบื้องหลังการเร่งทดสอบโมเดลใหม่บนปัญหาที่ยังไม่ถูกแก้ทั้งหกข้อที่เหลือ คือข่าวลือว่าคู่แข่งรายหนึ่งอาจแก้ปัญหาแห่งสหัสวรรษได้แล้ว ทำให้ OpenAI ตัดสินใจนำโมเดล AI ใหม่ไปลองโจทย์ระดับสูงเหล่านี้ทันที ผลลัพธ์คือการได้วิธีแก้ปัญหา Navier-Stokes และความคืบหน้าในอีกปัญหา ซึ่งถูกนำเสนอว่าเป็นการสาธิตว่ารุ่นล่าสุดของ AI สามารถยกระดับขีดความสามารถของมนุษย์ได้รวดเร็วเพียงใด
แต่คำถามใหญ่ที่สังคมวิทยาศาสตร์กำลังพิจารณาคือ บทบาทใหม่ของ AI ในวิทยาศาสตร์พื้นฐานจะถูกนิยามอย่างไร เราควรมองมันเป็นเครื่องมือขั้นสูง เป็นผู้เขียนร่วมงานวิจัย หรือเป็นคู่แข่งในสนามความคิด ตามคำอธิบายของ Mark Chen ผลที่เกิดขึ้นแสดงให้เห็นว่า AI สามารถช่วยมนุษย์แก้ปัญหาที่ยากยิ่งขึ้นได้ หากข้อพิสูจน์เหล่านี้ผ่านการยืนยัน และความคืบหน้าในปัญหาแห่งสหัสวรรษข้ออื่นถูกยืนยันตามมา โลกอาจต้องปรับโครงสร้างการฝึกนักวิทยาศาสตร์และนักคณิตศาสตร์ใหม่ ให้เน้นการตั้งคำถามเชิงลึก การตีความ และจริยธรรมของการร่วมงานกับ AI มากกว่าการแข่งขันกันคำนวณหรือพิสูจน์เพียงลำพัง
