OpenAI เปิดเผยความก้าวหน้าของโมเดล GPT-5 / 4o Pro ที่แก้ปัญหาคณิตศาสตร์เปิดของเออร์ดอชได้ในเวลาไม่ถึง 2 ชั่วโมง
ในวงการปัญญาประดิษฐ์ (AI) ที่กำลังพัฒนาอย่างรวดเร็ว OpenAI ได้สร้างความฮือฮาด้วยการรายงานผลลัพธ์ที่น่าทึ่งจากโมเดลใหม่ล่าสุด ซึ่งเรียกชื่อว่า GPT-5 หรือ GPT-4o Pro โดยโมเดลดังกล่าวสามารถแก้ปัญหาคณิตศาสตร์เปิดที่ค้างคามานานซึ่งตั้งโดยนักคณิตศาสตร์ชื่อดัง พอล เออร์ดอช (Paul Erdős) ได้ภายในเวลาไม่ถึงสองชั่วโมง ข่าวนี้ถูกเปิดเผยผ่านโพสต์บนแพลตฟอร์ม X (อดีต Twitter) โดยนักวิจัยจาก OpenAI ซึ่งถือเป็นหลักฐานสำคัญที่แสดงถึงศักยภาพของ AI ในการแก้ปัญหาที่ยากลำบากในสาขาคณิตศาสตร์
พอล เออร์ดอช เป็นหนึ่งในนักคณิตศาสตร์ที่ยิ่งใหญ่ที่สุดในศตวรรษที่ 20 โดยท่านได้ตั้งปัญหาคณิตศาสตร์เปิดนับร้อยปัญหา ซึ่งหลายปัญหายังคงรอการแก้ไขมาจนถึงปัจจุบัน ปัญหาเหล่านี้มักมาพร้อมกับรางวัลเงินสดที่เออร์ดอชตั้งไว้เพื่อจูงใจนักคณิตศาสตร์ทั่วโลก โดยปัญหาที่โมเดลของ OpenAI แก้ได้ในครั้งนี้เป็นหนึ่งในปัญหาจากรายการ Erdős Problems ซึ่งถูกบันทึกไว้อย่างเป็นทางการ ปัญหาดังกล่าวมีความซับซ้อนสูง ต้องอาศัยการคิดเชิงลึกและการผสมผสานแนวคิดทางคณิตศาสตร์หลายสาขา เช่น ทฤษฎีจำนวน (number theory) และทฤษฎีกราฟ (graph theory) ซึ่งนักคณิตศาสตร์มนุษย์พยายามแก้ไขมานานหลายสิบปีโดยไม่สำเร็จ
ตามรายงาน โมเดล GPT-5 / 4o Pro ซึ่งเป็นเวอร์ชันพัฒนาต่อจาก GPT-4o ได้รับการฝึกฝนด้วยเทคนิคการให้เหตุผลขั้นสูง (advanced reasoning) ทำให้สามารถวิเคราะห์ปัญหาได้อย่างละเอียดและสร้างการพิสูจน์ (proof) ที่ถูกต้องได้ในเวลาอันสั้น กระบวนการแก้ปัญหาเริ่มต้นด้วยการป้อนปัญหาเข้าโมเดล จากนั้นโมเดลใช้เวลาไม่ถึงสองชั่วโมงในการสร้างลำดับความคิด (chain of thought) ที่นำไปสู่การพิสูจน์สมบูรณ์ นักวิจัยของ OpenAI ระบุว่า ผลลัพธ์นี้ผ่านการตรวจสอบโดยผู้เชี่ยวชาญทางคณิตศาสตร์แล้ว และถือเป็นการพิสูจน์ที่ถูกต้อง 100% ซึ่งนับเป็นครั้งแรกที่ AI สามารถแก้ปัญหาเปิดจากรายการของเออร์ดอชได้ด้วยตัวเองโดยไม่ต้องอาศัยข้อมูลจากอินเทอร์เน็ตหรือฐานข้อมูลที่มีการแก้ไขแล้ว
ความสำเร็จนี้ไม่ได้เกิดขึ้นโดยบังเอิญ แต่เป็นผลจากสถาปัตยกรรมโมเดลใหม่ที่ OpenAI พัฒนาขึ้น โดยเฉพาะระบบการให้เหตุผลแบบหลายขั้นตอน (multi-step reasoning) ซึ่งช่วยให้โมเดลสามารถสำรวจเส้นทางความคิดที่เป็นไปได้หลายทาง ก่อนคัดเลือกแนวทางที่ถูกต้อง ปัญหาของเออร์ดอชที่ถูกแก้ไขนี้เกี่ยวข้องกับการหาคำตอบเกี่ยวกับลำดับตัวเลขหรือโครงสร้างทางคณิตศาสตร์ที่เฉพาะเจาะจง ซึ่งต้องใช้ความเข้าใจเชิงนามธรรมสูง โมเดลสามารถสร้างการพิสูจน์โดยใช้เครื่องมือทางคณิตศาสตร์พื้นฐาน เช่น การเหนี่ยวนำทางคณิตศาสตร์ (mathematical induction) และการวิเคราะห์ความขัดแย้ง (proof by contradiction) ได้อย่างคล่องแคล่ว
ผลกระทบของความก้าวหน้านี้ต่อวงการคณิตศาสตร์และ AI มีความสำคัญอย่างยิ่ง ประการแรก มันแสดงให้เห็นว่า AI ไม่เพียงแต่สามารถคำนวณตัวเลขได้เร็วเท่านั้น แต่ยังสามารถสร้างนวัตกรรมทางคณิตศาสตร์ใหม่ได้ ซึ่งอาจเร่งการแก้ปัญหาเปิดอื่นๆ ในอนาคต นักวิจัยจาก OpenAI เชื่อว่านี่เป็นจุดเริ่มต้นของยุคที่ AI จะกลายเป็นผู้ร่วมงานหลักของนักคณิตศาสตร์มนุษย์ โดยช่วยลดเวลาการทดลองสมมติฐานจากหลายเดือนเหลือเพียงชั่วโมง นอกจากนี้ ยังมีประเด็นเรื่องจริยธรรมและการยอมรับผลงานจาก AI เช่น การตีพิมพ์การพิสูจน์ในวารสารวิชาการ ซึ่งต้องมีการตรวจสอบเพิ่มเติมเพื่อยืนยันความถูกต้อง
อย่างไรก็ตาม ผู้เชี่ยวชาญบางรายแสดงความระมัดระวัง โดยชี้ว่าปัญหานี้แม้จะเป็นปัญหาเปิด แต่ไม่ได้อยู่ในกลุ่มที่ยากที่สุดของเออร์ดอช และการพิสูจน์จาก AI อาจต้องได้รับการทบทวนจากชุมชนคณิตศาสตร์อย่างละเอียดเพื่อยืนยันว่าไม่มีช่องโหว่ OpenAI เองก็ย้ำว่ายังมีงานต้องทำอีกมาก โดยโมเดลเวอร์ชันปัจจุบันยังมีข้อจำกัด เช่น การพึ่งพาการฝึกฝนข้อมูลขนาดใหญ่และโอกาสเกิดภาพหลอน (hallucination) ในบางกรณี
ความสำเร็จของ GPT-5 / 4o Pro ถือเป็นเครื่องยืนยันถึงการลงทุนมหาศาลของ OpenAI ในด้านการให้เหตุผลทางคณิตศาสตร์ ซึ่งอาจนำไปสู่การเปิดตัวโมเดลอย่างเป็นทางการในเร็วๆ นี้ นักวิจัยในโพสต์บน X กล่าวว่า “นี่คือก้าวกระโดดที่แท้จริง” และคาดว่าจะเปลี่ยนแปลงวิธีที่มนุษย์เผชิญหน้ากับปัญหาที่ซับซ้อนทางคณิตศาสตร์ โดยรวมแล้ว เหตุการณ์นี้ไม่เพียงแต่เป็นชัยชนะทางเทคนิค แต่ยังเป็นสัญญาณของอนาคตที่ AI และมนุษย์จะร่วมมือกันไขปริศนาที่ยากที่สุดของวิทยาศาสตร์
(จำนวนคำประมาณ 720 คำ)
This Article is sponsored by Gnoppix AI (https://www.gnoppix.org)