เรื่องแรก หักล้าง ETH
- ETH คือข้อสันนิษฐานว่าโจทย์ตรรกะบางแบบ ต้องใช้เวลาโตแบบทวีคูณเสมอ
- ข้อนี้ผูกกับคำถามใหญ่อย่าง P กับ NP และงานวิจัยหลายร้อยชิ้นใช้มันเป็นฐาน
- บริษัทบอกว่าเอไอเจอวิธีหักล้างเมื่อ 16 ต.ค. แล้วแปลงเป็นบทพิสูจน์ภาษา Lean ในวันถัดมา
- ภาษานี้ใช้ให้คอมพิวเตอร์ไล่ตรวจบทพิสูจน์ได้ทีละขั้น
- กลุ่มที่จะตรวจนำโดย รัสเซลล์ อิมปาเกลียซโซ กับ รามโมฮัน ปาตูรี สองคนที่ตั้งสมมติฐานนี้เอง
- อีกคนคือ ไรอัน วิลเลียมส์ จากเอ็มไอที
- บทพิสูจน์ทั้งฉบับภาษาคนและฉบับให้เครื่องตรวจ เปิดให้ทุกคนอ่านบนกิตฮับแล้ว
- บริษัทยอมรับว่าการเอาไปทำเป็นอัลกอริทึมที่เร็วขึ้นจริง ยังต้องวิจัยอีกเยอะ
- OpenAI รับปากจะออกเงินจัดงานประชุมวิชาการ ให้วงการมาถกผลนี้กัน
เรื่องที่สอง คณิตศาสตร์
- โจทย์คือข้อสันนิษฐานของซอกก์ ตั้งไว้ปี 1991 ว่าคลื่นที่รวมตัวกันแรง ๆ จะอยู่ได้ไม่นาน
- เดิมมีคนพิสูจน์ได้แค่ในสองมิติ เมื่อปี 2019
- บริษัทบอกว่าโมเดลพิสูจน์ได้ครบทุกมิติ ซึ่งพาให้ข้อสันนิษฐานคาเคยะจบไปด้วย
- ได้ผลเมื่อ 18 ต.ค. และปล่อยบทพิสูจน์ให้นักวิจัยไปอ่านต่อกันเอง
เรื่องที่สาม ฟิสิกส์
- เป็นบทพิสูจน์ทางคณิตว่าทฤษฎีของแรงนิวเคลียร์อย่างเข้ม มีอยู่จริงแบบรัดกุม
- ในนั้นรวมการพิสูจน์ว่าทฤษฎีหยาง-มิลส์ มีอยู่จริงในสี่มิติ
- ข้อนี้เป็นส่วนหนึ่งของโจทย์รางวัลสหัสวรรษ ที่มีเงินรางวัลหนึ่งล้านดอลลาร์
- กลุ่มที่ตรวจนำโดย เดวิด กรอสส์ เจ้าของรางวัลโนเบลฟิสิกส์ปี 2004
- กลุ่มนี้ขอยังไม่ปล่อยไฟล์จากเอไอ แล้วจะเขียนอธิบายผลออกมาเอง
เงื่อนไขที่บริษัทตั้งไว้
- บริษัทไม่ขอเครดิตทางวิชาการจากผลงานเหล่านี้
- คนร่วมตรวจไม่ต้องเซ็นสัญญาปิดปาก ไม่ได้รับเงิน และพูดในนามตัวเอง
สรุป
ถ้าวงการตรวจแล้วผ่าน นี่จะเป็นครั้งแรกที่เอไอล้มข้อสันนิษฐานใหญ่ของวิทยาการคอมพิวเตอร์ได้ แต่ตอนนี้ยังเป็นคำประกาศของบริษัท ต้องรอนักวิชาการภายนอกตรวจให้จบก่อน
แหล่ง: OpenAI · 26 ต.ค. 2026