วันที่ 20 พฤษภาคม 2026 OpenAI ประกาศข่าวที่สั่นคลอนวงการคณิตศาตร์: โมเดล AI ภายในของพวกเขาได้พิสูจน์ผิด conjecture อายุ 80 ปีของ Paul Erdős ที่ตั้งไว้ตั้งแต่ปี 1946 นี่ไม่ใช่แค่ AI แก้โจทย์คณิตศาตร์ แต่เป็นครั้งแรกที่ AI สร้างบทพิสูจน์ใหม่ ที่ไม่เคยมีมนุษย์ทำได้มาก่อน
Erdős Unit Distance Problem คืออะไร
Paul Erdős นักคณิตศาตร์ชื่อดังชาวฮังการี ได้ตั้งคำถามง่ายๆ แต่ลึกซึ้งในปี 1946: ถ้ามีจุด n จุดบนระนาบ จำนวนคู่ของจุดที่มีระยะห่างเท่ากับ 1 หน่วย จะมากที่สุดเท่าไหร่? เรียกจำนวนนี้ว่า u(n) — Erdős เสนอว่า u(n) น่าจะเติบโตใกล้เคียงกับ n^{1+c/log log n} ซึ่งก็คือเติบโตช้ากว่าเชิงเส้นเล็กน้อยเท่านั้น พูดง่ายๆ: เขาเชื่อว่าตารางสี่เหลี่ยม (square grid) เป็นการจัดเรียงจุดที่ให้จำนวนคู่หน่วยมากที่สุดแล้ว 80 ปีที่ผ่านมา นักคณิตศาตร์พยายามพิสูจน์ว่า Erdős ถูกหรือผิด คำถามนี้เชื่อมโยงไปถึง incidence geometry, graph theory, และ extremal combinatorics แต่ไม่มีใครสามารถตอบได้อย่างชัดเจน
AI ทำอะไรได้บ้าง
โมเดล reasoning ของ OpenAI (ซึ่งเป็น internal model ยังไม่เปิดตัวต่อสาธารณะ) ได้สร้างบทพิสูจน์ที่ โต้แย้ง conjecture นี้ โดยแสดงให้เห็นว่า: มีการจัดเรียงจุดที่ให้จำนวนคู่หน่วย มากกว่า ที่ square grid ให้ ในระดับที่เป็น polynomial improvement บทพิสูจน์สร้าง infinite family ของ constructions ที่ทำลายขอบเขตที่ Erdős เสนอ บทพิสูจน์มีความยาว 125 หน้า ของ chain ทางคณิตศาตร์ที่เป็นต้นฉบับ (original mathematics) ไม่ใช่การรวบรวมสิ่งที่มนุษย์เคยทำ สิ่งที่น่าทึ่งคือ AI ไม่ได้แค่ "คำนวณ" แต่ได้ สร้างคณิตศาตร์ใหม่ ที่ใช้แนวคิดจาก algebraic number theory ซึ่งไม่เคยถูกนำมาใช้กับปัญหานี้มาก่อน
ทำไมถึงสำคัญ
ครั้งแรกของ AI ที่สร้างบทพิสูจน์ใหม่
ก่อนหน้านี้ AI สามารถแก้โจทย์คณิตศาตร์ได้ แต่ส่วนใหญ่เป็นการนำเทคนิคที่มีอยู่มาใช้ หรือแก้โจทย์ที่มีวิธีทำอยู่แล้ว Erdős unit distance problem ต่างตรงที่: เป็น open problem ที่ไม่มีใครรู้คำตอบมา 80 ปี AI คิดวิธีใหม่ ขึ้นมา ไม่ใช่แค่ทำตามสูตร บทพิสูจน์ได้รับการ peer-review จากนักคณิตศาตร์มืออาชีพ
เปลี่ยนวิธีทำวิจัยคณิตศาตร์
นี่เป็นสัญญาณว่า AI กำลังกลายเป็น เครื่องมือวิจัย ที่แท้จริง ไม่ใช่แค่เครื่องมือช่วยคำนวณ: นักคณิตศาตร์อาจใช้ AI เสนอ "ทิศทาง" ของบทพิสูจน์ แล้วมนุษย์ตรวจสอบและเรียบเรียง AI สามารถสำรวจพื้นที่คณิตศาตร์ที่กว้างกว่าที่มนุษย์คนเดียวทำได้ ปัญหาที่ติดขัดมานานอาจได้รับมุมมองใหม่จาก AI ที่ไม่ยึดติดกับแนวทางเดิม
ปฏิกิริยาจากวงการ
ความตื่นเต้นผสมกับความระมัดระวัง: Gil Kalai นักคณิตศาตร์ชื่อดัง กล่าวว่านี่เป็น "milestone" แต่เน้นว่าต้องตรวจสอบอย่างละเอียดก่อนจะยืนยัน นักวิจัยหลายคนชื่นชมที่ AI ใช้ algebraic number theory ซึ่งเป็นสาขาที่ไม่เกี่ยวข้องกับ discrete geometry โดยตรง — แสดงถึงความสามารถในการเชื่อมโยงสาขาที่มนุษย์อาจมองข้าม TechCrunch ตั้งข้อสังเกตว่า OpenAI เคยอ้างว่าแก้ปัญหาคณิตศาตร์มาแล้วแต่ผิดพลาด ทำให้วงการต้องการการยืนยันอย่างรอบคอบ
คำถามที่ตามมา
ใครเป็นผู้แต่ง? — ถ้า AI สร้างบทพิสูจน์ ควรให้เครดิต AI หรือทีมที่สร้าง AI? ความน่าเชื่อถือ — จะตรวจสอบบทพิสูจน์ 125 หน้าที่ AI สร้างได้อย่างไร? จะต้องมีเครื่องมือ proof verification หรือไม่? อนาคตของคณิตศาตร์ — ถ้า AI แก้ปัญหาได้ดีกว่ามนุษย์ บทบาทของนักคณิตศาตร์จะเปลี่ยนไปอย่างไร?
สรุป
การที่ AI โต้แย้ง Erdős conjecture ได้สำเร็จไม่ใช่แค่ "AI ฉลาดขึ้น" แต่เป็นการเปลี่ยนแปลงพื้นฐานของวิธีที่มนุษย์ทำวิจัยคณิตศาตร์ จากที่เคยเป็น AI ช่วยคำนวณ กลายเป็น AI สร้างความรู้ใหม่ 80 ปีของความพยายามจากนักคณิตศาตร์ทั่วโลก ถูกทำลายลงด้วยบทพิสูจน์ที่ AI สร้างขึ้นในไม่กี่ชั่วโมง นี่อาจเป็นจุดเริ่มต้นของยุคใหม่ที่ AI และมนุษย์ทำงานร่วมกันในการขยายขอบเขตของความรู้ทางคณิตศาตร์ — และอาจไม่ใช่แค่คณิตศาตร์ แหล่งอ้างอิง: https://openai.com/index/model-disproves-discrete-geometry-conjecture/