OpenAI ยืนยัน ETH เป็นเท็จ และ Crypto Twitter มีคำถาม

OpenAI กล่าวว่า ETH เป็นเท็จ และ Crypto Twitter ก็มีปฏิกิริยาอย่างที่คุณคาดหวังไว้ "เหยียบอัลกอริธึมทำให้ $ETH ตกต่ำ" ผู้ใช้ชื่อ Takumi โพสต์บน X ขณะที่ Andrew Jiang กล่าวติดตลกว่า "Vitalik เงียบมากตั้งแต่เรื่องนี้ออกมา"

แต่ใจเย็นๆ นะครับ Degen ETH ที่พูดถึงคือสมมติฐานเวลาเชิงเอ็กซ์โพเนนเชียล (Exponential Time Hypothesis) ซึ่งเป็นการคาดเดาในวิทยาการคอมพิวเตอร์จากปี 1999 ที่ไม่มีความเกี่ยวข้องกับ Ethereum, ราคาของมัน หรือผู้ร่วมก่อตั้ง Vitalik Buterin ดังนั้นพวก Crypto Bros คุณสามารถหายใจได้

OpenAI ได้เผยแพร่เอกสาร 67 หน้าอ้างว่าปัญญาประดิษฐ์ของมันค้นพบวิธีหลีกเลี่ยงสมมติฐานนี้ และผู้ที่เสนอสมมติฐานนี้กำลังตรวจสอบผลงาน

นักวิทยาศาสตร์คอมพิวเตอร์ Russell Impagliazzo และ Ramamohan Paturi ได้เสนอ ETH ร่วมกับ Francis Zane และมันกล่าวว่าปริศนาทางตรรกะคลาสสิกที่เรียกว่า 3-SAT (การหาค่าจริงหรือเท็จที่ทำให้กฎจำนวนมากเป็นจริง โดยมีสามตัวเลือกในแต่ละครั้ง) ไม่สามารถแก้ไขได้เร็วกว่าการลองทุกการรวมกัน

เอกสารหลายร้อยฉบับถือว่ามันเป็นพื้นฐานในการแสดงว่าปัญหาในทฤษฎีกราฟ, ชีววิทยาคอมพิวเตอร์, ฐานข้อมูล และเรขาคณิตไม่สามารถแก้ไขได้อย่างรวดเร็ว ตามที่ OpenAI กล่าว

Myriad: ETH จะไปที่ไหนต่อ? คลิกเพื่อทำการคาดการณ์ของคุณ

กล่าวอีกนัยหนึ่ง ETH เป็นแผนที่ของสิ่งที่คอมพิวเตอร์อาจจะไม่สามารถทำได้อย่างรวดเร็ว และ OpenAI กล่าวว่าโมเดลของมันเพิ่งจะวาดใหม่ "การปฏิเสธ ETH เปิดคำถามเกี่ยวกับความเร็วที่งานเหล่านี้อาจจะทำได้เร็วขึ้น" บริษัทเขียนในบล็อกของมัน "และอาจช่วยชี้แนะแนวทางในการค้นหาอัลกอริธึมที่ดีกว่า"

เอกสารซึ่งลงวันที่ 17 ตุลาคมและแก้ไขเมื่อ 25 ตุลาคม อธิบายอัลกอริธึมเชิงกำหนด (deterministic algorithm) ที่นับการกำหนดค่าที่ทำให้ปริศนาเหล่านี้เป็นจริงในเวลาเชิงซับซ้อนต่ำกว่า ซึ่งหมายความว่างานจะเติบโตช้ากว่าการเติบโตแบบเอ็กซ์โพเนนเชียลในจำนวนตัวแปร

การนับวิธีแก้ปัญหายากกว่าการตัดสินใจว่ามีอยู่หรือไม่ ดังนั้นงานที่ยากกว่าจะนำงานที่ง่ายกว่ามาด้วย

OpenAI กล่าวว่า AI ของมันค้นพบการพิสูจน์เมื่อวันที่ 16 ตุลาคม และมันถูกทำให้เป็นทางการใน Lean ซึ่งเป็นซอฟต์แวร์ที่ตรวจสอบทุกขั้นตอนตรรกะอย่างกลไกเมื่อวันที่ 17 ตุลาคม ทั้งสองอยู่บน GitHub ซึ่งเป็นเส้นทางเดียวกับเอกสารคณิตศาสตร์ 722 ฉบับในเดือนนี้ ซึ่งมีเพียง 162 ฉบับที่มาพร้อมกับผลลัพธ์หลักที่ตรวจสอบด้วยคอมพิวเตอร์

Impagliazzo, Paturi และ Ryan Williams จาก MIT เป็นผู้นำการตรวจสอบอิสระ และพวกเขารอบคอบเกี่ยวกับบทบาทของพวกเขา "การมีส่วนร่วมของเราไม่ควรถูกมองว่าเป็นการรับรองคำกล่าวอ้าง" ทั้งสามเขียนในจดหมายเปิดผนึก พร้อมเสริมว่า "ผลลัพธ์ที่มีความสำคัญเช่นนี้ต้องการการตรวจสอบอย่างรอบคอบและอิสระ และความเข้าใจว่าผู้อื่นสามารถสร้างใหม่ ตั้งคำถาม และพัฒนาต่อไปได้"

OpenAI กล่าวว่า ผู้เข้าร่วมไม่ได้ลงนามในข้อตกลงไม่เปิดเผยข้อมูลและทำงานโดยไม่ได้รับค่าตอบแทน และบริษัทตกลงที่จะเผยแพร่ข้อมูลดิบทั้งหมดและสนับสนุนการประชุมเกี่ยวกับผลลัพธ์

ผลลัพธ์ที่เป็นประโยชน์ยังห่างไกล: "การค้นหาอัลกอริธึมดังกล่าว และการเปลี่ยนความก้าวหน้าทางทฤษฎีให้เป็นการปรับปรุงที่เป็นประโยชน์ จะต้องการการวิจัยเพิ่มเติมอย่างมีนัยสำคัญ" OpenAI เขียน เอกสารเองกล่าวว่าผลลัพธ์ไม่ได้แสดงว่าปัญหา NP ทุกปัญหาสามารถแก้ไขได้ในเวลาเชิงซับซ้อนต่ำกว่า ดังนั้นคำถาม P เทียบกับ NP ซึ่งเป็นคำถามว่าปัญหาทุกปัญหาที่มีคำตอบที่ตรวจสอบได้ง่ายก็สามารถแก้ไขได้ง่ายหรือไม่ ยังคงเปิดอยู่

ในแง่ง่าย P คือกลุ่มปัญหาที่คอมพิวเตอร์สามารถแก้ไขได้อย่างมีประสิทธิภาพ ขณะที่ NP คือกลุ่มปัญหาที่วิธีแก้ปัญหาที่เสนอสามารถตรวจสอบได้อย่างมีประสิทธิภาพ ดังนั้น P เทียบกับ NP --- คำถามว่าปัญหาทุกปัญหาที่คำตอบง่ายต่อการตรวจสอบก็ง่ายต่อการแก้ไขหรือไม่ --- ยังคงเปิดอยู่

Anthropic ซึ่งไม่ต้องการสูญเสียสงครามคณิตศาสตร์ จึงได้โพสต์เอกสารที่ให้เครดิตกับ Claude โดยมีชื่อว่า "อัลกอริธึมเวลา 2^o(n) สำหรับ 3-SAT" และลงวันที่ 26 ตุลาคม

ที่เก็บข้อมูลซึ่งยังจัดการกับปัญหา ETH กล่าวว่าโมเดลการวิจัยภายในของ Claude ค้นพบอัลกอริธึมนี้ และ "ผลลัพธ์เป็นเพียงอสมการและไม่ได้บอกอะไรเกี่ยวกับการแก้ไขสูตรในทางปฏิบัติ"

OpenAI กล่าวว่าโมเดล AI ลับได้แก้ปัญหาคณิตศาสตร์เปิดหลายร้อยปัญหาในคำสั่งเดียว---นักคณิตศาสตร์ต้องการหลักฐาน

Claude ได้ทำให้ทฤษฎีสุดท้ายของเฟอร์มาต์เป็นทางการใน Lean ในเดือนกันยายน และ Terence Tao เห็นการทับซ้อนนี้มาแล้ว "เราตอนนี้เห็นแล้วว่าการมีข่าวลือเกี่ยวกับใครบางคนที่ทำงานในปัญหาสามารถกระตุ้นความพยายามที่ขับเคลื่อนด้วย AI อย่างมหาศาลเพื่อทำให้มันเรียบง่ายก่อนที่โครงการวิจัยต้นฉบับจะมีเวลาถึงศักยภาพเต็มที่" นักคณิตศาสตร์เขียนในเดือนกันยายน

การบริจาค 5 ล้านดอลลาร์ล่าสุดของ OpenAI ให้กับมูลนิธิ Simons จะสนับสนุนการประชุมเชิงปฏิบัติการ การประชุม และโปรแกรมพิเศษเพื่อช่วยให้นักวิจัยตรวจสอบและพัฒนาผลลัพธ์ที่ผลิตโดย AI

เนื้อหานี้จัดทำขึ้นเพื่อวัตถุประสงค์ด้านการให้ข้อมูลทั่วไปเท่านั้น และไม่ถือเป็นคำแนะนำด้านการเงิน การลงทุน กฎหมาย หรือภาษี อีเวนต์ รีวอร์ด โปรโมชันออนไลน์ หรือข้อมูลที่เกี่ยวข้องใดๆ ที่กล่าวถึงในที่นี้ ไม่ควรถือเป็นคำแนะนำ การชักชวน หรือคำเชิญชวนให้ซื้อ ขาย เทรด หรือดำเนินการอื่นใดเกี่ยวกับสินทรัพย์คริปโต สินทรัพย์คริปโตมีความผันผวนสูงและอาจส่งผลให้เกิดการขาดทุน ความพร้อมให้บริการของบริการ ผลิตภัณฑ์ และอีเวนต์ที่เกี่ยวข้องของ WEEX อาจแตกต่างกันไปตามภูมิภาค คุณมีหน้าที่ตรวจสอบให้แน่ใจว่าการเข้าร่วมของคุณเป็นไปตามกฎหมายและข้อบังคับท้องถิ่นที่ใช้บังคับ