OpenAI ถูกระบุเป็นผู้ชนะรางวัลคณิตศาสตร์มูลค่า 1 ล้านดอลลาร์ครั้งแรกของ จัสติน ซัน จากผลงานพิสูจน์ สมการ Navier–Stokes แต่รางวัลยังไม่มีผู้ขอรับอย่างเป็นทางการ หลังบริษัทตัดสินใจไม่ยื่นขอรางวัลของ Clay เช่นกัน
ประเด็นสำคัญ
- รีโพซิทอรีรางวัลของซันระบุว่าโจทย์ Navier–Stokes ของ OpenAI ถูกแก้แล้ว มีสิทธิ์ขอรับเงิน แต่ยังไม่มีการเคลม
- OpenAI ระบุว่าใช้เอเจนต์ AI 10,000 ตัวทำงานราว 88 ชั่วโมง ก่อนที่ GPT-6 Astra จะใช้เวลาอีก 17 ชั่วโมงในการจัดทำพิสูจน์แบบเป็นทางการและตรวจสอบซ้ำ
- สถาบันคณิตศาสตร์ Clay ยังจัดให้ปัญหา Navier–Stokes เป็นโจทย์ที่ “ยังเปิดอยู่” ระหว่างกระบวนการประเมินผลพิสูจน์ที่ประกาศ
รางวัล OpenAI
รางวัลใหม่ของซัน ประกาศ ให้ทีมวิจัย OpenAI เป็นผู้ได้รับรางวัลสูงสุด 1 ล้านดอลลาร์ครั้งแรก จากผลงานเกี่ยวกับปัญหา Navier–Stokes เชิงสามมิติ บัญชีสาธารณะบน GitHub ระบุชัดว่าโจทย์ถูกแก้แล้วและเข้าเกณฑ์สำหรับการเคลมรางวัล แต่ยังไม่มีการยื่นรับเงิน
OpenAI เผยแพร่ผลการวิจัยเมื่อวันที่ 8 กันยายน โดยระบุว่าใช้เอเจนต์ราว 10,000 ตัวทำงานประมาณ 88 ชั่วโมง ก่อนที่ GPT-6 Astra จะใช้เวลาเพิ่มอีก 17 ชั่วโมงในการจัดทำพิสูจน์ในระบบ Lean และตรวจสอบความถูกต้อง บริษัทระบุชัดว่าไม่มีแผนยื่นขอรางวัล Millennium Prize มูลค่า 1 ล้านดอลลาร์ของ Clay Mathematics Institute ที่ผูกกับปัญหานี้
ด้านสถาบัน Clay ยังคงจัดให้โจทย์ดังกล่าวเป็นปัญหาที่ “ยังเปิดอยู่” และระบุเมื่อวันที่ 11 กันยายนว่า การประกาศของ OpenAI ดูเหมือนจะให้คำตอบได้ แต่ตามข้อบังคับต้องมีการประเมินอย่างรอบคอบก่อนตัดสินเรื่องรางวัล ซึ่งกระบวนการนี้ยังไม่แล้วเสร็จ ขณะที่รางวัลของซันแยกออกมาต่างหาก เน้นใช้พิสูจน์ที่ตรวจได้ด้วยเครื่อง และตัดสินยกให้ทีม OpenAI โดยไม่รอการทบทวนตามกระบวนการดั้งเดิมเดียวกัน
อ่านเพิ่มเติม: แรงขุดบิตคอยน์หาย 50% ใน 6 เดือน ขณะที่ AI แย่งใช้กำลังการประมวลผล
กติกาของจัสติน ซัน
ซันอธิบายว่ารางวัลของเขาออกแบบมาเพื่อให้รางวัลกับ “ผลลัพธ์” ไม่ว่าจะมาจากมนุษย์หรือระบบ AI โดยยึดการตรวจพิสูจน์แบบฟอร์มัลเป็นหัวใจของกระบวนการตัดสิน “ผมสนใจแค่ผลลัพธ์ ไม่ว่าผู้สร้างจะเป็นคนหรือเครื่องจักร” ซันกล่าว รีโพซิทอรีของเขายังเตือนด้วยว่าการประกาศของ OpenAI ไม่ใช่การผ่าน peer review อย่างเป็นทางการ และยังไม่มีฉันทามติในวงการคณิตศาสตร์รองรับ
ประเด็นเรื่องเครดิตผู้สร้างสรรค์ยังคงคลุมเครือ หลังจาก ทริสตัน บักมาสเตอร์ (Tristan Buckmaster) ศาสตราจารย์จากมหาวิทยาลัยนิวยอร์ก ระบุว่างานวิจัยที่ยังไม่ตีพิมพ์ของเขาและเพื่อนร่วมงานถูกเก็บไว้ในผลิตภัณฑ์ของ OpenAI แต่ย้ำว่าไม่ทราบว่าระบบโมเดลได้นำงานดังกล่าวไปใช้จริงหรือไม่ “ผมไม่ได้กล่าวหาใครทั้งนั้น” บักมาสเตอร์ให้สัมภาษณ์กับ The Guardian ขณะที่ OpenAI ระบุว่าจากการตรวจสอบภายใน พบว่า prompt ที่ใช้ Codex ของเขาไม่สามารถมีอิทธิพลต่อระบบที่สร้างพิสูจน์ชุดนี้ได้
ข้อถกเถียงดังกล่าวเกิดขึ้นหลัง OpenAI ประกาศเมื่อ 8 กันยายนว่า ระบบภายในของบริษัทสามารถแก้ปัญหาเรื่องการมีอยู่และความเรียบ (existence and smoothness) ของสมการ Navier–Stokes ที่ถกเถียงกันมานาน โดยชี้ให้เห็นการเกิดเอกฐานในเวลาจำกัดภายใต้เงื่อนไขทางการอย่างเป็นทางการ
สถาบัน Clay จัดตั้งโครงการ Millennium Prize Problems ตั้งแต่ปี 2000 ผูกเงินรางวัล 1 ล้านดอลลาร์กับแต่ละปัญหา กว่า 20 ปีให้หลัง โจทย์ Navier–Stokes ยังคงถือว่า “ยังเปิดอยู่” ในเชิงทางการ ขณะที่แวดวงคณิตศาสตร์ยังเดินหน้าตรวจสอบพิสูจน์ฉบับใหม่และประเด็นเรื่องเครดิตผู้สร้างสรรค์ต่อไป
อ่านต่อ: Shiba Inu แก้ลิงก์วอลเล็ต Shibarium ที่ขัดข้องแล้ว แต่ SHIB ยังร่วง 6% ในรอบสัปดาห์
