กฎ

เมื่อ 26 ตุลาคม 2026 OpenAI ประกาศว่าระบบ AI ของตน "พิสูจน์แล้วว่า ETH เป็นเท็จ ซึ่งเป็นผลลัพธ์ที่ได้รับการตรวจสอบใน Lean ในภายหลัง" (ดู: https://openai.com/index/building-scientific-understanding-with-academic-communities/) ตลาดนี้จะตัดสินเป็น "ใช่" หากมีการยืนยันการพิสูจน์หักล้างสมมติฐานเวลาเอ็กซ์โพเนนเชียลด้วยวิธียืนยันที่เข้าเกณฑ์อย่างน้อยหนึ่งวิธีตามรายการด้านล่าง ภายในวันที่ระบุ 23:59 ET มิฉะนั้น ตลาดนี้จะตัดสินเป็น "ไม่" "สมมติฐานเวลาเอ็กซ์โพเนนเชียล" หมายถึงข้อคาดการณ์ที่เสนอโดย Russell Impagliazzo และ Ramamohan Paturi ว่าปัญหา 3-SAT ไม่สามารถแก้ได้ในเวลาแบบซับเอ็กซ์โพเนนเชียล "การพิสูจน์หักล้าง" หมายถึงการพิสูจน์ทางคณิตศาสตร์ใด ๆ ที่แสดงว่า Exponential Time Hypothesis เป็นเท็จ ซึ่งรวมถึงการพิสูจน์ที่นำเสนอในบทความของ OpenAI เรื่อง "The Exponential Time Hypothesis is False" (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) และฉบับแก้ไข ปรับปรุง หรือต่อยอดใด ๆ ของการพิสูจน์ดังกล่าว ไม่ว่าจะจัดทำโดย OpenAI หรือผู้อื่น การยืนยันที่พิสูจน์ได้เพียงผลลัพธ์ที่อ่อนกว่า เช่น อัลกอริทึมที่เร็วขึ้นแต่ไม่ได้หักล้างสมมติฐานเวลาเอ็กซ์โพเนนเชียล หรือพิสูจน์ได้เพียงว่าโค้ด Lean ของ OpenAI คอมไพล์ได้ จะไม่เข้าเกณฑ์ วิธีการยืนยันที่เข้าเกณฑ์มีดังนี้: (i) การตีพิมพ์ที่ผ่านการพิจารณาโดยผู้ทรงคุณวุฒิ: บทความที่นำเสนอการพิสูจน์หักล้าง ไม่ว่าจะเขียนโดย OpenAI หรือนักวิจัยอื่น ต้องได้รับการตีพิมพ์หรือได้รับการตอบรับให้ตีพิมพ์ในวารสารวิทยาศาสตร์ที่มีชื่อเสียงซึ่งผ่านการพิจารณาโดยผู้ทรงคุณวุฒิ หรือในการประชุมวิชาการที่ผ่านการพิจารณาโดยผู้ทรงคุณวุฒิ (เช่น STOC, FOCS, SODA) พรีพรินต์และสิ่งพิมพ์อื่นที่ยังผ่านการประเมินโดยผู้ทรงคุณวุฒิไม่ครบถ้วนจะไม่เข้าเกณฑ์ (ii) การตรวจสอบยืนยันโดยอิสระ: กลุ่มทบทวนที่นำโดย Russell Impagliazzo, Ramamohan Paturi และ Ryan Williams นักวิจัยคนใดคนหนึ่งในสามคนนี้ หรือนักวิจัยหรือกลุ่มวิจัยที่น่าเชื่อถือรายอื่นซึ่งไม่มีความเกี่ยวข้องกับ OpenAI ยืนยันต่อสาธารณะว่าการพิสูจน์หักล้างนั้นถูกต้อง การยืนยันต้องระบุอย่างไม่มีเงื่อนไขว่าการพิสูจน์หักล้างนั้นถูกต้อง หรือสมมติฐานเวลาเอ็กซ์โพเนนเชียลเป็นเท็จ (เช่น ระบุว่าได้ตรวจสอบการพิสูจน์แล้วและพบว่าถูกต้อง) และต้องเผยแพร่โดยนักวิจัยหรือกลุ่มที่ตรวจสอบ หรือสมาชิกของกลุ่มดังกล่าว รวมถึงผ่านบทความ บทความก่อนตีพิมพ์ เว็บไซต์ บล็อก หรือบัญชีโซเชียลมีเดียทางการ การยืนยันที่ OpenAI เป็นผู้ถ่ายทอดเพียงฝ่ายเดียวจะไม่เข้าเกณฑ์ การยืนยันอาจอาศัยการทบทวนข้อพิสูจน์ที่เขียนไว้ การทำรูปแบบนัยอย่างเป็นทางการใน Lean หรือทั้งสองอย่าง การยืนยันที่อาศัยการทำรูปแบบนัยอย่างเป็นทางการใน Lean จะเข้าเกณฑ์หากระบุว่าผลลัพธ์ที่ทำให้อยู่ในรูปแบบนัยอย่างเป็นทางการพิสูจน์ว่าสมมติฐานเวลาเอ็กซ์โพเนนเชียลเป็นเท็จ ข้อความที่ระบุว่าการทบทวนยังดำเนินอยู่ ยังไม่พบข้อผิดพลาดจนถึงขณะนี้ หรือการพิสูจน์หักล้างดูเหมือนจะถูกต้อง มีแนวโน้มว่าจะถูกต้อง จะไม่เข้าเกณฑ์ การยืนยันที่เผยแพร่หรือเปิดเผยต่อสาธารณะหลังวันที่ระบุจะไม่นำมาพิจารณา แม้ว่าการทบทวนที่เกี่ยวข้องจะเกิดขึ้นก่อนวันดังกล่าวก็ตาม พนักงาน ผู้รับจ้าง และนักลงทุนของ OpenAI ถือว่ามีความเกี่ยวข้องกับ OpenAI กลุ่มทบทวนที่นำโดย Russell Impagliazzo, Ramamohan Paturi และ Ryan Williams รวมถึงสมาชิกของกลุ่ม จะไม่ถือว่ามีความเกี่ยวข้องกับ OpenAI คำแถลงของกลุ่มทบทวนที่ว่าการมีส่วนร่วมของกลุ่มไม่ควรถูกมองว่าเป็นการรับรองข้อกล่าวอ้าง จะไม่ขัดขวางการนับการยืนยันที่เข้าเกณฑ์ซึ่งกลุ่มหรือสมาชิกให้ไว้ในภายหลังเพื่อการตัดสินผล คำแถลง โพสต์บนโซเชียลมีเดีย หรือข่าวประชาสัมพันธ์จาก OpenAI หรือบริษัทในเครือ รายงานข่าวที่เพียงถ่ายทอดข้อกล่าวอ้างดังกล่าว และการทำรูปแบบนัยอย่างเป็นทางการใน Lean ที่เผยแพร่โดย OpenAI จะไม่เข้าเกณฑ์ด้วยตัวมันเอง แหล่งข้อมูลสำหรับการตัดสินตลาดนี้จะพิจารณาจากฉันทามติของแหล่งข้อมูลที่น่าเชื่อถือและผู้เชี่ยวชาญทางวิทยาศาสตร์ที่เกี่ยวข้อง ซึ่งตรวจสอบความน่าเชื่อถือของการยืนยันที่เข้าเกณฑ์

แปลด้วยเครื่อง หากมีข้อโต้แย้ง ให้ยึดต้นฉบับเป็นหลัก