มีสิ่งผิดปกติเกิดขึ้นในโลกของคณิตศาสตร์บริสุทธิ์ และมันไม่ได้มาจากห้องแล็บของมหาวิทยาลัย OpenAI ระบุว่าระบบปัญญาประดิษฐ์ภายในได้ช่วยไขปัญหาทางคณิตศาสตร์และวิทยาการคอมพิวเตอร์จำนวนสิบปัญหาที่ค้างคามาอย่างน้อยหนึ่งทศวรรษ และในบางกรณีนานกว่านั้นมาก การประกาศครั้งนี้ เมื่อจับคู่กับโครงการแยกต่างหากที่เปิดการเข้าถึง ChatGPT ขั้นสูงให้กับนักวิจัย 100,000 คน บ่งชี้ว่า ความก้าวหน้าของ AI ในคณิตศาสตร์ กำลังเคลื่อนจากความแปลกใหม่ไปสู่การเป็น โครงสร้างพื้นฐานด้านการวิจัย อย่างแท้จริง
Summary
ประเด็นสำคัญ
- OpenAI เปิดตัว ChatGPT for Academic Researchers มอบสิทธิ์ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คน ใช้งานโมเดล ChatGPT ระดับสูงสุดได้ฟรี
- โมเดลที่ยังไม่เปิดตัวของ OpenAI ได้สร้างข้อพิสูจน์เชิงหักล้างด้วย AI ต่อข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős เมื่อเดือนพฤษภาคม
- ผลลัพธ์ใหม่สิบรายการที่ได้จากเวอร์ชันภายในของโมเดลรุ่นถัดไปชื่อ Astra แก้ปัญหาเปิดในแปดสาขาของคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี
- การค้นหาคำตอบมีค่าใช้จ่ายประมาณ 2,000 ดอลลาร์สหรัฐ ในรูปโทเคนตามอัตรา Sol API ตามข้อมูลของ OpenAI
- นักวิจัยมนุษย์นำข้อโต้แย้งที่สร้างโดย AI มาพัฒนาเป็นต้นฉบับ และจากนั้นโมเดลได้ทำการทำให้แต่ละบทพิสูจน์เป็นทางการในรูปแบบใบรับรอง Lean
OpenAI เปิดการเข้าถึง ChatGPT ให้แก่นักวิจัยสายวิชาการ 100,000 คน
จุดเริ่มต้นของการผลักดันครั้งนี้ของ OpenAI คือ “การเข้าถึง” ไม่ใช่แค่ “ผลลัพธ์” บริษัทได้เปิดตัวเมื่อไม่นานมานี้โครงการ ChatGPT for Academic Researchers ซึ่งมอบสิทธิ์ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คน ใช้งานโมเดล ChatGPT ที่ทรงพลังที่สุดของบริษัทได้ฟรี แนวคิดตามที่ OpenAI อธิบาย คือการนำเครื่องมือให้เหตุผลที่แข็งแกร่งไปไว้ในมือของผู้ที่ทำงานกับปัญหาที่ยังไม่ถูกแก้ แทนที่จะเก็บโมเดลขั้นสูงสุดไว้หลังเพย์วอลล์สำหรับลูกค้าองค์กรเท่านั้น
ประเด็นนี้สำคัญเพราะ “การเข้าถึง” มักเป็นคอขวดของงานวิจัยที่ใช้ AI ช่วย งบประมาณด้านวิชาการมักไม่เพียงพอที่จะครอบคลุมค่าสมัครใช้บริการ AI ระดับพรีเมียมในวงกว้าง และการที่นักวิจัยรายบุคคลจะทดสอบโมเดลแนวหน้ากับคำถามเชิงคณิตศาสตร์เฉพาะทางก็ไม่ใช่สิ่งที่สถาบันส่วนใหญ่จะสนับสนุนได้อย่างกว้างขวาง ด้วยการยกเลิกอุปสรรคนี้ให้กับนักวิทยาศาสตร์กลุ่มใหญ่ OpenAI กำลังเดิมพันอย่างมีนัยสำคัญว่าการเปิดการเข้าถึงในวงกว้างจะช่วยให้ค้นพบผลลัพธ์แบบที่กำลังนำมาแสดงให้เห็นในตอนนี้มากขึ้น
ความก้าวหน้าที่เงียบงัน: AI หักล้างข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős
ย้อนกลับไปในเดือนพฤษภาคม OpenAI ได้แบ่งปันสิ่งหนึ่งที่เป็นสัญญาณของสิ่งที่จะตามมา นั่นคือข้อพิสูจน์เชิงหักล้างที่สร้างโดย AI ต่อข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős ปัญหาที่เกี่ยวข้องกับนักคณิตศาสตร์ Paul Erdős ซึ่งทำให้นักวิจัยงุนงงมาหลายปี ข้อพิสูจน์เชิงหักล้างนี้โผล่ขึ้นมาแทบจะโดยบังเอิญ ถูกค้นพบในระหว่างที่ OpenAI ประเมินโมเดลที่ยังไม่เปิดตัว แทนที่จะเป็นส่วนหนึ่งของโครงการวิจัยเฉพาะกิจ
ผลลัพธ์เพียงชิ้นเดียวนี้กลับกลายเป็นมากกว่าความอยากรู้อยากเห็นครั้งเดียว ตามข้อมูลของ OpenAI ข้อพิสูจน์เชิงหักล้างของ Erdős ได้จุดประกายการพัฒนาต่อเนื่องแล้ว ในคณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎี โดยมีงานวิจัยตามมาที่ต่อยอดจากแนวทางดังกล่าว นี่เป็นหนึ่งในช่วงเวลาที่ชัดเจนที่สุดของคำถามว่า “ทำไมมันจึงสำคัญ” เมื่อผลลัพธ์ที่สร้างโดย AI กระตุ้นให้เกิดงานต่อยอดจากนักคณิตศาสตร์มนุษย์ แสดงให้เห็นว่าระบบเหล่านี้ไม่ได้แค่สร้างคำตอบโดดเดี่ยว แต่กำลังสร้างเทคนิคที่นักวิจัยคนอื่นสามารถนำไปขยายต่อได้
สิบคำตอบใหม่ที่ขับเคลื่อนด้วย AI ต่อปัญหาที่นักคณิตศาสตร์แก้ไม่ได้มานานหลายทศวรรษ
หัวใจของการประกาศของ OpenAI คือชุดผลลัพธ์ใหม่สิบรายการ ซึ่งล้วนโจมตีปัญหาที่ไม่มีความคืบหน้าในคำถามหลักมาอย่างน้อยสิบปี และในหลายกรณีนานกว่านั้นมาก OpenAI อธิบายว่าปัญหาเหล่านี้เป็นที่สนใจอย่างมากในชุมชนคณิตศาสตร์ที่เกี่ยวข้อง โดยหลายปัญหาถูกมองว่าสำคัญต่อคณิตศาสตร์โดยรวม
ขอบเขตและความหลากหลายของปัญหาที่ถูกแก้
ผลลัพธ์ทั้งสิบครอบคลุมพื้นที่เทคนิคที่หลากหลายมาก: เรขาคณิตมิติสูง ทฤษฎีรหัส ความซับซ้อนของวงจรเลขคณิต ทฤษฎีกลุ่ม พีชคณิตของโอเปอเรเตอร์ ความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซ และคอมบิเนโทริกส์เชิงสุดขั้ว ความกว้างของขอบเขตนี้ถือว่าน่าสังเกตในตัวเอง — ปัญหาเหล่านี้ไม่ใช่คำถามย่อยที่อยู่ใกล้กันในช่องเฉพาะทางเดียว แต่เป็นปัญหาเปิดที่แตกต่างกันจากมุมต่าง ๆ ของคณิตศาสตร์และวิทยาการคอมพิวเตอร์ แต่ละปัญหามีประวัติการวิจัยยาวนานหลายทศวรรษของตัวเอง
ในบรรดาความก้าวหน้าเฉพาะที่ OpenAI ระบุ มีดังนี้:
- ขอบเขตบนใหม่ของความหนาแน่นการบรรจุลูกทรงกลมในมิติสูง ที่ลงไปถึงเกณฑ์ Cohn–Elkies
- การปรับปรุงขอบเขตแบบเอ็กซ์โปเนนเชียลต่อขนาดสูงสุดของรหัสไบนารีและรหัสทรงกลมมิติสูงที่ระยะห่างขั้นต่ำกำหนดไว้
- โครงสร้างที่พิสูจน์การมีอยู่ของกลุ่มที่ไม่ใช่ sofic แก้ปัญหาคำถามเปิดสำคัญในทฤษฎีกลุ่ม
- ข้อพิสูจน์เชิงหักล้างต่อข้อสันนิษฐานความแข็งของ Connes ซึ่งระบุว่ากลุ่มบางประเภทถูกกำหนดโดยพีชคณิต von Neumann ของตนอย่างเอกลักษณ์
- ขอบเขตล่างใหม่สำหรับการคำนวณ permanent โดยใช้วงจรเลขคณิต รวมถึงขอบเขตล่างของสูตรเลขคณิตในลำดับ n^4/log n
- ทฤษฎีบทการทำซ้ำแบบขนานเชิงเอ็กซ์โปเนนเชียลสำหรับเกมควอนตัมสองผู้เล่นทั่วไป ขยายหลักการความซับซ้อนแบบคลาสสิกเข้าสู่บริบทควอนตัม
- ความยากในการประมาณค่าแบบปัจจัยพหุนามสำหรับปัญหาเวกเตอร์ที่ใกล้ที่สุด ซึ่งเป็นคำถามเกี่ยวกับแลตทิซที่เกี่ยวข้องกับการเข้ารหัสหลังยุคควอนตัม
- การแก้ปัญหาในทุกมิติของปริมาตรสูงสุดของทรงนูนที่มีจุดศูนย์กลางมวลเป็นจุดแลตทิซภายในเพียงจุดเดียว — ส่วนหนึ่งของข้อสันนิษฐานปริมาตรของ Ehrhart
- ขอบเขตล่างแบบซูเปอร์เอ็กซ์โปเนนเชียลสำหรับจำนวน Ramsey ของสามเหลี่ยมหลายสี แก้ปัญหา Erdős หมายเลข 183
- ผลลัพธ์เกี่ยวกับข้อสันนิษฐานด้านความกะทัดรัดและความเสื่อมในทฤษฎีกราฟเชิงสุดขั้ว แก้ปัญหา Erdős หมายเลข 146 และ 180
กระบวนการทางเทคนิคและความคุ้มค่าด้านต้นทุนด้วยโมเดล Astra
ผลลัพธ์ทั้งสิบได้มาจากเวอร์ชันภายในของ Astra ซึ่ง OpenAI อธิบายว่าเป็นโมเดลหลักรุ่นถัดไปของบริษัท สิ่งที่โดดเด่นคือ “ต้นทุน” OpenAI ประเมินว่าปริมาณโทเคนทั้งหมดที่ต้องใช้เพื่อค้นหาคำตอบของทั้งสิบปัญหาจะมีค่าใช้จ่ายราว 2,000 ดอลลาร์สหรัฐ ตามอัตรา Sol API สำหรับงานวิจัยที่นักคณิตศาสตร์มนุษย์ใช้เวลานานกว่าสิบปีโดยไม่เกิดความคืบหน้าเลย การใช้คอมพิวต์เพียงไม่กี่พันดอลลาร์ถือเป็นป้ายราคาเล็กน้อยอย่างน่าทึ่ง — และเป็นหนึ่งในสัญญาณที่ชัดเจนที่สุดว่าความก้าวหน้าของ AI ในคณิตศาสตร์กำลังเปลี่ยนสมการด้านเศรษฐศาสตร์ของการโจมตีปัญหาเปิดที่ยาก
อย่างไรก็ตาม กระบวนการนี้ไม่ได้เป็นระบบอัตโนมัติทั้งหมด นักวิจัยมนุษย์นำข้อโต้แย้งดิบของโมเดลมาพัฒนาเป็นต้นฉบับที่มีโครงสร้าง โดยทำงานร่วมกับโมเดลตัวเดิม หลังจากนั้น โมเดลเองได้ทำให้แต่ละข้อโต้แย้งเป็นทางการในรูปแบบใบรับรอง Lean — รูปแบบบทพิสูจน์ที่เครื่องตรวจสอบได้ ใช้ยืนยันข้ออ้างทางคณิตศาสตร์อย่างเข้มงวด OpenAI ยังได้เผยแพร่คำบรรยายกระบวนการคิดของโมเดลสำหรับแต่ละคำตอบ เปิดโอกาสให้นักวิจัยภายนอกได้เห็นว่าระบบให้เหตุผลไปสู่คำตอบแต่ละข้ออย่างไร
การผสมผสานนี้ — ข้อโต้แย้งที่สร้างโดย AI ต้นฉบับที่เตรียมโดยมนุษย์ และใบรับรอง Lean ที่ทำให้เป็นทางการโดยเครื่อง — ชี้ให้เห็นเวิร์กโฟลว์ที่ระบบ AI สร้าง “แก่นความคิดทางคณิตศาสตร์” ขึ้นมา ขณะที่เครื่องมือพิสูจน์อย่างเป็นทางการและการกำกับดูแลของมนุษย์ทำหน้าที่ตรวจยืนยัน เป็นการแบ่งงานกันที่อาจกลายเป็นต้นแบบเมื่อผลลัพธ์ที่ใช้ AI ช่วยลักษณะนี้เริ่มปรากฏในปัญหาเปิดอื่น ๆ มากขึ้น
ทำไมสิ่งนี้จึงสำคัญต่อการวิจัยและการแข่งขัน
นัยยะที่กว้างกว่านั้นไปไกลกว่าสิบปัญหาที่ถูกแก้ หากโมเดลภายในเพียงตัวเดียวสามารถสร้างผลลัพธ์ระดับตีพิมพ์ได้ในแปดสาขาคณิตศาสตร์ที่แตกต่างกัน ด้วยต้นทุนคอมพิวต์ราว 2,000 ดอลลาร์สหรัฐ ข้อจำกัดในการโจมตีปัญหาเปิดที่ค้างคามานานก็เริ่มเปลี่ยนจาก “ความคิดเชิงคณิตศาสตร์” ไปสู่ “การเข้าถึงโมเดลที่ทรงพลัง” — ซึ่งเป็นสิ่งที่โครงการการเข้าถึงสำหรับนักวิชาการของ OpenAI ตั้งใจจะขยายโดยตรง การผสมผสานระหว่างต้นทุนการคำนวณที่ถูกลงและการเข้าถึงของนักวิจัยที่กว้างขึ้นนี้ น่าจะดึงดูดความสนใจอย่างใกล้ชิดจากห้องแล็บ AI คู่แข่ง และจากภาควิชาคณิตศาสตร์ที่กำลังชั่งใจว่าจะผสานเครื่องมือเหล่านี้เข้ากับงานของตนอย่างไร
OpenAI ยังระบุด้วยว่างานในแนวทางนี้ได้กระตุ้นให้เกิดงานวิจัยเพิ่มเติมที่ต่อยอดจากข้อพิสูจน์เชิงหักล้างข้อสันนิษฐานของ Erdős แล้ว โดยมีบทความตามมาหลายฉบับที่สำรวจคำถามที่เกี่ยวข้องในทฤษฎีผลรวม-ผลคูณ เรขาคณิตของการเกิดร่วม และความซับซ้อนเชิงคำนวณ ว่ากระแสนี้จะดำเนินต่อไปด้วยความเร็วเท่าเดิมหรือไม่ หรือห้องแล็บ AI อื่นจะสร้างผลลัพธ์ที่เทียบเคียงได้ด้วยโมเดลที่ต่างออกไปหรือไม่ น่าจะเป็นตัวกำหนดว่าการสร้างบทพิสูจน์ด้วย AI จะถูกดูดซึมเข้าสู่การปฏิบัติทางคณิตศาสตร์ในชีวิตประจำวันเร็วเพียงใด
คำถามที่พบบ่อย (FAQ)
ChatGPT for Academic Researchers คืออะไร?
เป็นโครงการของ OpenAI ที่มอบสิทธิ์ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คน เข้าถึงโมเดล ChatGPT ขั้นสูงได้ฟรีเพื่อเร่งการค้นพบ
โมเดล AI ของ OpenAI ได้หักล้างปัญหาคณิตศาสตร์ที่มีมายาวนานข้อใด?
มีการสร้างข้อพิสูจน์เชิงหักล้างข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős โดยใช้โมเดล OpenAI ที่ยังไม่เปิดตัว ซึ่งถูกเปิดเผยครั้งแรกในเดือนพฤษภาคม
โมเดล Astra แก้ปัญหาประเภทใดด้วยความช่วยเหลือของ AI?
Astra โมเดลภายในรุ่นถัดไปของ OpenAI ได้สร้างผลลัพธ์ในเรขาคณิตมิติสูง ทฤษฎีรหัส ความซับซ้อนของวงจรเลขคณิต ทฤษฎีกลุ่ม พีชคณิตของโอเปอเรเตอร์ ความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซ และคอมบิเนโทริกส์เชิงสุดขั้ว
บทพิสูจน์ที่สร้างโดย AI ได้รับการตรวจสอบอย่างไร?
นักวิจัยมนุษย์จัดทำต้นฉบับจากข้อโต้แย้งที่สร้างโดย AI และจากนั้นโมเดลได้ทำให้แต่ละบทพิสูจน์เป็นทางการในรูปแบบใบรับรอง Lean เพื่อการตรวจสอบโดยเครื่อง
{“@context”:”https://schema.org”,”@type”:”FAQPage”,”mainEntity”:[{“@type”:”Question”,”name”:”ChatGPT for Academic Researchers คืออะไร?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”เป็นโครงการของ OpenAI ที่มอบสิทธิ์ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คน เข้าถึงโมเดล ChatGPT ขั้นสูงได้ฟรีเพื่อเร่งการค้นพบ”}},{“@type”:”Question”,”name”:”โมเดล AI ของ OpenAI ได้หักล้างปัญหาคณิตศาสตร์ที่มีมายาวนานข้อใด?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”มีการสร้างข้อพิสูจน์เชิงหักล้างข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős โดยใช้โมเดล OpenAI ที่ยังไม่เปิดตัว ซึ่งถูกเปิดเผยครั้งแรกในเดือนพฤษภาคม”}},{“@type”:”Question”,”name”:”โมเดล Astra แก้ปัญหาประเภทใดด้วยความช่วยเหลือของ AI?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Astra โมเดลภายในรุ่นถัดไปของ OpenAI ได้สร้างผลลัพธ์ในเรขาคณิตมิติสูง ทฤษฎีรหัส ความซับซ้อนของวงจรเลขคณิต ทฤษฎีกลุ่ม พีชคณิตของโอเปอเรเตอร์ ความซับซ้อนเชิงควอนตัม การเข้ารหัสแบบแลตทิซ และคอมบิเนโทริกส์เชิงสุดขั้ว”}},{“@type”:”Question”,”name”:”บทพิสูจน์ที่สร้างโดย AI ได้รับการตรวจสอบอย่างไร?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”นักวิจัยมนุษย์จัดทำต้นฉบับจากข้อโต้แย้งที่สร้างโดย AI และจากนั้นโมเดลได้ทำให้แต่ละบทพิสูจน์เป็นทางการในรูปแบบใบรับรอง Lean เพื่อการตรวจสอบโดยเครื่อง”}}]}
บทความนี้จัดทำขึ้นด้วยความช่วยเหลือของปัญญาประดิษฐ์และผ่านการทบทวนโดยทีมบรรณาธิการแล้ว
