OpenAI ประกาศว่าโมเดลของบริษัทสร้างผลงานใหม่ในคณิตศาสตร์ วิทยาการคอมพิวเตอร์เชิงทฤษฎี และฟิสิกส์ รวม 3 เรื่อง ซึ่งแต่ละเรื่องเป็นโจทย์ที่นักวิจัยทั่วโลกพยายามมาหลายสิบปี ทั้งหมดนี้เป็น ข้ออ้างของ OpenAI ที่ยังรอการตรวจสอบจากภายนอก
สารบัญ
ข้ออ้างที่ 1: Exponential Time Hypothesis “เป็นเท็จ”
ETH คืออะไร: สมมติฐานว่าด้วยความยากของการแก้ปัญหา Boolean satisfiability ซึ่งเกี่ยวพันใกล้ชิดกับโจทย์ P กับ NP นักวิจัยใช้ ETH เพื่อแสดงว่าปัญหาในทฤษฎีกราฟ ชีววิทยาเชิงคำนวณ ฐานข้อมูล และอีกหลายสาขาแก้ให้เร็วไม่ได้ OpenAI ระบุว่าเป็นสิ่งที่ “เชื่อกันอย่างกว้างขวางว่าจริง”
- โมเดลภายในที่ไม่เปิดเผยชื่อ ค้นพบการหักล้าง ETH เมื่อวันที่ 16 ตุลาคม 2026
- OpenAI ตรวจบทพิสูจน์ด้วย Lean ภาษาที่ให้เครื่องตรวจความถูกต้องของบทพิสูจน์ เมื่อวันที่ 17 ตุลาคม และเผยแพร่ทั้งบทเขียนของโมเดลและไฟล์ Lean บน GitHub
- Ryan Williams (MIT) กับ Russell Impagliazzo และ Ramamohan Paturi (UC San Diego) ซึ่งเป็นผู้เสนอ ETH ร่วมกับ Francis Zane จะนำการตรวจสอบแบบเปิดและเป็นอิสระ จดหมายเปิดผนึกของพวกเขาย้ำว่า การเข้าร่วม “ไม่ควรถูกมองว่าเป็นการรับรองข้ออ้างนี้”
- กลุ่มนี้ไม่ได้เซ็น NDA และไม่รับค่าตอบแทน และขอให้ OpenAI เปิดข้อมูลดิบทั้งหมด พร้อมสนับสนุนเงินจัดประชุมวิชาการ ซึ่ง OpenAI ตกลงทั้งสองข้อ
Williams และคณะเขียนว่า หากถูกต้อง ผลนี้ “จะเปลี่ยนส่วนสำคัญของวิทยาการคอมพิวเตอร์เชิงทฤษฎี”
ข้ออ้างที่ 2: พิสูจน์ Local Smoothing ทุกมิติ ตามด้วย Kakeya
ข้อความคาดการณ์ local smoothing เสนอโดย Christopher Sogge ในปี 1991 OpenAI อ้างว่าโมเดลพิสูจน์ได้ในทุกมิติ ซึ่งจะยุติทั้ง ข้อความคาดการณ์ Kakeya และข้อความคาดการณ์ restriction ของ Stein ในทุกมิติด้วย ก่อนหน้านี้นักคณิตศาสตร์พิสูจน์ local smoothing ได้ใน 2 มิติเมื่อปี 2019 และ Kakeya ใน 3 มิติเมื่อปี 2025 OpenAI เผยแพร่บทเขียนและไฟล์ Lean แล้ว แต่ยังไม่มีผู้เชี่ยวชาญภายนอกยืนยัน วิธีเผยแพร่นี้คล้ายกับที่ OpenAI ปล่อยงานคณิตศาสตร์ 722 ฉบับเมื่อ 6 ตุลาคม 2026
ข้ออ้างที่ 3: ฟิสิกส์ ทฤษฎีสนามควอนตัมมีอยู่จริงใน 4 มิติ
OpenAI ระบุว่าโมเดลสร้างบทพิสูจน์ที่เคร่งครัดว่าทฤษฎีสนามควอนตัมบางชนิดมีอยู่จริงใน 4 มิติ รวมถึง ควอนตัมโครโมไดนามิกส์ (QCD) ที่อธิบายแรงนิวเคลียร์อย่างเข้มระหว่างควาร์กกับกลูออน และมีบทพิสูจน์ว่าทฤษฎี Yang-Mills บริสุทธิ์มีอยู่จริง ซึ่งเป็นส่วนหนึ่งของโจทย์รางวัล Millennium Prize ของสถาบัน Clay
กลุ่มที่นำโดยเจ้าของรางวัลโนเบล David Gross ร่วมกับ Michael Douglas, Arthur Jaffe, Igor Klebanov และ Nikita Nekrasov จะเป็นผู้เรียบเรียงงานนี้ และเลือกยังไม่เปิดเผยเนื้อหาที่ AI สร้างในตอนนี้ ส่วนบทพิสูจน์ Navier–Stokes ที่ประกาศไปเมื่อเดือนกันยายน OpenAI บอกว่าจะไม่ขอรับเงินรางวัล
เรื่องเครดิตและข้อควรระวัง
- OpenAI ไม่ขอรับเครดิตทางวิชาการ และให้นักวิจัยที่เขียนคำอธิบายได้รับการยอมรับแทน
- OpenAI มอบเงิน 5 ล้านดอลลาร์ให้ Simons Foundation เพื่อจัดเวิร์กช็อปและการประชุมเกี่ยวกับผลงานจาก AI
- นักวิทยาการคอมพิวเตอร์ทั้งสามเตือนว่า เครดิตอาจตกไปอยู่กับผู้เผยแพร่ก่อนหรือผู้มีเครื่องมือทรงพลังที่สุด ขณะที่งานตรวจสอบและอธิบายได้รับการยอมรับน้อยกว่า ซึ่งนักคณิตศาสตร์เคยแสดงความกังวลแบบเดียวกันใน Leiden declaration เมื่อมิถุนายน 2026
- ผล ETH ยังรอการตรวจสอบจากภายนอก งานคณิตศาสตร์และฟิสิกส์ยังไม่มีผู้เชี่ยวชาญอิสระรับรอง และเนื้อหาฟิสิกส์ยังไม่เปิดเผย
ความคิดเห็น 0
ยังไม่มีความคิดเห็นเป็นคนแรกที่แสดงความคิดเห็นในบทความนี้