คำตอบเผยแพร่แล้ว21 แหล่งที่มา
ข้อถกเถียงเบื้องหลังคลังบทความคณิตศาสตร์ 722 ฉบับของ OpenAI
สมาคมคณิตศาสตร์เพื่อมนุษย์ (AHM) ขอให้นักคณิตศาสตร์ยุติความร่วมมือกับ OpenAI โดยมองว่าการเผยแพร่ผลงานจำนวนมากไม่ได้เท่ากับความรู้ที่ผ่านการรับรองทางวิชาการแล้ว OpenAI เผยแพร่หลักฐานประกอบและการพิสูจน์ใน Lean สำหรับผลลัพธ์บางส่วน แต่ไม่ใช่ทั้งหมด ขณะที่โมเดลภายในซึ่งสร้างผลงานยังไม่เปิดเผยให้ตรวจสอบโดยอิสระ ข้อถกเถีย...
เผยแพร่โดยแก้ไขด้วย GPT-6 Lunaรูปภาพสร้างด้วย GPT Image 2
คำตอบการวิจัย
ประเด็นสำคัญ
- สมาคมคณิตศาสตร์เพื่อมนุษย์ (AHM) ขอให้นักคณิตศาสตร์ยุติความร่วมมือกับ OpenAI โดยมองว่าการเผยแพร่ผลงานจำนวนมากไม่ได้เท่ากับความรู้ที่ผ่านการรับรองทางวิชาการแล้ว
- OpenAI เผยแพร่หลักฐานประกอบและการพิสูจน์ใน Lean สำหรับผลลัพธ์บางส่วน แต่ไม่ใช่ทั้งหมด ขณะที่โมเดลภายในซึ่งสร้างผลงานยังไม่เปิดเผยให้ตรวจสอบโดยอิสระ
- ข้อถกเถียงครอบคลุมทั้งคุณค่าทางคณิตศาสตร์ ความโปร่งใส เวลาที่ต้องใช้ตรวจสอบผลงาน และบทบาทของมนุษย์ในงานวิจัย
AI พรอมต์
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
สมาคมคณิตศาสตร์เพื่อมนุษย์ (Association for Human Mathematics หรือ AHM) เรียกร้องให้นักคณิตศาสตร์ยุติความร่วมมือกับ OpenAI หลังบริษัทเผยแพร่คลังบทความคณิตศาสตร์ขนาดใหญ่เมื่อวันที่ 6 ตุลาคม 2026 ข้อคัดค้านของ AHM ไม่ได้มีแค่ความกังวลว่าบางข้อพิสูจน์อาจผิด แต่ยังชี้ว่า การปล่อยผลงานจำนวนมากจากโมเดลของบริษัทไม่อาจแทนกระบวนการตรวจสอบ อ้างอิง และถกเถียงทางวิชาการได้45
ผลงานในคลังอาจมีผลลัพธ์ที่น่าสนใจ แต่จำนวนบทความ ไฟล์ประกอบการพิสูจน์ หรือคำกล่าวอ้างที่น่าตื่นเต้น ไม่ได้ยืนยันความถูกต้องด้วยตัวเอง ข้อถกเถียงจึงเกี่ยวข้องด้วยว่าใครเข้าถึงโมเดลได้ ใครตรวจสอบผลลัพธ์ และใครต้องรับภาระในการตรวจทาน
OpenAI เผยแพร่อะไรบ้าง
ประกาศแรกระบุว่ามีบทความ 722 ฉบับ ครอบคลุม 17 สาขา และจัดเป็น 372 กลุ่มของผลลัพธ์ที่เกี่ยวข้องกัน กล่าวคือ จำนวน 722 ฉบับไม่ได้หมายถึงการค้นพบใหม่ 722 เรื่องที่แยกขาดจากกัน คลังบน GitHub มีทั้งบทความและไฟล์ประกอบการพิสูจน์ และเผยแพร่ภายใต้สัญญาอนุญาต Apache-2.07
15
OpenAI ระบุว่าโมเดลทดลองทำโจทย์ประมาณ 4,000 ข้อ และแต่ละผลลัพธ์ใช้ทรัพยากรคำนวณโดยเฉลี่ยเทียบเท่ากับการใช้งาน ChatGPT Pro Thinking ราว 3 ชั่วโมง บริษัทยังเผยแพร่บทสรุปย่อ 10 ชิ้นเกี่ยวกับกระบวนการให้เหตุผลของโมเดล รวมถึงการแปลงข้อพิสูจน์บางส่วนเป็น Lean ซึ่งเป็นระบบช่วยพิสูจน์ที่คอมพิวเตอร์ตรวจสอบได้7
12
16 คลังระบุว่าผลลัพธ์อยู่ในขั้นการตรวจสอบที่แตกต่างกัน และไม่ใช่ทุกชิ้นจะมีการพิสูจน์ใน Lean ขณะที่รายการปัจจุบันแสดงบทความ 719 ฉบับ แทนจำนวน 722 ฉบับในประกาศแรก
10
11
ในบรรดาผลลัพธ์ มีคำกล่าวอ้างเกี่ยวกับข้อคาดการณ์ของมาห์เลอร์ (Mahler conjectures) และค่าชี้กำลังความไร้เหตุผลที่แน่นอนของ π อย่างไรก็ตาม ไม่ควรถือว่าข้ออ้างเหล่านี้ได้รับการยืนยันอย่างเด็ดขาด เพียงเพราะเผยแพร่เป็นบทความแล้ว5
21
เหตุใด AHM จึงคัดค้าน
ในแถลงการณ์ AHM ระบุว่า นักคณิตศาสตร์ “ไม่ได้ร้องขอให้ทำงานชิ้นนี้” และเรียกการปล่อยไฟล์หลายร้อยรายการพร้อมกันว่าเป็น “การแสดงพลัง” ไม่ใช่ผลงานวิชาการ กลุ่มเรียกร้องให้ใช้ความสงสัยอย่างรอบคอบและให้ความสำคัญกับวิทยาศาสตร์ที่มีมนุษย์เป็นศูนย์กลาง แทนการรีบยอมรับหรือเร่งประมวลผลผลงานจากบริษัท45
ประเด็นในทางปฏิบัติคือปริมาณงาน หากจะประเมินบทความเหล่านี้ ผู้เชี่ยวชาญต้องอ่าน ตรวจสอบข้อพิสูจน์ และพิจารณาว่าผลลัพธ์เชื่อมโยงกับงานวิจัยเดิมอย่างไร การเปิดไฟล์ให้ชุมชนเข้าถึงช่วยให้มีวัสดุสำหรับตรวจทาน แต่ไม่ได้ทำให้งานตรวจสอบหายไป ส่วนใหญ่แล้วภาระดังกล่าวยังตกอยู่กับนักวิจัย
AHM ยังเชื่อมโยงการคัดค้านกับคำเตือนของ Advisory Group on Mathematics and Artificial Intelligence ซึ่งจัดตั้งขึ้นเพื่อให้คำแนะนำแก่บริษัท AI เกี่ยวกับการทำงานร่วมกับชุมชนคณิตศาสตร์ ตามที่ AHM อ้าง กลุ่มที่ปรึกษาเคยเตือนบริษัท AI ชั้นนำไม่ให้ทดสอบโจทย์คณิตศาสตร์ขั้นสูงกับโมเดลภายในของบริษัท45
การพิสูจน์ด้วย Lean ตรวจสอบอะไรได้บ้าง
การแปลงข้อพิสูจน์เป็น Lean เป็นเครื่องมือสำคัญ เพราะช่วยให้คอมพิวเตอร์ตรวจสอบข้อพิสูจน์ที่ถูกแปลงเข้าสู่ระบบแล้วได้ OpenAI ระบุว่าข้อเสนอหลักของบทความ 162 ฉบับถูกทำให้เป็นรูปแบบที่ตรวจสอบด้วย Lean ได้5 นี่ช่วยเพิ่มความเข้มแข็งในการตรวจสอบผลลัพธ์เฉพาะกลุ่มดังกล่าว แต่ไม่ได้รับรองคำกล่าวอ้างทั้งหมดในทุกบทความโดยอัตโนมัติ
สำหรับงานที่ยังไม่มีการแปลงเป็น Lean การประเมินยังต้องอาศัยผู้เชี่ยวชาญอ่านและตรวจตราเหตุผล คลังเองระบุว่าผลลัพธ์อยู่ในขั้นการตรวจสอบหลายระดับ และไม่ใช่ทุกชิ้นมีการพิสูจน์ใน Lean10
11 ดังนั้น ควรประเมินแต่ละผลลัพธ์แยกกัน แทนที่จะสรุปว่าทั้งคลังพิสูจน์แล้วทั้งหมดหรือไม่มีคุณค่าเลย
เปิดเผยข้อมูลเพิ่ม แต่ยังไม่โปร่งใสทั้งหมด
ข้อมูลจำนวนโจทย์ที่ทดลองและเวลาคำนวณโดยเฉลี่ย รวมถึงบทสรุปกระบวนการให้เหตุผล 10 ชิ้น ช่วยให้เห็นภาพบางส่วนว่าเกิดผลงานเหล่านี้ขึ้นอย่างไร7
12
16 อย่างไรก็ตาม ข้อมูลดังกล่าวไม่ได้เปิดประวัติการทำงานทั้งหมดของแต่ละผลลัพธ์ และโมเดลยังเป็นระบบภายในที่บุคคลภายนอกไม่สามารถนำไปตรวจสอบอย่างอิสระได้
7
11
นอกจากนี้ ตัวเลขจำนวนโจทย์ที่ทดลองเพียงอย่างเดียวไม่ได้บอกชัดว่าโมเดลทำได้สำเร็จบ่อยเพียงใดในชุดโจทย์แนวหน้าที่กำหนดไว้อย่างชัดเจน การประเมินประสิทธิภาพและการทำซ้ำผลลัพธ์จึงต้องอาศัยข้อมูลเพิ่มเติมเกี่ยวกับวิธีการและขั้นตอนที่สร้างผลงานแต่ละชิ้น
OpenAI ระบุว่ามีแผนจัดเวิร์กช็อปและการประชุมเพื่อพิจารณาผลลัพธ์สำคัญ7 กิจกรรมลักษณะนี้อาจช่วยให้เกิดการตรวจสอบร่วมกัน แต่ยังทดแทนการเปิดเผยข้อมูลที่เพียงพอให้นักวิจัยคนอื่นประเมินได้อย่างอิสระไม่ได้
ข้อถกเถียงนี้สะท้อนอะไรเกี่ยวกับงานวิจัยคณิตศาสตร์
เรื่องนี้ไม่มีคำตอบง่าย ๆ คลังข้อโต้แย้งทางคณิตศาสตร์ที่สร้างโดย AI อาจมีความก้าวหน้าจริง แต่คุณค่าของมันต้องวัดจากผลลัพธ์ที่ผ่านการตรวจสอบโดยอิสระ ไม่ใช่จากจำนวนไฟล์ที่เผยแพร่หรือความสำคัญของโจทย์ที่ถูกกล่าวถึง7
10
ปฏิกิริยาของ AHM ยังหยิบยกคำถามเรื่องการให้เครดิตกับงานของนักวิจัยมนุษย์ที่มีมาก่อน ต้นทุนในการตรวจสอบผลลัพธ์ใหม่ และความเป็นไปได้ที่ลำดับความสำคัญหรือการสนับสนุนงานวิจัยที่มนุษย์ทำจะเปลี่ยนไป การเผยแพร่บทความครั้งนี้ไม่ได้ตอบคำถามเหล่านี้ แต่ทำให้ต้องพิจารณาอย่างเร่งด่วนยิ่งขึ้น45
ใจความสำคัญคือควรแยกความสามารถในการผลิตข้อกล่าวอ้างทางคณิตศาสตร์จำนวนมาก ออกจากการยืนยันความถูกต้องทางวิทยาศาสตร์ ข้อถกเถียงนี้จึงมีสองด้านพร้อมกัน ทั้ง AI จะช่วยสร้างความรู้ทางคณิตศาสตร์ได้อย่างไร และชุมชนวิชาการต้องมีกติกาแบบใดเพื่อให้ผลงานนั้นตรวจสอบได้ โปร่งใส และมีความหมายต่อผู้คนในแวดวง
Studio Global AI
ทำการวิจัยต่อ
หน้านี้รวมคำตอบที่ได้รับการสนับสนุนจากแหล่งที่มาซึ่งคุณสามารถดำเนินการต่อภายใน Studio Global
คนยังถาม
คำตอบสั้น ๆ สำหรับ "ข้อถกเถียงเบื้องหลังคลังบทความคณิตศาสตร์ 722 ฉบับของ OpenAI" คืออะไร
สมาคมคณิตศาสตร์เพื่อมนุษย์ (AHM) ขอให้นักคณิตศาสตร์ยุติความร่วมมือกับ OpenAI โดยมองว่าการเผยแพร่ผลงานจำนวนมากไม่ได้เท่ากับความรู้ที่ผ่านการรับรองทางวิชาการแล้ว
ประเด็นสำคัญที่ต้องตรวจสอบก่อนคืออะไร?
สมาคมคณิตศาสตร์เพื่อมนุษย์ (AHM) ขอให้นักคณิตศาสตร์ยุติความร่วมมือกับ OpenAI โดยมองว่าการเผยแพร่ผลงานจำนวนมากไม่ได้เท่ากับความรู้ที่ผ่านการรับรองทางวิชาการแล้ว OpenAI เผยแพร่หลักฐานประกอบและการพิสูจน์ใน Lean สำหรับผลลัพธ์บางส่วน แต่ไม่ใช่ทั้งหมด ขณะที่โมเดลภายในซึ่งสร้างผลงานยังไม่เปิดเผยให้ตรวจสอบโดยอิสระ
ฉันควรทำอย่างไรต่อไปในทางปฏิบัติ?
ข้อถกเถียงครอบคลุมทั้งคุณค่าทางคณิตศาสตร์ ความโปร่งใส เวลาที่ต้องใช้ตรวจสอบผลงาน และบทบาทของมนุษย์ในงานวิจัย