OpenAI อ้างว่า AI ของตนหักล้างสมมติฐานเรขาคณิตอายุเกือบ 80 ปีของ Erdős

ปัญหาเรขาคณิตที่ค้างคามาเกือบ 80 ปี

OpenAI ระบุว่าโมเดล AI ภายในของบริษัทสามารถสร้างบทพิสูจน์ทางคณิตศาสตร์ใหม่ที่ หักล้างสมมติฐานสำคัญในปัญหา planar unit distance ซึ่งเป็นโจทย์เรขาคณิตที่นักคณิตศาสตร์ชาวฮังการี Paul Erdős ตั้งคำถามไว้ตั้งแต่ปี 1946

โจทย์นี้ดูเรียบง่ายมากในเชิงถ้อยคำ แต่กลับยากอย่างยิ่งในการพิสูจน์:

ถ้ามีจุดจำนวน n จุดบนระนาบ จะสามารถมีคู่จุดที่ห่างกันพอดี 1 หน่วยได้มากที่สุดกี่คู่?

คำถามนี้กลายเป็นหนึ่งในปัญหาคลาสสิกของสาขา combinatorial และ discrete geometry นักคณิตศาสตร์พยายามหาทั้งวิธีจัดวางจุดที่ทำให้ได้คู่ระยะหนึ่งหน่วยมากที่สุด และขอบเขตบน (upper bounds) ที่จำกัดจำนวนดังกล่าว

เป็นเวลาหลายทศวรรษ แนวคิดที่ได้รับความเชื่อถืออย่างแพร่หลายคือ การจัดวางที่ดีที่สุดควรมีลักษณะคล้าย ตารางสี่เหลี่ยม (square grid) หรือโครงตาข่ายแบบ lattice

รายงานเกี่ยวกับผลงานของ OpenAI ระบุว่าบทพิสูจน์ที่ AI สร้างขึ้นแสดงให้เห็นว่า สมมติฐานพื้นฐานเบื้องหลังความเชื่อนั้นไม่ถูกต้อง

OpenAI บอกว่าโมเดลของตนทำอะไรได้

ตามคำกล่าวของบริษัท โมเดล general‑purpose reasoning model ได้สร้างบทพิสูจน์ใหม่ที่หักล้างสมมติฐานสำคัญที่เกี่ยวข้องกับปัญหาของ Erdős

ประเด็นสำคัญของผลงานที่รายงาน ได้แก่

• โมเดลสร้าง เหตุผลทางคณิตศาสตร์แบบใหม่ ไม่ใช่เพียงการคัดลอกหรือค้นพบงานเดิมในวรรณกรรม
• บทพิสูจน์ใช้แนวคิดจาก algebraic number theory เพื่อสร้างโครงสร้างการจัดวางจุดที่ทำได้ดีกว่ารูปแบบตารางแบบดั้งเดิม
• ผลลัพธ์ขัดกับความคาดหมายที่มีมานานเกี่ยวกับรูปแบบของการจัดจุดที่ดีที่สุด

หากบทพิสูจน์นี้ถูกต้องจริง ภาพรวมทางทฤษฎีของปัญหานี้ในเรขาคณิตเชิงไม่ต่อเนื่องอาจต้องปรับใหม่อย่างมีนัยสำคัญ

ต่างจากกรณี GPT‑5 ก่อนหน้านี้อย่างไร

การประกาศครั้งนี้เกิดขึ้นหลังจากเคยมีกรณีถกเถียงเกี่ยวกับ GPT‑5

ก่อนหน้านั้นมีการอ้างว่าโมเดลสามารถแก้ปัญหาของ Erdős หลายข้อได้ แต่การตรวจสอบภายหลังพบว่าโมเดลเพียง ค้นพบคำตอบที่มีอยู่แล้วในงานวิจัยก่อนหน้า ไม่ใช่ผลลัพธ์ใหม่จริง

สำหรับกรณีล่าสุด มีความแตกต่างสำคัญสองจุด

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

อย่างไรก็ตาม ในวงการคณิตศาสตร์ การยอมรับผลลัพธ์ระดับนี้ต้องผ่านการตรวจสอบอย่างละเอียดและตีพิมพ์ในวารสารวิชาการก่อนจึงจะถือว่ายืนยันเต็มรูปแบบ

นักคณิตศาสตร์พูดถึงเรื่องนี้อย่างไร

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

• Noga Alon
• Melanie Wood
• Thomas Bloom

ทั้งสามเป็นนักวิจัยที่มีความเชี่ยวชาญในด้าน combinatorics และ number theory

ผู้สังเกตการณ์บางคนระบุว่าความซับซ้อนและความแปลกใหม่ของบทพิสูจน์นี้ เหนือกว่าความพยายามก่อนหน้าของ AI ในคณิตศาสตร์อย่างมาก

แต่ตามมาตรฐานของวงการ ผลลัพธ์ยังต้องผ่านกระบวนการตรวจสอบอย่างเข้มงวดจากชุมชนคณิตศาสตร์ก่อนจะถือว่ายืนยันได้จริง

ทำไมผลลัพธ์นี้จึงถูกมองว่าสำคัญ

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

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

• ฟิสิกส์ทฤษฎี
• ชีววิทยาและการแพทย์
• วิศวกรรมและวัสดุศาสตร์

นักวิจัยบางคนจึงมองว่านี่อาจเป็นสัญญาณว่า AI กำลังเริ่มขยับจากการเป็นเพียง เครื่องมือช่วยนักวิทยาศาสตร์ ไปสู่การมีบทบาทในการสร้าง แนวคิดทางทฤษฎีใหม่ ด้วยตัวเอง

สรุป

OpenAI ระบุว่าโมเดลให้เหตุผลของบริษัทได้สร้าง บทพิสูจน์ใหม่ที่หักล้างสมมติฐานเกี่ยวกับปัญหา planar unit distance ของ Erdős ซึ่งเป็นโจทย์ที่นักคณิตศาสตร์ศึกษามาตั้งแต่ปี 1946

ข้ออ้างนี้จึงแตกต่างจากกรณี AI ก่อนหน้าที่เพียงค้นพบคำตอบเดิมในวรรณกรรมคณิตศาสตร์

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