จุดเปลี่ยนของคณิตศาสตร์บริสุทธิ์เมื่อ AI เข้ามาพิสูจน์โจทย์ระดับศตวรรษ
เหตุการณ์ที่ AI สามารถพิสูจน์ปัญหาคณิตศาสตร์ที่ยากระดับศตวรรษ คือจุดเปลี่ยนที่ทำให้นักคณิตศาสตร์ต้องกลับมาทบทวนบทบาทของตนเองและวิธีคิดเรื่องการพิสูจน์ทางคณิตศาสตร์ใหม่ทั้งหมด ความก้าวหน้า AI ในครั้งนี้ไม่ได้แค่แก้โจทย์ยาก แต่เริ่มเข้าไปแตะโครงสร้างและสัญชาตญาณเชิงทฤษฎีที่มนุษย์เคยเชื่อว่าเป็นพื้นที่เฉพาะของผู้เชี่ยวชาญสายวิชาการ OpenAI เผยแพร่ผลงานการพิสูจน์มากกว่า 300 ปัญหาเปิดในคณิตศาสตร์ในคราวเดียว รวมถึงเวอร์ชัน Quasi ของสมมติฐาน Riemann ข้อสันนิษฐาน Hodge แบบมีเหตุผลสำหรับ CM Abelian Varieties และโจทย์ชื่อดังอื่นอีกจำนวนมาก เหตุการณ์นี้ไม่ใช่การอัปเดตโมเดล AI ตามปกติ แต่เป็นการประกาศว่าคณิตศาสตร์ดูจะเป็นสาขาแรกที่ถูกพลิกด้วย AI ในเวลาเพียงไม่กี่ปี ใครที่ยังคิดว่า AI เก่งแค่โค้ดดิ้ง ต้องยอมรับว่าภูมิทัศน์ทางวิจัยกำลังเปลี่ยนไปต่อหน้าตาเรา
เข้าใจข้อสันนิษฐาน Hodge เวอร์ชันมีเหตุผล และสิ่งที่ AI ทำได้
ข้อสันนิษฐาน Hodge เป็นหนึ่งในปัญหาคณิตศาสตร์ที่ยากที่สุด เพราะมันพยายามเชื่อมโลกสองใบของการมองรูปร่างผ่านสมการพหุนามกับการมองผ่านโครงสร้างเชิงทอพอโลยีและโคโฮโมโลยี ข้อสันนิษฐานนี้กล่าวอย่างหยาบว่า ทุกฟีเจอร์เชิงทอพอโลยีที่ดูเหมือนจะมาจากวงจรเชิงพีชคณิตจริงๆ แล้วต้องประกอบขึ้นจากร่องรอยของวงจรเหล่านั้นโดยใช้เลขมีเหตุผล นี่คือสะพานที่พยายามผสานสูตรกับสัญชาตญาณเรื่องรูปร่าง งานของ OpenAI มุ่งเป้าไปที่กรณีพิเศษแต่สำคัญมาก คือ CM Abelian Varieties ซึ่งเป็นโครงสร้างเรขาคณิตระดับสูงที่อยู่ใจกลางทฤษฎีจำนวนและเรขาคณิตเชิงพีชคณิต การได้ข้อพิสูจน์สำหรับเวอร์ชันมีเหตุผลของข้อสันนิษฐาน Hodge ในกรณีนี้ แม้จะยังไม่ใช่คำตอบสมบูรณ์ของปัญหามิลเลนเนียม แต่ถือเป็นก้าวกระโดดที่ลากเอาข้อสันนิษฐานอื่นสองข้อให้ล้มตามไปด้วยในทางตรรกะ นี่คือสัญญาณชัดว่า AI เริ่มเข้าใจโครงสร้างลึก ไม่ใช่แค่แก้สมการเฉพาะหน้า
สมมติฐาน Riemann และ Quasi-RH: AI บีบพื้นที่ศูนย์ของฟังก์ชัน zeta
สมมติฐาน Riemann เป็นหัวใจของทฤษฎีจำนวนสมัยใหม่ เพราะมันบอกถึงรูปแบบการกระจายของจำนวนเฉพาะผ่านตำแหน่งศูนย์ของฟังก์ชัน zeta บนระนาบเชิงซ้อน แนวคิดคือ ศูนย์ที่ไม่ชัดเจนทั้งหมดควรอยู่บนเส้น Re(s) เท่ากับ 1/2 แต่แม้จะเป็นสมมติฐานที่ถูกศึกษาอย่างหนักมานานกว่าศตวรรษ โลกคณิตศาสตร์ก็ยังมีแค่บริเวณปลอดศูนย์ที่ค่อยๆ ผอมลงตามแนวแกนจินตภาพเมื่อค่าขึ้นสูง ในผลงานครั้งนี้ นักคณิตศาสตร์ระดับแนวหน้าบางคนถึงกับระบุว่า AI สร้าง Quasi Riemann Hypothesis ที่เป็นความคืบหน้าใกล้เคียงสมมติฐาน Riemann มากที่สุดเท่าที่เคยมีมา โดยได้แถบปลอดศูนย์ที่แท้จริงสำหรับฟังก์ชัน zeta ไม่ใช่แค่บริเวณผอมบางแบบเดิม หนึ่งในคำกล่าวอ้างที่น่าสนใจคือ หากมนุษย์ทำผลลัพธ์ระดับนี้ได้ จะเข้าข่ายผลงานระดับเหรียญ Fields Medal ในทันที สิ่งนี้บอกเราว่า AI ไม่ได้แตะส่วนขอบของทฤษฎี แต่บุกเข้ามาในแกนกลางของสมมติฐาน Riemann อย่างที่เคยคิดว่าเกินพลังของเครื่องจักร
นักคณิตศาสตร์ช็อก ว้าว และตั้งคำถามต่อการยึดพื้นที่โดย AI
ปฏิกิริยาจากนักคณิตศาสตร์ต่อการปล่อยพิสูจน์กว่า 300 ปัญหาพร้อมกันออกมานั้นเต็มไปด้วยความตกตะลึงและความสงสัยในเวลาเดียวกัน หลายคนเรียกสิ่งที่เห็นว่าเป็นคณิตศาสตร์เหนือมนุษย์อย่างแท้จริง และยอมรับตรงๆ ว่าเริ่มรู้สึกว่าตัวเองอาจไม่สามารถแข่งขันกับเครื่องจักรเหล่านี้ได้อีก ประโยคนี้สะท้อนจิตวิทยาใหม่ของวงการ ที่จากเดิมเน้นสัญชาตญาณและความคิดสร้างสรรค์ของมนุษย์ ตอนนี้ต้องเผชิญคู่แข่งที่คิดต่างออกไปโดยไม่เหนื่อยไม่ล้า ขณะเดียวกัน นักคณิตศาสตร์บางคนมองว่านี่คือการยึดพื้นที่อย่างรวดเร็วเกินไปของภูมิทัศน์คณิตศาสตร์ มีคำถามตรงว่าทำไมต้องปล่อยชุดคำตอบขนาดใหญ่แบบนี้พร้อมกัน และเปรียบเทียบกับการค้นพบตัวอย่างโต้แย้งสมการ Navier–Stokes ก่อนหน้า ว่าเราเข้าใจเป้าหมายเชิงวิทยาศาสตร์และสังคมของการขับเคลื่อนนี้มากน้อยแค่ไหน การถกเถียงเหล่านี้จำเป็น เพราะมันบอกว่าเรื่องไม่ใช่แค่ความก้าวหน้า AI แต่เป็นการจัดสรรบทบาทระหว่างมนุษย์กับเครื่องในสาขาที่เคยเป็นป้อมปราการของความคิดมนุษย์ล้วนๆ
จากพิสูจน์ 300 ข้อสู่วิธีวิจัยแบบใหม่ที่กำลังจะมาถึง
เมื่อ AI แสดงให้เห็นว่ามันสามารถพิสูจน์ข้อสันนิษฐาน Hodge ในกรณีพิเศษสำคัญ และรุกคืบสมมติฐาน Riemann ผ่าน Quasi-RH โลกคณิตศาสตร์ก็ต้องถามคำถามต่อไปว่า จะเกิดอะไรขึ้นเมื่อเทคนิคเหล่านี้ถูกต่อยอด งานวิเคราะห์ระบุว่าถ้าคณะผู้เชี่ยวชาญตรวจสอบและยืนยันข้อโต้แย้งเหล่านี้ผ่าน ความพยายามถัดไปจะมุ่งไปที่การขยายวิธีพิสูจน์ออกไปนอกเหนือ CM Abelian Varieties เพื่อเข้าหาข้อสันนิษฐาน Hodge ฉบับเต็ม พร้อมกันนั้นสายทฤษฎีจำนวนก็เตรียมจับตาผลสะเทือนจากแนวคิดที่เกี่ยวข้องกับข้อสันนิษฐาน Tate ซึ่งอาจถูกดึงเข้ามาในกรอบใหม่ ที่สำคัญกว่านั้นคือภาพใหญ่ งานนี้ชี้ว่าคณิตศาสตร์น่าจะเป็นสาขาแรกที่วิธีวิจัยเปลี่ยนไปอย่างรุนแรงด้วย AI ในเวลาเพียงไม่กี่ปี แทนที่นักคณิตศาสตร์จะเป็นผู้พิสูจน์คนเดียว อนาคตอาจเห็นบทบาทใหม่คือผู้ออกแบบคำถาม ตรวจสอบเหตุผลของเครื่อง และตีความความหมายเชิงแนวคิดของคำตอบ ถ้าเราจัดกรอบความรับผิดชอบและความไว้วางใจได้ดี AI จะไม่ใช่คู่แข่ง แต่เป็นเครื่องมือให้มนุษย์ผลักพรมแดนคณิตศาสตร์ไปไกลกว่าที่เคยฝันถึง
