ดังนั้นปัญหานี้จึงมีช่องว่างใหญ่ระหว่างขอบเขตบนและขอบเขตล่าง และเป็นโจทย์เปิดที่นักคณิตศาสตร์พยายามแก้มานานหลายทศวรรษ
งานของ OpenAI รายงานการก่อสร้างชุดจุดบนระนาบที่ทำให้
ν(n) ≥ n^(1+δ)
สิ่งนี้มีความหมายสำคัญมาก เพราะสมมติฐานของ Erdős อนุญาตให้จำนวนคู่ระยะหนึ่งหน่วยเพิ่มได้เพียงแบบ
n^(1 + o(1))
แต่ผลใหม่ให้ กำลังเพิ่มแบบคงที่ (fixed exponent improvement) ทำให้จำนวนคู่ระยะหนึ่งหน่วยมากกว่าที่เคยเชื่อกันอย่างมีนัยสำคัญ
พูดง่าย ๆ คือ มีการจัดวางจุดบางแบบที่สร้าง จำนวนคู่ระยะ 1 หน่วยมากกว่าที่ทฤษฎีเดิมคาดไว้แบบพหุนาม
วิธีการดั้งเดิมส่วนใหญ่ใช้รูปแบบเรขาคณิต เช่น กริดบนระนาบ แต่การก่อสร้างใหม่ใช้เครื่องมือจาก ทฤษฎีจำนวนเชิงพีชคณิต (algebraic number theory) แทน
องค์ประกอบสำคัญของแนวคิดนี้ ได้แก่
โครงสร้างเหล่านี้สร้าง แลตทิซมิติสูงที่มีสมาชิกจำนวนมากที่มีนอร์มเท่ากับ 1 และเมื่อแมปกลับมายังระนาบยุคลิด ความสัมพันธ์ของนอร์มเหล่านี้จะกลายเป็น เส้นเชื่อมระยะหนึ่งหน่วยจำนวนมากระหว่างจุด
ข้อได้เปรียบสำคัญคือ วิธีจากทฤษฎีจำนวนสามารถสร้างความสัมพันธ์ระยะทางจำนวนมากกว่าการจัดเรียงแบบกริดทั่วไป
ความแตกต่างของอัตราการเติบโตดูเล็ก แต่มีผลอย่างเด็ดขาด
สมมติฐานของ Erdős อนุญาตเพียง
n^(1 + o(1))
แต่การก่อสร้างใหม่ให้
n^(1 + δ)
โดย δ เป็นค่าบวกคงที่ ทำให้เมื่อ n ใหญ่มาก ความแตกต่างจะเพิ่มขึ้นเรื่อย ๆ จนกลายเป็นช่องว่างขนาดใหญ่ นั่นหมายความว่าสมมติฐานเดิมไม่สามารถเป็นจริงได้
หลังจากมีการเผยแพร่ผลลัพธ์ นักคณิตศาสตร์ได้จัดทำเอกสารสรุปเวอร์ชันที่มนุษย์ตรวจสอบแล้ว เพื่ออธิบายโครงสร้างของการพิสูจน์และแนวคิดหลัก
ผู้ร่วมเขียนเอกสารนี้มีนักคณิตศาสตร์หลายคน เช่น
เอกสารดังกล่าวเชื่อมโยงการก่อสร้างของ AI กับแนวคิดจากงานวิจัยในทฤษฎีจำนวนหลายสาย รวมถึงแนวคิดเกี่ยวกับ Golod–Shafarevich towers และเทคนิคพีชคณิตที่เกี่ยวข้อง
ความสนใจจำนวนมากไม่ได้มาจากตัวปัญหาเพียงอย่างเดียว แต่เพราะมีรายงานว่านี่อาจเป็น ครั้งแรกที่ระบบ AI สร้างหลักฐานใหม่สำหรับปัญหาคณิตศาสตร์เปิดที่สำคัญจริง ๆ ไม่ใช่แค่ค้นพบคำตอบที่มีอยู่แล้วในวรรณกรรมวิชาการ
ในอดีต การทดลองบางครั้งพบว่า AI แก้ปัญหาได้ แต่ภายหลังพบว่าคำตอบนั้นมีอยู่ในงานวิจัยก่อนหน้าแล้ว
แม้จะมีการตรวจสอบเบื้องต้นแล้ว ผลลัพธ์ขนาดใหญ่อย่างนี้มักต้องผ่านการตรวจสอบอย่างละเอียดจากชุมชนคณิตศาสตร์ทั่วโลก
นักวิจัยจะพยายาม
ไม่ว่าผลสุดท้ายจะเป็นอย่างไร งานนี้สะท้อนแนวโน้มใหม่ของการค้นพบทางคณิตศาสตร์: การทำงานร่วมกันระหว่างระบบเหตุผลอัตโนมัติของ AI และการตรวจสอบโดยนักคณิตศาสตร์มนุษย์
Comments
0 comments