ข้ออ้างสามประการทำให้งานวิจัยหลายทศวรรษถูกตรวจสอบอย่างละเอียด
OpenAI ประกาศเมื่อวันที่ 26 ตุลาคม 2026 ว่าโมเดล AI ของบริษัทสร้างบทพิสูจน์ที่ตอบโจทย์ค้างคามานานสามข้อในคณิตศาสตร์ วิทยาการคอมพิวเตอร์ และฟิสิกส์ หนึ่งในนั้นท้าทายสมมติฐานด้านการคำนวณที่ถูกอ้างถึงในงานวิจัยหลายร้อยฉบับ บริษัทเผยแพร่เอกสารด้านคณิตศาสตร์และการคำนวณแล้ว ขณะที่กลุ่มนักวิจัยที่นำโดยเดวิด กรอส ผู้ได้รับรางวัลโนเบลสาขาฟิสิกส์ จะตรวจสอบงานด้านฟิสิกส์ก่อนเผยแพร่คำอธิบายของตนเอง
สารบัญ
- ข้ออ้างสามประการทำให้งานวิจัยหลายทศวรรษถูกตรวจสอบอย่างละเอียด
- ข้อพิสูจน์เกี่ยวกับคลื่นอ้างว่าอธิบายอะไร
- เรขาคณิตและความถี่เกี่ยวข้องกับข้ออ้างอย่างไร
- เหตุใดผลลัพธ์ด้านการคำนวณจึงสำคัญ
- สิ่งที่นักวิจัยต้องตรวจสอบเกี่ยวกับอัลกอริทึม
- ฟิสิกส์ศึกษารากฐานของทฤษฎีอนุภาค
- ลำดับขั้นจากผลลัพธ์ของโมเดลสู่การประกาศ
- การตรวจสอบอย่างเป็นทางการมีบทบาทอย่างไรในการทบทวนทางวิทยาศาสตร์
- การเข้าถึง เงินทุน และเครดิตกลายเป็นส่วนหนึ่งของข้อถกเถียง
- ประเด็นสำคัญ
ข้ออ้างด้านการคำนวณเกี่ยวข้องกับสมมติฐานเวลาเอ็กซ์โพเนนเชียล (Exponential Time Hypothesis หรือ ETH) ซึ่งเสนอขึ้นในปี 1999 OpenAI ระบุว่าโมเดลของบริษัทค้นพบอัลกอริทึมที่ขัดแย้งกับสมมติฐานดังกล่าว โดยแก้ปัญหาตรรกะกลุ่มหนึ่งได้เร็วกว่าที่สมมติฐานระบุไว้ รัสเซล อิมปาเกลียซโซ และรามาโมฮัน ปาตูรี สองนักวิจัยผู้มีส่วนเสนอ ETH จะเป็นผู้นำการตรวจสอบอิสระร่วมกับไรอัน วิลเลียมส์ ศาสตราจารย์จาก MIT
ด้านคณิตศาสตร์ บริษัทอ้างว่าพิสูจน์ข้อคาดการณ์การทำให้เรียบเฉพาะที่ของคริสโตเฟอร์ ซอกเก ซึ่งเสนอขึ้นในปี 1991 ได้สำหรับสมการคลื่นแบบยุคลิดในทุกมิติของปริภูมิตั้งแต่สองมิติขึ้นไป OpenAI ระบุว่าข้อพิสูจน์นี้ยังให้ผลลัพธ์เกี่ยวกับข้อคาดการณ์คาเคยาและข้อคาดการณ์การจำกัดของสไตน์ เชื่อมโยงการเคลื่อนที่ของคลื่นเข้ากับคำถามยากเกี่ยวกับเรขาคณิตและความถี่
ข้ออ้างด้านฟิสิกส์เกี่ยวข้องกับการมีอยู่ทางคณิตศาสตร์ของทฤษฎีสนามควอนตัมที่มีปฏิสัมพันธ์บางประเภทในสี่มิติ รวมถึงโครโมไดนามิกส์ควอนตัม (QCD) ซึ่งอธิบายปฏิสัมพันธ์ระหว่างควาร์กกับกลูออน OpenAI ยังระบุด้วยว่างานครอบคลุมทฤษฎียาง-มิลส์แบบบริสุทธิ์ และการทำให้สมบูรณ์แบบเอกภาพรูปแบบหนึ่งของแบบจำลองมาตรฐานในฟิสิกส์อนุภาค
ขั้นตอนต่อไปของทั้งสามโครงการคือการตรวจสอบโดยอิสระ นักวิจัยจะพิจารณาข้อโต้แย้ง สมมติฐาน และข้อความทางคณิตศาสตร์ที่พิสูจน์อย่างเฉพาะเจาะจง ประกาศดังกล่าวไม่ได้ระบุกำหนดเวลาสำหรับการตรวจสอบให้เสร็จสิ้น หรือการเผยแพร่เอกสารด้านฟิสิกส์ที่ยังไม่ได้เปิดเผย
ข้อพิสูจน์เกี่ยวกับคลื่นอ้างว่าอธิบายอะไร
ข้อคาดการณ์การทำให้เรียบเฉพาะที่ของซอกเกว่าด้วยระดับที่คลื่นสามารถรวมตัวอย่างเข้มข้นขณะเคลื่อนที่ คลื่นอาจรวมจุดโฟกัสอย่างคมชัดในช่วงเวลาหนึ่ง ข้อคาดการณ์นี้ระบุขีดจำกัดทางคณิตศาสตร์ของการรวมตัวดังกล่าว เมื่อวัดพฤติกรรมของคลื่นในช่วงเวลาหนึ่ง
ลองนึกถึงการดูคลื่นผ่านภาพถ่ายต่อเนื่องหลายภาพ แทนที่จะตัดสินจากภาพที่ดูหวือหวาที่สุดเพียงภาพเดียว ภาพเดียวอาจแสดงยอดคลื่นที่รุนแรง แต่ภาพต่อเนื่องเผยให้เห็นว่ายอดนั้นคงอยู่เพียงชั่วครู่ นักคณิตศาสตร์อธิบายความสัมพันธ์นี้ผ่านค่าประมาณของคำตอบสมการคลื่น ซึ่งเป็นสมการที่ใช้อธิบายการเคลื่อนที่ของคลื่น
OpenAI ระบุว่าข้อโต้แย้งของบริษัทนำเสนอสมการเชิงอนุพันธ์ย่อยเสริมแบบใหม่ สมการลักษณะนี้อธิบายการเปลี่ยนแปลงของปริมาณต่าง ๆ ในปริภูมิและเวลา ส่วนสมการเสริมเป็นเครื่องมือเพิ่มเติมสำหรับศึกษาปัญหาต้นฉบับ บริษัทระบุว่าแนวทางนี้พิสูจน์ค่าประมาณที่ต้องการได้ในทุกมิติของปริภูมิตั้งแต่สองมิติขึ้นไป
ขอบเขตที่อ้างนี้ต่อยอดจากหมุดหมายสำคัญก่อนหน้า แลร์รี กัท แห่งหวัง และรู่เซียง จาง พิสูจน์การทำให้เรียบเฉพาะที่ในปริภูมิสองมิติเมื่อปี 2019 ประกาศของ OpenAI กล่าวถึงข้อโต้แย้งทั่วไปที่ครอบคลุมมิติที่สูงขึ้นด้วย ไม่ใช่ผลลัพธ์ที่จำกัดอยู่เพียงมิติเดียว
เรขาคณิตและความถี่เกี่ยวข้องกับข้ออ้างอย่างไร
ปัญหาคาเคยาถามว่าเซตที่มีส่วนของเส้นตรงยาวหนึ่งหน่วยในทุกทิศทางจะมีขนาดเล็กที่สุดได้เพียงใด ความยากอยู่ที่ความแตกต่างระหว่างปริมาตรทั่วไปกับมิติทางคณิตศาสตร์ เซตหนึ่งอาจมีปริมาตรน้อยมาก แต่ยังคงมีโครงสร้างซับซ้อนที่นักคณิตศาสตร์วัดด้วยมิติ
หง หวัง และโจชัว ซาห์ลพิสูจน์ผลลัพธ์สำคัญเกี่ยวกับข้อคาดการณ์คาเคยาในสามมิติเมื่อปี 2025 OpenAI ระบุว่าข้อโต้แย้งใหม่เกี่ยวกับคลื่นของบริษัทให้ผลทั้งข้อคาดการณ์ค่าสูงสุดคาเคยาและข้อคาดการณ์มิติคาเคยาในหลายมิติ ซึ่งหากผ่านการตรวจสอบ ก็จะขยายขอบเขตไปไกลกว่าหมุดหมายก่อนหน้านั้นมาก
ข้อคาดการณ์การจำกัดของสไตน์อยู่ในเครือข่ายปัญหาเดียวกัน โดยเกี่ยวข้องกับพฤติกรรมของข้อมูลความถี่เมื่อนำไปจำกัดอยู่บนพื้นผิวโค้ง คำอธิบายโดยละเอียดของ OpenAI อ้างว่าพิสูจน์ค่าประมาณการจำกัดบนทรงกลมได้ตลอดช่วงภายในของขอบเขตที่คาดการณ์ไว้ ถ้อยคำนี้ระบุช่วงของค่าประมาณที่นักวิจัยต้องตรวจสอบเมื่อประเมินข้ออ้างที่กว้างขึ้นเกี่ยวกับข้อคาดการณ์ของสไตน์
เหตุใดผลลัพธ์ด้านการคำนวณจึงสำคัญ
สมมติฐานเวลาเอ็กซ์โพเนนเชียลเกี่ยวข้องกับปัญหาความน่าพอใจแบบบูลีน ซึ่งประกอบด้วยตัวแปรที่มีค่าเป็นจริงหรือเท็จ สูตรจะกำหนดกฎสำหรับการนำตัวแปรเหล่านั้นมารวมกัน และโจทย์คือค้นหาว่ามีการกำหนดค่าแบบใดที่ทำให้กฎทุกข้อเป็นจริงหรือไม่
ใน 3-SAT แต่ละประโยคเงื่อนไขมีพจน์ไม่เกินสามพจน์ เงื่อนไขหนึ่งอาจกำหนดให้ข้อความสามข้อมีอย่างน้อยหนึ่งข้อเป็นจริง ขณะที่สูตรทั้งหมดกำหนดให้ทุกเงื่อนไขเป็นจริง เมื่อจำนวนตัวแปรเพิ่มขึ้น จำนวนการกำหนดค่าที่เป็นไปได้จะเพิ่มเป็นสองเท่าทุกครั้งที่เพิ่มตัวแปรหนึ่งตัว ตัวแปร 10 ตัวมีการกำหนดค่าได้ 1,024 แบบ ส่วนตัวแปร 20 ตัวมีได้ 1,048,576 แบบ
ETH ระบุว่าในกรณีเลวร้ายที่สุด การแก้ 3-SAT ต้องใช้เวลาที่เพิ่มขึ้นแบบเอ็กซ์โพเนนเชียลตามจำนวนตัวแปร อิมปาเกลียซโซ ปาตูรี และฟรานซิส เซน มีส่วนกำหนดสมมติฐานนี้ขึ้นในปี 1999 นับแต่นั้นมา นักวิจัยใชัสมมติฐานนี้เป็นข้อสมมติในการอธิบายว่าเหตุใดปัญหาจำนวนมากในทฤษฎีกราฟ ชีววิทยาเชิงคำนวณ ฐานข้อมูล และเรขาคณิตเชิงคำนวณจึงแก้ให้เร็วกว่านี้ได้ยาก
ข้ออ้างของ OpenAI เฉพาะเจาะจงกว่าคำกล่าวทั่วไปว่าจะคำนวณได้เร็วขึ้น บริษัทระบุว่าโมเดลของตนสร้างอัลกอริทึมแบบกำหนดแน่นอนที่นับจำนวนการกำหนดค่าซึ่งทำให้สูตรในรูปแบบปกติแบบเชื่อมโยงเป็นจริงได้อย่างแม่นยำ รูปแบบปกติแบบเชื่อมโยงคือการจัดเรียงเงื่อนไขที่ทุกข้อจะต้องเป็นจริง ส่วนความกว้างคงที่หมายถึงการจำกัดจำนวนพจน์ในแต่ละเงื่อนไขไว้ด้วยค่าคงที่
อัลกอริทึมที่อ้างนี้ใช้เวลาแบบกึ่งเอ็กซ์โพเนนเชียลและใช้พื้นที่หน่วยความจำแบบพหุนาม การเติบโตแบบกึ่งเอ็กซ์โพเนนเชียลช้ากว่าการเติบโตแบบเอ็กซ์โพเนนเชียลที่ ETH ระบุไว้สำหรับ 3-SAT ส่วนการใช้พื้นที่แบบพหุนามหมายถึงความต้องการหน่วยความจำถูกจำกัดด้วยกำลังคงที่ของขนาดข้อมูลนำเข้า การนับจำนวนการกำหนดค่าที่ทำให้สูตรเป็นจริงยังตอบคำถามที่ง่ายกว่าด้วย นั่นคือ หากจำนวนมากกว่าศูนย์ ก็แปลว่าสูตรนั้นทำให้เป็นจริงได้
สิ่งที่นักวิจัยต้องตรวจสอบเกี่ยวกับอัลกอริทึม
งานวิจัยหลายร้อยฉบับใช้ ETH เพื่ออนุมานขีดจำกัดของอัลกอริทึมภายใต้เงื่อนไข ข้อสรุปโดยทั่วไปมีรูปแบบว่า หาก ETH เป็นจริง ปัญหาหนึ่งจะแก้ให้เสร็จภายในขอบเขตเวลาที่กำหนดไม่ได้ หากมีการยอมรับข้อพิสูจน์ที่หักล้าง ETH นักวิจัยจะต้องกลับมาทบทวนสมมติฐานที่รองรับขีดจำกัดเหล่านั้น
การใช้งานคอมพิวเตอร์จริงเป็นอีกประเด็นที่ต้องพิจารณา นักวิจัยจำเป็นต้องเข้าใจค่าคงที่ในอัลกอริทึม ข้อกำหนดในการนำไปใช้ และพฤติกรรมเมื่อป้อนข้อมูลขนาดที่ใช้ประโยชน์ได้ อัตราการเติบโตที่ดีกว่าในทางคณิตศาสตร์ก็ยังอาจต้องใช้เวลาคำนวณมาก โดยเฉพาะกับข้อมูลขนาดที่พบในการใช้งานจริง
P เทียบกับ NP ตั้งคำถามอีกแบบหนึ่งว่า ทุกปัญหาที่ตรวจสอบคำตอบที่เสนอมาได้อย่างมีประสิทธิภาพ จะสามารถแก้ได้อย่างมีประสิทธิภาพด้วยหรือไม่ ในบริบทนี้ คำว่าอย่างมีประสิทธิภาพโดยทั่วไปหมายถึงเวลาแบบพหุนาม อัลกอริทึมแบบกึ่งเอ็กซ์โพเนนเชียลอยู่ในหมวดที่กว้างกว่า ดังนั้นการตรวจสอบจะมุ่งไปที่ความเร็วที่อ้างอย่างเฉพาะเจาะจงและผลที่ตามมาต่อ ETH
อิมปาเกลียซโซและปาตูรี ซึ่งทำงานอยู่ที่มหาวิทยาลัยแคลิฟอร์เนีย ซานดิเอโก รวมถึงวิลเลียมส์ จะจัดการตรวจสอบอิสระ ในจดหมายเปิดผนึกถึงชุมชนนักวิจัย นักวิทยาการคอมพิวเตอร์ทั้งสามคนอธิบายถึงความรอบคอบที่จำเป็นไว้ว่า
การมีส่วนร่วมของเราไม่ควรถูกมองว่าเป็นการรับรองข้ออ้างนี้ ผลลัพธ์ที่มีความสำคัญระดับนี้จำเป็นต้องได้รับการตรวจสอบอย่างรอบคอบและเป็นอิสระ
ฟิสิกส์ศึกษารากฐานของทฤษฎีอนุภาค
ทฤษฎีสนามควอนตัมอธิบายอนุภาคและปฏิสัมพันธ์ระหว่างอนุภาคผ่านสนามที่แผ่กระจายไปทั่วปริภูมิและเวลา ข้ออ้างด้านฟิสิกส์ของ OpenAI เกี่ยวข้องกับทฤษฎีที่มีปฏิสัมพันธ์และประกอบด้วยสนามเกจและเฟอร์มิออนในสี่มิติ ซึ่งโดยปกติหมายถึงสามมิติของปริภูมิและหนึ่งมิติของเวลา
QCD อธิบายปฏิสัมพันธ์อย่างเข้มระหว่างควาร์กกับกลูออน ควาร์กเป็นองค์ประกอบของโปรตอนและนิวตรอน ส่วนกลูออนเป็นตัวพาแรงอย่างเข้ม นักฟิสิกส์ใช้ QCD อธิบายพฤติกรรมที่สังเกตได้อยู่แล้ว แต่โจทย์ทางคณิตศาสตร์ในที่นี้คือการสร้างทฤษฎีอย่างเคร่งครัด และพิสูจน์ว่าวัตถุที่ใช้กำหนดทฤษฎีนั้นมีอยู่ภายใต้เงื่อนไขที่ชัดเจน
OpenAI ระบุว่างานนี้ต่อยอดจากแนวทางที่ทาเดอุช บาลาบันพัฒนาขึ้นในทฤษฎีสนามควอนตัมเชิงสร้างสรรค์ สาขานี้มุ่งสร้างทฤษฎีควอนตัมที่ควบคุมได้ทางคณิตศาสตร์ เพื่อวางรากฐานให้กับปริมาณที่นักฟิสิกส์ใช้คำนวณ
ข้ออ้างนี้ยังครอบคลุมทฤษฎียาง-มิลส์แบบบริสุทธิ์ด้วย ปัญหาการมีอยู่และช่องว่างมวลของยาง-มิลส์จากสถาบันคณิตศาสตร์เคลย์กำหนดให้ต้องสร้างทฤษฎีอย่างเคร่งครัด และพิสูจน์ว่ามีช่องว่างมวลเป็นบวก หมายถึงมีพลังงานขั้นต่ำที่เป็นบวกคั่นระหว่างสุญญากาศกับสถานะกระตุ้นที่เบาที่สุด ผลลัพธ์ที่ OpenAI ประกาศมุ่งตอบเรื่องการมีอยู่ ส่วนเงื่อนไขเรื่องช่องว่างมวลยังเป็นอีกส่วนหนึ่งของปัญหารางวัล
กรอส ผู้ได้รับรางวัลโนเบลสาขาฟิสิกส์ในปี 2004 จะเป็นผู้นำกลุ่มด้านฟิสิกส์ สมาชิกคนอื่นประกอบด้วยไมเคิล ดักลาส อาร์เธอร์ แจฟเฟ จอร์ อิกอร์ เคลบานอฟ และนิกิตา เนเครซอฟ ตามคำขอของกลุ่ม เอกสารจาก AI จะยังไม่เปิดเผยระหว่างที่นักวิจัยจัดทำคำอธิบายงานด้วยตนเอง
ลำดับขั้นจากผลลัพธ์ของโมเดลสู่การประกาศ
OpenAI ระบุว่าการค้นพบที่อ้างเกิดขึ้นในช่วงเดือนกันยายนและตุลาคม 2026 ลำดับเหตุการณ์แยกขั้นตอนการสร้างข้อโต้แย้งเป็นลายลักษณ์อักษรออกจากการทำให้อยู่ในรูปแบบ Lean ในภายหลัง ซึ่งเป็นระบบตรวจสอบข้อพิสูจน์ที่เขียนด้วยภาษาคณิตศาสตร์อย่างแม่นยำ
- 9 กันยายน: โมเดลสร้างข้อพิสูจน์การมีอยู่ของทฤษฎียาง-มิลส์แบบบริสุทธิ์ตามที่อ้าง
- 18 กันยายน: โมเดลสร้างข้อพิสูจน์ QCD ตามที่อ้าง
- 6 ตุลาคม: OpenAI เผยแพร่ต้นฉบับคณิตศาสตร์ 722 ฉบับในการเผยแพร่งานวิจัยครั้งก่อน
- 16 ตุลาคม: โมเดลสร้างข้อพิสูจน์ที่หักล้าง ETH และการทำให้ข้อพิสูจน์การมีอยู่ของยาง-มิลส์เป็นรูปแบบ Lean เสร็จสมบูรณ์
- 17 ตุลาคม: การทำให้ข้อโต้แย้งเกี่ยวกับ ETH เป็นรูปแบบ Lean เสร็จสมบูรณ์
- 18 ตุลาคม: โมเดลสร้างข้อโต้แย้งเรื่องการทำให้เรียบเฉพาะที่
- 19 ตุลาคม: การทำให้ข้อโต้แย้งทางคณิตศาสตร์เป็นรูปแบบ Lean เสร็จสมบูรณ์
- 26 ตุลาคม: OpenAI ประกาศโครงการทั้งสามและแนวทางการตรวจสอบ
เอกสารด้านคณิตศาสตร์และวิทยาการคอมพิวเตอร์ รวมถึงวัสดุข้อพิสูจน์อย่างเป็นทางการ เผยแพร่ต่อสาธารณะผ่าน GitHub ส่วนกลุ่มด้านฟิสิกส์เลือกลำดับอีกแบบ โดยจะเผยแพร่คำอธิบายก่อนเปิดเผยวัสดุ AI ต้นทาง
การตรวจสอบอย่างเป็นทางการมีบทบาทอย่างไรในการทบทวนทางวิทยาศาสตร์
Lean ทำให้สามารถเขียนข้อพิสูจน์เป็นลำดับข้อความที่แม่นยำ และให้ซอฟต์แวร์ตรวจสอบกับนิยามและกฎตรรกะ วิธีนี้ช่วยให้ตรวจสอบการให้เหตุผลที่ซับซ้อนได้ละเอียดกว่าที่มักทำได้ด้วยร้อยแก้วทั่วไป
ผู้ตรวจสอบที่เป็นมนุษย์ยังพิจารณาด้วยว่านิยามอย่างเป็นทางการตรงกับคำถามวิจัยต้นฉบับอย่างไร ข้อพิสูจน์ใช้สมมติฐานใด และผลลัพธ์เชื่อมโยงกับงานก่อนหน้าอย่างไร สำหรับข้ออ้างด้านการคำนวณ เรื่องนี้รวมถึงการทำความเข้าใจอัลกอริทึมและเวลาในการทำงาน ส่วนข้ออ้างเกี่ยวกับคลื่นต้องตรวจสอบมิติและช่วงของค่าประมาณที่ครอบคลุม
OpenAI อธิบายว่าผลลัพธ์จากโมเดลเป็นข้อมูลวิจัยดิบที่ต้องนำมาตีความให้เกิดความเข้าใจทางวิทยาศาสตร์ แนวทางเผยแพร่ผลงานทั้งสามโครงการแบ่งหน้าที่ดังกล่าวแตกต่างกัน ได้แก่ การตรวจสอบแบบเปิดสำหรับคณิตศาสตร์ การจัดตั้งกลุ่มร่วมกับการเปิดเผยข้อมูลต่อสาธารณะสำหรับวิทยาการคอมพิวเตอร์ และการให้กลุ่มที่ได้รับเลือกเผยแพร่คำอธิบายเบื้องต้นสำหรับฟิสิกส์
วิลเลียมส์กล่าวว่าผู้ตรวจสอบด้านการคำนวณไม่ได้ลงนามในข้อตกลงรักษาความลับและจะไม่ได้รับค่าตอบแทน OpenAI ยอมรับคำขอของพวกเขาให้เผยแพร่ข้อมูล ETH ดิบ และสนับสนุนเงินทุนจัดการประชุมให้นักวิจัยตรวจสอบข้ออ้าง นักวิจัยภายนอกสามารถสรุปและเผยแพร่ข้อค้นพบได้อย่างอิสระจากบริษัท
การเข้าถึง เงินทุน และเครดิตกลายเป็นส่วนหนึ่งของข้อถกเถียง
ประกาศของ OpenAI เกิดขึ้นหลังจากบริษัทถูกวิจารณ์เกี่ยวกับการเผยแพร่ต้นฉบับคณิตศาสตร์หลายร้อยฉบับก่อนหน้านี้ และภาระงานที่ต้องใช้ในการตรวจสอบ การจัดการใหม่ดึงนักวิชาการที่ระบุชื่อเข้ามามีส่วนร่วม ขณะเดียวกันก็ทำให้เกิดข้อถกเถียงว่าใครจะได้เข้าถึงผลงานก่อน
คณะกรรมการที่ปรึกษาคณิตศาสตร์ AGMAI ของบริษัทแนะนำไม่ให้เปิดสิทธิ์เข้าถึงผลลัพธ์จาก AI ล่วงหน้าแก่กลุ่มนักวิจัยที่ได้รับเลือก ข้อกังวลของคณะกรรมการรวมถึงการเข้าถึงที่ไม่เท่าเทียม อคติในการคัดเลือก และความเป็นไปได้ที่ชื่อเสียงของนักวิจัยที่มีชื่อเสียงจะช่วยเพิ่มความน่าเชื่อถือให้ผลงานก่อนการตรวจสอบเสร็จสิ้น
คณะกรรมการแนะนำให้เผยแพร่ผลลัพธ์ผ่านคลังผลงานวิชาการ รวมถึงการทำให้อยู่ในรูปแบบ Lean และข้อมูลเกี่ยวกับวิธีเลือกปัญหา อีกทั้งเรียกร้องให้สนับสนุนนักวิจัยที่ตรวจสอบและอธิบายผลลัพธ์ ความแตกต่างจากการเก็บเอกสารด้านฟิสิกส์ไว้ก่อนทำให้ประเด็นการเข้าถึงเป็นเรื่องที่เห็นได้ชัดในประกาศครั้งนี้
OpenAI ระบุว่าบริษัทไม่ได้ต้องการเครดิตทางวิชาการสำหรับการค้นพบ และต้องการให้นักวิจัยได้รับการยอมรับจากคำอธิบายที่จัดทำขึ้น จดหมายของผู้ตรวจสอบด้านการคำนวณตั้งคำถามว่าควรให้เครดิตอย่างไรแก่ทั้งการค้นพบและการตรวจสอบ การแก้ไข การทำให้ง่ายขึ้น การอธิบาย และการต่อยอดผลลัพธ์ อีกทั้งยังถามว่าจะสนับสนุนนักศึกษาและนักวิจัยได้อย่างไรเมื่อวิธีการทำวิจัยเปลี่ยนแปลงไป
เงินสนับสนุน 5 ล้านดอลลาร์ที่ประกาศก่อนหน้านี้ให้แก่มูลนิธิไซมอนส์ มีเป้าหมายเพื่อสนับสนุนเวิร์กช็อป การประชุม และโครงการวิจัยเกี่ยวกับผลลัพธ์จาก AI การสนับสนุนกิจกรรมเหล่านี้จะช่วยกระจายงานตรวจสอบออกไปนอกกลุ่มขนาดเล็กที่ระบุชื่อในประกาศ
ประเด็นสำคัญ
- OpenAI ประกาศความก้าวหน้าครั้งสำคัญสามเรื่องตามที่อ้างเมื่อวันที่ 26 ตุลาคม 2026 โดยยังต้องผ่านการตรวจสอบอิสระ
- ข้ออ้างด้านคณิตศาสตร์ครอบคลุมการทำให้เรียบเฉพาะที่ในทุกมิติของปริภูมิตั้งแต่สองมิติขึ้นไป พร้อมผลลัพธ์เพิ่มเติมที่อ้างเกี่ยวกับคาเคยาและการจำกัด
- ข้ออ้างด้านการคำนวณนำเสนออัลกอริทึมที่อาจหักล้างสมมติฐานเวลาเอ็กซ์โพเนนเชียล หากได้รับการยืนยัน
- รัสเซล อิมปาเกลียซโซ รามาโมฮัน ปาตูรี และไรอัน วิลเลียมส์ เป็นผู้นำการตรวจสอบ ETH อย่างอิสระ
- เดวิด กรอส เป็นผู้นำการตรวจสอบด้านฟิสิกส์ ซึ่งครอบคลุมข้อพิสูจน์การมีอยู่ที่อ้าง รวมถึง QCD และทฤษฎียาง-มิลส์แบบบริสุทธิ์
- เอกสารด้านคณิตศาสตร์และการคำนวณเปิดเผยต่อสาธารณะ ส่วนเอกสารด้านฟิสิกส์ยังไม่เปิดเผยระหว่างที่นักวิจัยจัดทำคำอธิบาย
- ยังไม่มีการประกาศกำหนดเวลาสำหรับการตรวจสอบให้เสร็จสิ้น หรือการเผยแพร่เอกสารด้านฟิสิกส์
