หกสิบแปดทศวรรษหลังจากพอล เอิร์ดิส (Paul Erdős) ตั้งปัญหาระยะหน่วยในปี 1946 โมเดล AI เอนกประสงค์ได้สร้างคอนฟิกูเรชันที่เอาชนะขอบเขตที่คาดกันมานาน โดยพิสูจน์ได้อย่างน้อย n^(1+δ) คู่ระยะหน่วยสำหรับ δ>0 บางค่า นักคณิตศาสตร์จากพรินซ์ตันได้ตรวจสอบผลดังกล่าว โดยบุคคลอย่าง ทิม กาวเวอร์ส (Tim Gowers) และ อรูล ชังการ์ (Arul Shankar) เรียกว่านี่เป็นความก้าวหน้าที่สำคัญ
- ประเด็นสำคัญ:
- OpenAI แก้ปริศนาปี 1946 ของ Paul Erdős ด้วยคอนสตรัคชันระยะหน่วยแบบ n^(1+δ)
- พรินซ์ตันยืนยันผลดังกล่าว เพิ่มความน่าเชื่อถือของ AI ในวงการคณิตศาสตร์ในปี 2026
- Tim Gowers ระบุว่าความก้าวหน้าอาจส่งผลต่อการเข้ารหัสและการพิสูจน์ที่อยู่นอกเหนือเรขาคณิต
ปริศนาเรขาคณิตอายุ 80 ปีในที่สุดก็ขยับได้ เมื่อระบบของ OpenAI ประกอบ “คอนสตรัคชัน” ที่ไม่น่าเป็นไปได้เข้าด้วยกัน จนเอาชนะความคาดหวังที่ยืนยาว ปัญหาระยะหน่วย ซึ่งพอล เอิร์ดิสตั้งขึ้นในปี 1946 ถามว่ามีได้กี่คู่ของจุดที่ห่างกันพอดี 1 หน่วย ในบรรดา n จุดบนระนาบ AI พบคอนฟิกูเรชันที่โตเร็วกว่าสคริปต์คลาสสิกที่เคยทำได้ นักคณิตศาสตร์จากพรินซ์ตันตรวจสอบงานนี้ และคนระดับท็อปอย่าง Tim Gowers และ Arul Shankar ให้ความสนใจ นอกจากเรื่องวัดกันว่าใครเก่งกว่า ผลนี้ยังชี้ใบ้ถึง “รูปแบบผู้ร่วมมือ” รูปแบบใหม่สำหรับคณิตศาสตร์ ซึ่งใช้การอนุมานแบบทั่วไปเพื่อก้าวข้ามสัญชาตญาณเชิงมนุษย์
AI คลี่คลายปริศนาคณิตศาสตร์อายุ 80 ปีด้วยโซลูชันพลิกเกม
บางปัญหาก็เหมือนคอยเขย่าขอบเขตความอดทนของมนุษย์ ปัญหาระยะหน่วยที่พอล เอิร์ดิสตั้งขึ้นในปี 1946 ตั้งคำถามที่ดูเรียบง่ายอย่างน่าทึ่ง: เมื่อมี n จุดบนระนาบเรียบ จะมีได้กี่คู่ที่ห่างกันพอดี 1 หน่วย รุ่นแล้วรุ่นเล่าลุยด้วยกริด ความสมมาตร และความพยายาม ความคืบหน้ามาเป็นเศษเสี้ยว ไม่เคยมาพร้อมความกระโดด แล้วก็อย่างเงียบเชียบ AI ก็เข้ามา
ปัญหาเก่าแก่หลายทศวรรษ สุดท้ายก็ถูกแก้ได้
แนวทางคลาสสิกจัดวางจุดในกริดสี่เหลี่ยม ปรับสเกลเพื่อดึงจำนวนคู่ระยะ 1 ให้มากขึ้น วิธีนั้นชี้ว่าการเติบโตมากกว่าเชิงเส้นเล็กน้อย ประมาณ n คูณด้วยปัจจัยที่แทบจะไม่เหนือ n มากนักเมื่อ n โตขึ้น สาขาวิชานี้ลงเอยด้วยแนวคิดว่าขอบเขตล่างที่ดีที่สุดอยู่ใกล้ n^(1+o(1)) คือมากกว่า n แบบ “เพิ่มขึ้นนิดหน่อย” ไม่ใช่แบบ “ก้าวกระโดด”
AI ทำได้ดีกว่าที่คาดการณ์ไว้ได้อย่างไร
จากข้อมูลของนักวิจัยที่มีส่วนเกี่ยวข้อง โมเดลภายในจาก OpenAI เสนอ “ตระกูลใหม่” ของคอนฟิกูเรชันจุดที่ข้ามเส้นระดับหนึ่ง ซึ่งเป็นสิ่งที่คิดกันมานานว่าไล่ไม่ถึงยาก ระบบได้สร้างคอนสตรัคชันที่ให้จำนวนคู่ระยะหน่วยอย่างน้อย n^(1+δ) โดย δ คงที่ซึ่งมากกว่า 0 และไม่เลือนหายเมื่อ n เพิ่มขึ้น นี่คือการพัฒนาเชิงพหุนามอย่างแท้จริง ไม่ใช่ความคลาดเคลื่อนเล็กน้อย
แนวทางนี้ผสมความเข้าใจเชิงเรขาคณิตเข้ากับทฤษฎีจำนวนเชิงพีชคณิตขั้นสูง ซึ่งเป็นชุดเครื่องมือที่น่าประหลาดสำหรับปริศนาการนับเชิงพื้นที่ มันไม่ได้มาจากเอ็นจินที่เชี่ยวชาญด้านคณิตศาสตร์โดยเฉพาะ แต่เกิดจากโมเดลการอนุมานแบบทั่วไปที่กำลังประเมินอยู่ ซึ่งบ่งชี้ถึงความสามารถในการให้เหตุผลที่กว้างขึ้น โดยสามารถนำทางข้ามโดเมนได้เมื่อพื้นที่การค้นหามีขนาดใหญ่
ยืนยันโดยผู้เชี่ยวชาญ ได้รับการยกย่องจากวงการ
นักคณิตศาสตร์อิสระจากมหาวิทยาลัยพรินซ์ตันได้ทบทวนคอนสตรัคชันของ AI และยืนยันผลแล้ว ตามคำบอกของผู้ที่คุ้นเคยกับการทบทวน เสียงที่ได้รับการยอมรับ รวมถึงเซอร์ ทิม กาวเวอร์ส และ อรูล ชังการ์ ต่างยกย่องความก้าวหน้านี้ว่าเป็นก้าวสำคัญของสาขา นี่คือกรณีที่ “ขอบเขตล่างใหม่” ที่นิ่งค้างมานาน ในที่สุดก็ขยับได้ เพราะ AI หา “มุมมอง” ที่ถูกต้องเจอ
นัยต่อคณิตศาสตร์และอื่น ๆ
เมื่อโมเดลทั่วไปค่อย ๆ ก้าวข้ามข้อสันนิษฐานที่ฝังรากลึกไปได้ นั่นหมายความว่าอย่างไร อย่างหนึ่งคือมันส่งสัญญาณถึงเวิร์กโฟลว์ที่เครื่องจักรเสนอโครงสร้างที่เป็นไปได้ และมนุษย์ช่วยทำการทดสอบอย่างหนัก ในส่วนที่ไม่ใช่แค่เรขาคณิต สาขาอย่างคอมบิเนทอริกส์ ทฤษฎีการเข้ารหัส และการเข้ารหัสลับอาจเห็นความร่วมมือในลักษณะเดียวกันได้เช่นกัน เมื่อการพิสูจน์ต้องพึ่งคอนสตรัคชันที่หายาก
