ข่าว 
ข้อมูลเหรียญ 
แนะนำสื่อ 
OpenAI ระบุว่าโมเดล AI ภายในบริษัทได้ผลลัพธ์ที่โต้แย้งสมมติฐานเวลาเลขชี้กำลัง (ETH) ในสาขาความซับซ้อนในการคำนวณ และตรวจสอบความถูกต้องอย่างเป็นทางการด้วย Lean แล้ว โดยผลลัพธ์ยังรอการทบทวนจากนักวิจัยภายนอก
OpenAI ชี้แจงในประกาศอย่างเป็นทางการว่าโมเดลสร้างบทพิสูจน์ที่โต้แย้ง ETH เมื่อวันที่ 16 ตุลาคม และทำให้อยู่ในรูปแบบทางการด้วย Lean ในวันที่ 17 ตุลาคม ETH เป็นสมมติฐานที่กล่าวถึงความยากของปัญหาด้านการคำนวณ รวมถึงปัญหาความน่าพอใจของสูตรบูลีน และถูกใช้เป็นสมมติฐานตั้งต้นด้านความซับซ้อนในการคำนวณในงานวิจัยหลายสาขา
OpenAI ระบุว่าทีมนักวิจัยที่นำโดยรัสเซลล์ อิมพาเกลียซโซ (Russell Impagliazzo), รามาโมฮัน ปาตูรี (Ramamohan Paturi) และไรอัน วิลเลียมส์ (Ryan Williams) จะตรวจสอบและอธิบายผลลัพธ์ดังกล่าว นอกจากนี้ OpenAI ยังประกาศการค้นพบใหม่ 3 เรื่องในสาขาคณิตศาสตร์ วิทยาการคอมพิวเตอร์ และฟิสิกส์ พร้อมเปิดเผยข้อมูลต้นฉบับและบทพิสูจน์ที่เกี่ยวข้องกับ ETH
ความคิดเห็น 0